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

Packages that use INoChangeBacktrackingInfo

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 INoChangeBacktrackingInfo in edu.ksu.cis.projects.bogor.module

Methods in edu.ksu.cis.projects.bogor.module that return INoChangeBacktrackingInfo

INoChangeBacktrackingInfo	IBacktrackingInfoFactory.createNoChangeBacktrackingInfo(int stateId, int threadId, Action action, ISchedulingStrategyInfo ssi)
INoChangeBacktrackingInfo	DefaultActionTaker.takeAssertAction(AssertAction a, IIntValue value)
INoChangeBacktrackingInfo	IActionTaker.takeAssertAction(AssertAction a, IIntValue value)
INoChangeBacktrackingInfo	DefaultActionTaker.takePrintAction(PrintAction a)
INoChangeBacktrackingInfo	IActionTaker.takePrintAction(PrintAction a)

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

Methods in edu.ksu.cis.projects.bogor.module.backtrack that return INoChangeBacktrackingInfo

INoChangeBacktrackingInfo

DefaultBacktrackingInfoFactory.createNoChangeBacktrackingInfo(int stateId, int threadId, Action action, ISchedulingStrategyInfo ssi)