Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES    

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

Packages that use ISchedulingStrategyContext
edu.ksu.cis.projects.bogor.module Provide a generic framework for dataflow analysis on BIR transition systems. 
 

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

Fields in edu.ksu.cis.projects.bogor.module declared as ISchedulingStrategyContext
protected  ISchedulingStrategyContext DefaultActionTaker.ssc
           
protected  ISchedulingStrategyContext DefaultExpEvaluator.ssc
           
protected  ISchedulingStrategyContext DefaultTransformer.ssc
           
 

Methods in edu.ksu.cis.projects.bogor.module that return ISchedulingStrategyContext
protected  ISchedulingStrategyContext DefaultSchedulingStrategist.createContext(int stateId, int invisibleMoves, int threadId, IState state)
           
protected  ISchedulingStrategyContext DefaultSearcher.createContext(int stateId, int invisibleMoves, int threadId, IState state)
           
 ISchedulingStrategyContext IExtArguments.getSchedulingStrategyContext()
           
 

Methods in edu.ksu.cis.projects.bogor.module that return types with arguments of type ISchedulingStrategyContext
 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 ISchedulingStrategyContext
 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.
protected  void DefaultSearcher.doTransition(ISchedulingStrategyContext ssc, Transformation t, Action a)
           
 void DefaultCounterExampleWriter.GuidedSchedulingStrategistProxy.enter(ISchedulingStrategyContext ssc, Node node)
          [Document Pending]
 void DefaultSchedulingStrategist.enter(ISchedulingStrategyContext ssc, Node node)
           
 void ISchedulingStrategist.enter(ISchedulingStrategyContext ssc, Node node)
          Notify the scheduler that a thread is entering an FSM.
 IValue DefaultExpEvaluator.evaluate(ISchedulingStrategyContext ssc, Exp exp, ISchedulingStrategyInfo ssi)
           
 IValue IExpEvaluator.evaluate(ISchedulingStrategyContext ssc, Exp exp, ISchedulingStrategyInfo ssi)
           
 void DefaultTransformer.setSchedulingStrategyContext(ISchedulingStrategyContext ssc)
           
 void ITransformer.setSchedulingStrategyContext(ISchedulingStrategyContext ssc)
           
 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)
           
 IBacktrackingInfo DefaultActionTaker.takeAction(ISchedulingStrategyContext ssc, Action a)
           
 IBacktrackingInfo IActionTaker.takeAction(ISchedulingStrategyContext ssc, Action a)
           
 IBacktrackingInfo[] DefaultTransformer.transform(ISchedulingStrategyContext ssc, BlockTransformation t, Action a)
           
 IBacktrackingInfo[] ITransformer.transform(ISchedulingStrategyContext ssc, BlockTransformation t, Action a)
           
 IBacktrackingInfo[] DefaultTransformer.transform(ISchedulingStrategyContext ssc, InvokeTransformation t, boolean returned, IValue returnValue)
           
 IBacktrackingInfo[] ITransformer.transform(ISchedulingStrategyContext ssc, InvokeTransformation t, boolean returned, IValue returnValue)
           
 

Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES