Uses of Interface
edu.ksu.cis.projects.bogor.module.ISchedulingStrategyInfo

Packages that use ISchedulingStrategyInfo
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. 
 

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

Classes in edu.ksu.cis.projects.bogor.module that implement ISchedulingStrategyInfo
protected  class DefaultSchedulingStrategist.DefaultSchedulerStrategyInfo
           
 

Fields in edu.ksu.cis.projects.bogor.module declared as ISchedulingStrategyInfo
protected  ISchedulingStrategyInfo DefaultActionTaker.ssi
           
protected  ISchedulingStrategyInfo DefaultExpEvaluator.ssi
           
 

Methods in edu.ksu.cis.projects.bogor.module that return ISchedulingStrategyInfo
 ISchedulingStrategyInfo DefaultSchedulingStrategist.DefaultSchedulerStrategyInfo.clone(Map<Object,Object> cloneMap)
           
 ISchedulingStrategyInfo ISchedulingStrategyInfo.clone(Map<Object,Object> cloneMap)
           
 ISchedulingStrategyInfo IExtArguments.getSchedulingStrategyInfo()
           
 ISchedulingStrategyInfo DefaultCounterExampleWriter.GuidedSchedulingStrategistProxy.newStrategyInfo()
          [Document Pending]
 ISchedulingStrategyInfo DefaultSchedulingStrategist.newStrategyInfo()
           
 ISchedulingStrategyInfo ISchedulingStrategist.newStrategyInfo()
          Construct a scheduling context information records appropriate to the currently-used schedule module.
 

Methods in edu.ksu.cis.projects.bogor.module that return types with arguments of type ISchedulingStrategyInfo
 Pair<ISchedulingStrategyContext,ISchedulingStrategyInfo> DefaultExpEvaluator.setSchedulingStrategyContextInfo(ISchedulingStrategyContext ssc, ISchedulingStrategyInfo ssi)
           
 Pair<ISchedulingStrategyContext,ISchedulingStrategyInfo> IExpEvaluator.setSchedulingStrategyContextInfo(ISchedulingStrategyContext ssc, ISchedulingStrategyInfo ssi)
           
 Pair<ISchedulingStrategyContext,ISchedulingStrategyInfo> DefaultExpEvaluator.unsetSchedulingStrategyContextInfo()
           
 Pair<ISchedulingStrategyContext,ISchedulingStrategyInfo> IExpEvaluator.unsetSchedulingStrategyContextInfo()
           
 

Methods in edu.ksu.cis.projects.bogor.module with parameters of type ISchedulingStrategyInfo
 int DefaultCounterExampleWriter.GuidedSchedulingStrategistProxy.advise(int extDesc, Node node, IValue[] choices, ISchedulingStrategyInfo ssi)
          [Document Pending]
 int DefaultSchedulingStrategist.advise(int extDesc, Node node, IValue[] choices, ISchedulingStrategyInfo ssi)
           
 int ISchedulingStrategist.advise(int extDesc, Node node, IValue[] choices, ISchedulingStrategyInfo ssi)
          Choose among several possible values for an expression.
 int DefaultCounterExampleWriter.GuidedSchedulingStrategistProxy.advise(ISchedulingStrategyContext ssc, int[] threadIds, Transformation[] transformations, ISchedulingStrategyInfo ssi)
          [Document Pending]
 int DefaultSchedulingStrategist.advise(ISchedulingStrategyContext ssc, int[] threadIds, Transformation[] transformations, ISchedulingStrategyInfo ssi)
           
 int ISchedulingStrategist.advise(ISchedulingStrategyContext ssc, int[] threadIds, Transformation[] transformations, ISchedulingStrategyInfo ssi)
          Choose among several enabled transformations at the beginning of a step.
 int DefaultCounterExampleWriter.GuidedSchedulingStrategistProxy.advise(ISchedulingStrategyContext ssc, Transformation[] transformations, ISchedulingStrategyInfo ssi)
           
 int DefaultSchedulingStrategist.advise(ISchedulingStrategyContext ssc, Transformation[] transformations, ISchedulingStrategyInfo ssi)
           
 int ISchedulingStrategist.advise(ISchedulingStrategyContext ssc, Transformation[] transformations, ISchedulingStrategyInfo ssi)
          Choose among non-deterministic transformations to take immediately following the control of transfer from one FSM location to another.
 IArrayElementBacktrackingInfo IBacktrackingInfoFactory.createArrayElementBacktrackingInfo(int stateId, int threadId, Action action, IArrayValue arrayValue, int elementIndex, IValue oldValue, ISchedulingStrategyInfo ssi)
           
 IControlTransferBacktrackingInfo IBacktrackingInfoFactory.createControlTransferBacktrackingInfo(int stateId, int threadId, int locDesc, IntObjectTable<IValue> deadLocalValues, Transformation t, ISchedulingStrategyInfo ssi)
           
 IEndStateBacktrackingInfo IBacktrackingInfoFactory.createEndStateBacktrackingInfo(int stateId, int threadId, Action action, ISchedulingStrategyInfo ssi)
           
 IEnterFunctionBacktrackingInfo IBacktrackingInfoFactory.createEnterFunctionBacktrackingInfo(int stateId, int threadId, InvokeTransformation t, ISchedulingStrategyInfo ssi)
           
 IExceptionBacktrackingInfo IBacktrackingInfoFactory.createExceptionBacktrackingInfo(int stateId, BogorException throwable, Node node, int threadId, int[] threadLocationStack, int[] threadTransformationIndexStack, IValueArray[] threadLocalValuesStack, int threadLockCount, boolean isUncaught, ISchedulingStrategyInfo ssi, IExceptionBacktrackingInfo.IExceptionKilledThreadInfo[] collateralThreadInfos)
           
 IExitFunctionBacktrackingInfo IBacktrackingInfoFactory.createExitFunctionBacktrackingInfo(int stateId, int threadId, int locDesc, int transformationIndex, IValueArray localValues, IValue returnValue, ISchedulingStrategyInfo ssi)
           
 IExitThreadBacktrackingInfo IBacktrackingInfoFactory.createExitThreadBacktrackingInfo(int stateId, int threadId, Action action, int[] threadLocationStack, int[] threadTransformationIndexStack, IValueArray[] threadLocalValuesStack, ISchedulingStrategyInfo ssi)
           
 IFieldBacktrackingInfo IBacktrackingInfoFactory.createFieldBacktrackingInfo(int stateId, int threadId, Action action, IRecordValue arrayOrRecordValue, int fieldIndex, IValue oldValue, ISchedulingStrategyInfo ssi)
           
 IGlobalBacktrackingInfo IBacktrackingInfoFactory.createGlobalBacktrackingInfo(int stateId, int threadId, Action action, int globalIndex, IValue oldValue, ISchedulingStrategyInfo ssi)
           
 ILocalBacktrackingInfo IBacktrackingInfoFactory.createLocalBacktrackingInfo(int stateId, int threadId, Node node, int localIndex, IValue oldValue, ISchedulingStrategyInfo ssi)
           
 ILockBacktrackingInfo IBacktrackingInfoFactory.createLockBacktrackingInfo(int stateId, int threadId, Action action, LockOp lockOp, ILockValue lockValue, int owner, int lockCounter, int[] waiting, int[] notification, int oldLockCount, int notifiedThreadId, ISchedulingStrategyInfo ssi)
           
 INoChangeBacktrackingInfo IBacktrackingInfoFactory.createNoChangeBacktrackingInfo(int stateId, int threadId, Action action, ISchedulingStrategyInfo ssi)
           
 IStartThreadBacktrackingInfo IBacktrackingInfoFactory.createStartThreadBacktrackingInfo(int stateId, int threadId, int startedThreadId, int oldThreadIdSeed, Action action, ISchedulingStrategyInfo ssi)
           
 ITransformationsBacktrackingInfo IBacktrackingInfoFactory.createTransformationsBacktrackingInfo(int stateId, int invisibleMoves, int threadId, int[] threadIds, int threadIndex, int lastMovedThreadId, Transformation[] transformations, int selectedIndex, boolean isInvisible, ISchedulingStrategyInfo ssi)
           
protected  void DefaultSearcher.doPostTransformationBookkeeping(int lastMovedThreadId, ISchedulingStrategyInfo ssi)
           
 IValue DefaultExpEvaluator.evaluate(ISchedulingStrategyContext ssc, Exp exp, ISchedulingStrategyInfo ssi)
           
 IValue IExpEvaluator.evaluate(ISchedulingStrategyContext ssc, Exp exp, ISchedulingStrategyInfo ssi)
           
 void DefaultActionTaker.setSchedulingStrategyContextInfo(ISchedulingStrategyContext ssc, ISchedulingStrategyInfo ssi)
           
 Pair<ISchedulingStrategyContext,ISchedulingStrategyInfo> DefaultExpEvaluator.setSchedulingStrategyContextInfo(ISchedulingStrategyContext ssc, ISchedulingStrategyInfo ssi)
           
 void IActionTaker.setSchedulingStrategyContextInfo(ISchedulingStrategyContext ssc, ISchedulingStrategyInfo ssi)
           
 Pair<ISchedulingStrategyContext,ISchedulingStrategyInfo> IExpEvaluator.setSchedulingStrategyContextInfo(ISchedulingStrategyContext ssc, ISchedulingStrategyInfo ssi)
           
 

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

Methods in edu.ksu.cis.projects.bogor.module.backtrack that return ISchedulingStrategyInfo
 ISchedulingStrategyInfo CompoundBacktrackingInfo.getSchedulingStrategyInfo()
           
 ISchedulingStrategyInfo IBacktrackingInfo.getSchedulingStrategyInfo()
           
 

Methods in edu.ksu.cis.projects.bogor.module.backtrack with parameters of type ISchedulingStrategyInfo
 IArrayElementBacktrackingInfo DefaultBacktrackingInfoFactory.createArrayElementBacktrackingInfo(int stateId, int threadId, Action action, IArrayValue arrayValue, int elementIndex, IValue oldValue, ISchedulingStrategyInfo ssi)
           
 IControlTransferBacktrackingInfo DefaultBacktrackingInfoFactory.createControlTransferBacktrackingInfo(int stateId, int threadId, int locDesc, IntObjectTable<IValue> deadLocalValues, Transformation t, ISchedulingStrategyInfo ssi)
           
 IEndStateBacktrackingInfo DefaultBacktrackingInfoFactory.createEndStateBacktrackingInfo(int stateId, int threadId, Action a, ISchedulingStrategyInfo ssi)
           
 IEnterFunctionBacktrackingInfo DefaultBacktrackingInfoFactory.createEnterFunctionBacktrackingInfo(int stateId, int threadId, InvokeTransformation t, ISchedulingStrategyInfo ssi)
           
 IExceptionBacktrackingInfo DefaultBacktrackingInfoFactory.createExceptionBacktrackingInfo(int stateId, BogorException throwable, Node node, int threadId, int[] threadLocationStack, int[] threadTransformationIndexStack, IValueArray[] threadLocalValuesStack, int threadLockCount, boolean isUncaught, ISchedulingStrategyInfo ssi, IExceptionBacktrackingInfo.IExceptionKilledThreadInfo[] collateralThreadInfos)
           
 IExitFunctionBacktrackingInfo DefaultBacktrackingInfoFactory.createExitFunctionBacktrackingInfo(int stateId, int threadId, int locDesc, int transformationIndex, IValueArray localValues, IValue returnValue, ISchedulingStrategyInfo ssi)
           
 IExitThreadBacktrackingInfo DefaultBacktrackingInfoFactory.createExitThreadBacktrackingInfo(int stateId, int threadId, Action action, int[] threadLocationStack, int[] threadTransformationIndexStack, IValueArray[] threadLocalValuesStack, ISchedulingStrategyInfo ssi)
           
 IFieldBacktrackingInfo DefaultBacktrackingInfoFactory.createFieldBacktrackingInfo(int stateId, int threadId, Action action, IRecordValue arrayOrRecordValue, int fieldIndex, IValue oldValue, ISchedulingStrategyInfo ssi)
           
 IGlobalBacktrackingInfo DefaultBacktrackingInfoFactory.createGlobalBacktrackingInfo(int stateId, int threadId, Action action, int globalIndex, IDoubleValue oldValue, ISchedulingStrategyInfo ssi)
           
 IGlobalBacktrackingInfo DefaultBacktrackingInfoFactory.createGlobalBacktrackingInfo(int stateId, int threadId, Action action, int globalIndex, IFloatValue oldValue, ISchedulingStrategyInfo ssi)
           
 IGlobalBacktrackingInfo DefaultBacktrackingInfoFactory.createGlobalBacktrackingInfo(int stateId, int threadId, Action action, int globalIndex, IIntValue oldValue, ISchedulingStrategyInfo ssi)
           
 IGlobalBacktrackingInfo DefaultBacktrackingInfoFactory.createGlobalBacktrackingInfo(int stateId, int threadId, Action action, int globalIndex, ILongValue oldValue, ISchedulingStrategyInfo ssi)
           
 IGlobalBacktrackingInfo DefaultBacktrackingInfoFactory.createGlobalBacktrackingInfo(int stateId, int threadId, Action action, int globalIndex, INonPrimitiveValue oldValue, ISchedulingStrategyInfo ssi)
           
 IGlobalBacktrackingInfo DefaultBacktrackingInfoFactory.createGlobalBacktrackingInfo(int stateId, int threadId, Action action, int globalIndex, IPrimitiveExtValue oldValue, ISchedulingStrategyInfo ssi)
           
 IGlobalBacktrackingInfo DefaultBacktrackingInfoFactory.createGlobalBacktrackingInfo(int stateId, int threadId, Action action, int globalIndex, IValue oldValue, ISchedulingStrategyInfo ssi)
           
 ILocalBacktrackingInfo DefaultBacktrackingInfoFactory.createLocalBacktrackingInfo(int stateId, int threadId, Node node, int localIndex, IDoubleValue oldValue, ISchedulingStrategyInfo ssi)
           
 ILocalBacktrackingInfo DefaultBacktrackingInfoFactory.createLocalBacktrackingInfo(int stateId, int threadId, Node node, int localIndex, IFloatValue oldValue, ISchedulingStrategyInfo ssi)
           
 ILocalBacktrackingInfo DefaultBacktrackingInfoFactory.createLocalBacktrackingInfo(int stateId, int threadId, Node node, int localIndex, IIntValue oldValue, ISchedulingStrategyInfo ssi)
           
 ILocalBacktrackingInfo DefaultBacktrackingInfoFactory.createLocalBacktrackingInfo(int stateId, int threadId, Node node, int localIndex, ILongValue oldValue, ISchedulingStrategyInfo ssi)
           
 ILocalBacktrackingInfo DefaultBacktrackingInfoFactory.createLocalBacktrackingInfo(int stateId, int threadId, Node node, int localIndex, INonPrimitiveValue oldValue, ISchedulingStrategyInfo ssi)
           
 ILocalBacktrackingInfo DefaultBacktrackingInfoFactory.createLocalBacktrackingInfo(int stateId, int threadId, Node node, int localIndex, IPrimitiveExtValue oldValue, ISchedulingStrategyInfo ssi)
           
 ILocalBacktrackingInfo DefaultBacktrackingInfoFactory.createLocalBacktrackingInfo(int stateId, int threadId, Node node, int localIndex, IValue oldValue, ISchedulingStrategyInfo ssi)
           
 ILockBacktrackingInfo DefaultBacktrackingInfoFactory.createLockBacktrackingInfo(int stateId, int threadId, Action action, LockOp lockOp, ILockValue lockValue, int owner, int lockCounter, int[] waiting, int[] notification, int oldLockCount, int notifiedThreadId, ISchedulingStrategyInfo ssi)
           
 INoChangeBacktrackingInfo DefaultBacktrackingInfoFactory.createNoChangeBacktrackingInfo(int stateId, int threadId, Action action, ISchedulingStrategyInfo ssi)
           
 IStartThreadBacktrackingInfo DefaultBacktrackingInfoFactory.createStartThreadBacktrackingInfo(int stateId, int threadId, int startedThreadId, int oldThreadIdSeed, Action action, ISchedulingStrategyInfo ssi)
           
 ITransformationsBacktrackingInfo DefaultBacktrackingInfoFactory.createTransformationsBacktrackingInfo(int stateId, int invisibleMoves, int threadId, int[] threadIds, int threadIndex, int lastMovedThreadId, Transformation[] transformations, int selectedIndex, boolean isInvisible, ISchedulingStrategyInfo ssi)
           
 

Constructors in edu.ksu.cis.projects.bogor.module.backtrack with parameters of type ISchedulingStrategyInfo
CompoundBacktrackingInfo(Node node, ISchedulingStrategyInfo ssi, int stateId, int threadId, List<IBacktrackingInfo> bis)