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)