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.