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

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

Methods in edu.ksu.cis.projects.bogor.module that return IEndStateBacktrackingInfo
 IEndStateBacktrackingInfo IBacktrackingInfoFactory.createEndStateBacktrackingInfo(int stateId, int threadId, Action action, ISchedulingStrategyInfo ssi)
           
 

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

Methods in edu.ksu.cis.projects.bogor.module.backtrack that return IEndStateBacktrackingInfo
 IEndStateBacktrackingInfo DefaultBacktrackingInfoFactory.createEndStateBacktrackingInfo(int stateId, int threadId, Action a, ISchedulingStrategyInfo ssi)