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

Packages that use IExitFunctionBacktrackingInfo

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

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

IExitFunctionBacktrackingInfo

IBacktrackingInfoFactory.createExitFunctionBacktrackingInfo(int stateId, int threadId, int locDesc, int transformationIndex, IValueArray localValues, IValue returnValue, ISchedulingStrategyInfo ssi)

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

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

IExitFunctionBacktrackingInfo

DefaultBacktrackingInfoFactory.createExitFunctionBacktrackingInfo(int stateId, int threadId, int locDesc, int transformationIndex, IValueArray localValues, IValue returnValue, ISchedulingStrategyInfo ssi)