Uses of Interface
edu.ksu.cis.projects.bogor.module.backtrack.ITransformationsBacktrackingInfo

Packages that use ITransformationsBacktrackingInfo

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 ITransformationsBacktrackingInfo in edu.ksu.cis.projects.bogor.module

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

ITransformationsBacktrackingInfo	IBacktrackingInfoFactory.createTransformationsBacktrackingInfo(int stateId, int invisibleMoves, int threadId, int[] threadIds, int threadIndex, int lastMovedThreadId, Transformation[] transformations, int selectedIndex, boolean isInvisible, ISchedulingStrategyInfo ssi)
protected ITransformationsBacktrackingInfo	DefaultSearcher.findMostRecentTransformationBacktrackingInfo()

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

Methods in edu.ksu.cis.projects.bogor.module.backtrack that return ITransformationsBacktrackingInfo

ITransformationsBacktrackingInfo	DefaultBacktrackingInfoFactory.createTransformationsBacktrackingInfo(int stateId, int invisibleMoves, int threadId, int[] threadIds, int threadIndex, int lastMovedThreadId, Transformation[] transformations, int selectedIndex, boolean isInvisible, ISchedulingStrategyInfo ssi)
static ITransformationsBacktrackingInfo	DefaultBacktrackingInfoFactory.getMostRecentTransformation(ArrayList<IBacktrackingInfo> stack)