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

Packages that use IEnterFunctionBacktrackingInfo
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 IEnterFunctionBacktrackingInfo in edu.ksu.cis.projects.bogor.module
 

Methods in edu.ksu.cis.projects.bogor.module that return IEnterFunctionBacktrackingInfo
 IEnterFunctionBacktrackingInfo IBacktrackingInfoFactory.createEnterFunctionBacktrackingInfo(int stateId, int threadId, InvokeTransformation t, ISchedulingStrategyInfo ssi)
           
 

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

Methods in edu.ksu.cis.projects.bogor.module.backtrack that return IEnterFunctionBacktrackingInfo
 IEnterFunctionBacktrackingInfo DefaultBacktrackingInfoFactory.createEnterFunctionBacktrackingInfo(int stateId, int threadId, InvokeTransformation t, ISchedulingStrategyInfo ssi)