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)