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

Packages that use IGlobalBacktrackingInfo

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

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

IGlobalBacktrackingInfo	IBacktrackingInfoFactory.createGlobalBacktrackingInfo(int stateId, int threadId, Action action, int globalIndex, IValue oldValue, ISchedulingStrategyInfo ssi)
IGlobalBacktrackingInfo	DefaultActionTaker.takeAssignGlobalAction(AssignAction a, int globalIndex, IValue value)
IGlobalBacktrackingInfo	IActionTaker.takeAssignGlobalAction(AssignAction a, int globalIndex, IValue value)

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

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

IGlobalBacktrackingInfo	DefaultBacktrackingInfoFactory.createGlobalBacktrackingInfo(int stateId, int threadId, Action action, int globalIndex, IDoubleValue oldValue, ISchedulingStrategyInfo ssi)
IGlobalBacktrackingInfo	DefaultBacktrackingInfoFactory.createGlobalBacktrackingInfo(int stateId, int threadId, Action action, int globalIndex, IFloatValue oldValue, ISchedulingStrategyInfo ssi)
IGlobalBacktrackingInfo	DefaultBacktrackingInfoFactory.createGlobalBacktrackingInfo(int stateId, int threadId, Action action, int globalIndex, IIntValue oldValue, ISchedulingStrategyInfo ssi)
IGlobalBacktrackingInfo	DefaultBacktrackingInfoFactory.createGlobalBacktrackingInfo(int stateId, int threadId, Action action, int globalIndex, ILongValue oldValue, ISchedulingStrategyInfo ssi)
IGlobalBacktrackingInfo	DefaultBacktrackingInfoFactory.createGlobalBacktrackingInfo(int stateId, int threadId, Action action, int globalIndex, INonPrimitiveValue oldValue, ISchedulingStrategyInfo ssi)
IGlobalBacktrackingInfo	DefaultBacktrackingInfoFactory.createGlobalBacktrackingInfo(int stateId, int threadId, Action action, int globalIndex, IPrimitiveExtValue oldValue, ISchedulingStrategyInfo ssi)
IGlobalBacktrackingInfo	DefaultBacktrackingInfoFactory.createGlobalBacktrackingInfo(int stateId, int threadId, Action action, int globalIndex, IValue oldValue, ISchedulingStrategyInfo ssi)