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

Packages that use IExitThreadBacktrackingInfo

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

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

IExitThreadBacktrackingInfo	IBacktrackingInfoFactory.createExitThreadBacktrackingInfo(int stateId, int threadId, Action action, int[] threadLocationStack, int[] threadTransformationIndexStack, IValueArray[] threadLocalValuesStack, ISchedulingStrategyInfo ssi)
IExitThreadBacktrackingInfo	DefaultActionTaker.takeExitThreadAction(ExitThreadAction a)
IExitThreadBacktrackingInfo	IActionTaker.takeExitThreadAction(ExitThreadAction a)

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

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

IExitThreadBacktrackingInfo

DefaultBacktrackingInfoFactory.createExitThreadBacktrackingInfo(int stateId, int threadId, Action action, int[] threadLocationStack, int[] threadTransformationIndexStack, IValueArray[] threadLocalValuesStack, ISchedulingStrategyInfo ssi)