Uses of Interface
edu.ksu.cis.projects.bogor.module.state.IState

Packages that use IState

edu.ksu.cis.projects.bogor.module	Provide a generic framework for dataflow analysis on BIR transition systems.
edu.ksu.cis.projects.bogor.module.backtrack	Provides types and factories for "undo" operations.
edu.ksu.cis.projects.bogor.module.event
edu.ksu.cis.projects.bogor.module.state	Provides for Bogor state.

Uses of IState in edu.ksu.cis.projects.bogor.module

Fields in edu.ksu.cis.projects.bogor.module declared as IState

protected IState	DefaultSearcher.state
protected IState	DefaultStateExternalizer.state

Methods in edu.ksu.cis.projects.bogor.module that return IState

IState	DefaultCounterExampleWriter.GuidedSearcherProxy.createInitialState() [Document Pending]
IState	DefaultSearcher.createInitialState()
IState	ISearcher.createInitialState() Creates the initial state.
IState	IStateFactory.createState(IStateFactoryArguments sfa) Creates an initial state.
IState	DefaultCounterExampleWriter.GuidedSearcherProxy.getState() [Document Pending]
IState	DefaultSearcher.getState()
IState	IEnabledTransformationsContext.getState()
IState	ISchedulingStrategyContext.getState()
IState	ISearcher.getState() Gets the current state.
IState	DefaultCounterExampleWriter.DummyStateManagerProxy.getState(int stateId) [Document Pending]
IState	DefaultStateManager.getState(int stateId)
IState	IStateManager.getState(int stateId)

Methods in edu.ksu.cis.projects.bogor.module with parameters of type IState

void	IStateAugmenter.augmentState(IState s, BitBuffer bb) Manipulate the bit vector to encode some extra information.
void	IStateFactory.augmentState(IState state, BitBuffer bb) Write extra components of state space into bitwise representation.
protected IBacktrackingInfo	DefaultSearcher.backtrack(IState state, ArrayList<IBacktrackingInfo> backtrackingInfos)
protected IBacktrackingInfo	DefaultSearcher.backtrackToTransitionBeginning(IState state, ArrayList<IBacktrackingInfo> backtrackingInfos) Rolls back the state to the moment just before the most recent transition.
protected ISchedulingStrategyContext	DefaultSchedulingStrategist.createContext(int stateId, int invisibleMoves, int threadId, IState state)
protected ISchedulingStrategyContext	DefaultSearcher.createContext(int stateId, int invisibleMoves, int threadId, IState state)
protected IEnabledTransformationsContext	DefaultSearcher.createContext(IState state, int stateId, int invisibleMoves, int[] threadIds)
protected void	DefaultCounterExampleWriter.GuidedSearcherProxy.externalizeEnabledTransitions(IState state, int[] threadIds, Transformation[] transformations) [Document Pending]
protected void	DefaultCounterExampleWriter.GuidedSearcherProxy.externalizeNextMovedThread(IState state, int threadId, Transformation t) [Document Pending]
void	DefaultStateExternalizer.externalizeState(PrintWriter pw, IState state, String stateId)
void	DefaultStateExternalizer.externalizeTransitions(PrintWriter pw, IState state, int[] threadIds, Transformation[] ts)
protected void	DefaultSearcher.fillInitialVariableValues(IState vanillaState, IStateFactoryArguments args)
protected FSMSymbolTable	DefaultSchedulingStrategist.getFSMSymbolTable(IState state, int threadId)
protected FSMSymbolTable	DefaultSearcher.getFSMSymbolTable(IState state, int threadId)
protected FSMSymbolTable	DefaultTransformer.getFSMSymbolTable(IState state, int threadId)
protected Location	DefaultSearcher.getLocation(IState state, int threadId)
protected ObjectIntTable<INonPrimitiveValue>	DefaultStateManager.getNonPrimitiveValueIdTable(IState s, ArrayList<INonPrimitiveValue> heap, IntIntTable threadOrderMap)
Location	IStateAugmenter.getPropertyAutomatonState(FSM automaton, IState s)
protected IntIntTable	DefaultStateManager.getThreadOrderMap(IState s)
IStoreStateResult	DefaultCounterExampleWriter.DummyStateManagerProxy.hasState(IState s) [Document Pending]
IStoreStateResult	DefaultStateManager.hasState(IState s)
IStoreStateResult	IStateManager.hasState(IState s)
boolean	DefaultCounterExampleWriter.GuidedSchedulingStrategistProxy.isEnabled(IState state, Transformation t, int threadId) [Document Pending]
boolean	DefaultSchedulingStrategist.isEnabled(IState state, Transformation t, int threadId)
boolean	ISchedulingStrategist.isEnabled(IState state, Transformation t, int threadId) Test if a FSM transition is enabled with respect to a particular thread.
protected StaticByteArray	DefaultStateManager.linearize(IState s)
protected void	DefaultStateManager.linearizeGlobals(IState s, ObjectIntTable<INonPrimitiveValue> nonPrimitiveValueIdMap, IntIntTable threadOrderMap, BitBuffer bb)
protected void	DefaultStateManager.linearizeThreads(IState s, ObjectIntTable<INonPrimitiveValue> nonPrimitiveValueIdMap, IntIntTable threadOrderMap, BitBuffer bb)
IStoreStateResult	DefaultCounterExampleWriter.DummyStateManagerProxy.storeState(IState s) [Document Pending]
IStoreStateResult	DefaultStateManager.storeState(IState s)
IStoreStateResult	IStateManager.storeState(IState s)
void	IStateFactory.validate(IState state) Validates a state.

Uses of IState in edu.ksu.cis.projects.bogor.module.backtrack

Methods in edu.ksu.cis.projects.bogor.module.backtrack with parameters of type IState

void	CompoundBacktrackingInfo.backtrack(IState state)
void	IBacktrackingInfo.backtrack(IState state)

Uses of IState in edu.ksu.cis.projects.bogor.module.event

Fields in edu.ksu.cis.projects.bogor.module.event declared as IState

protected IState

AbstractEventProvider.s

Methods in edu.ksu.cis.projects.bogor.module.event that return IState

IState	AbstractEventProvider.getState()
IState	IEventProvider.getState()

Methods in edu.ksu.cis.projects.bogor.module.event with parameters of type IState

void	AbstractEventProvider.setContext(IState s, int threadId)
void	IEventProvider.setContext(IState s, int threadId)

Uses of IState in edu.ksu.cis.projects.bogor.module.state

Classes in edu.ksu.cis.projects.bogor.module.state that implement IState

class

DefaultState The default implementation of IState.

Methods in edu.ksu.cis.projects.bogor.module.state that return IState

IState	DefaultState.clone(Map<Object,Object> cloneMap)
IState	IState.clone(Map<Object,Object> cloneMap) Deep clone this state.
IState	DefaultStateFactory.createState(IStateFactoryArguments sfa)

Methods in edu.ksu.cis.projects.bogor.module.state with parameters of type IState

void	DefaultStateFactory.augmentState(IState state, BitBuffer bb)
void	DefaultStateFactory.validate(IState state)
void	StateValueVisitor.visit(IState s, IntIntTable threadOrderMap) Visits values reachable from a particular state.