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

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

Methods in edu.ksu.cis.projects.bogor.module that return IStartThreadBacktrackingInfo
 IStartThreadBacktrackingInfo IBacktrackingInfoFactory.createStartThreadBacktrackingInfo(int stateId, int threadId, int startedThreadId, int oldThreadIdSeed, Action action, ISchedulingStrategyInfo ssi)
           
 IStartThreadBacktrackingInfo DefaultActionTaker.takeStartThreadAction(StartThreadExp e)
           
 IStartThreadBacktrackingInfo IActionTaker.takeStartThreadAction(StartThreadExp e)
           
 

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

Methods in edu.ksu.cis.projects.bogor.module.backtrack that return IStartThreadBacktrackingInfo
 IStartThreadBacktrackingInfo DefaultBacktrackingInfoFactory.createStartThreadBacktrackingInfo(int stateId, int threadId, int startedThreadId, int oldThreadIdSeed, Action action, ISchedulingStrategyInfo ssi)