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

Packages that use IEnabledTransformationsContext

edu.ksu.cis.projects.bogor.module

Provide a generic framework for dataflow analysis on BIR transition systems.

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

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

protected IEnabledTransformationsContext

DefaultSearcher.createContext(IState state, int stateId, int invisibleMoves, int[] threadIds)

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

void	ITransformationFilter.filter(IntObjectTable<ArrayList<Transformation>> set, IEnabledTransformationsContext etc)
IntObjectTable<ArrayList<Transformation>>	DefaultCounterExampleWriter.GuidedSchedulingStrategistProxy.getEnabledTransformations(IEnabledTransformationsContext etc) [Document Pending]
IntObjectTable<ArrayList<Transformation>>	DefaultSchedulingStrategist.getEnabledTransformations(IEnabledTransformationsContext etc)
IntObjectTable<ArrayList<Transformation>>	ISchedulingStrategist.getEnabledTransformations(IEnabledTransformationsContext etc) Find all the enabled FSM transitions.
IntObjectTable<ArrayList<Transformation>>	DefaultCounterExampleWriter.GuidedSchedulingStrategistProxy.getEnabledTransformations(IEnabledTransformationsContext etc, Set<Transformation> ignoredTransformations)
IntObjectTable<ArrayList<Transformation>>	DefaultSchedulingStrategist.getEnabledTransformations(IEnabledTransformationsContext etc, Set<Transformation> ignoredTransformations)
IntObjectTable<ArrayList<Transformation>>	ISchedulingStrategist.getEnabledTransformations(IEnabledTransformationsContext etc, Set<Transformation> ignoredTransformations) Find all the enabled FSM transitions except those given in ignoredTransformations.
IntObjectTable<ArrayList<Transformation>>	DefaultCounterExampleWriter.GuidedSchedulingStrategistProxy.getWorkSet(IEnabledTransformationsContext etc) [Document Pending]
IntObjectTable<ArrayList<Transformation>>	DefaultSchedulingStrategist.getWorkSet(IEnabledTransformationsContext etc)
IntObjectTable<ArrayList<Transformation>>	ISchedulingStrategist.getWorkSet(IEnabledTransformationsContext etc) Find a reduced set of transitions whose executions will suffice to represent the execution of all enabled transformations.
IntObjectTable<ArrayList<Transformation>>	DefaultCounterExampleWriter.GuidedSchedulingStrategistProxy.getWorkSet(IEnabledTransformationsContext etc, Set<Transformation> ignoredTransformations)
IntObjectTable<ArrayList<Transformation>>	DefaultSchedulingStrategist.getWorkSet(IEnabledTransformationsContext etc, Set<Transformation> ignoredTransformations)
IntObjectTable<ArrayList<Transformation>>	ISchedulingStrategist.getWorkSet(IEnabledTransformationsContext etc, Set<Transformation> ignoredTransformations) Find a reduced set of transitions whose executions will suffice to represent the execution of all enabled transformations.