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

Packages that use ILocalBacktrackingInfo

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

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

ILocalBacktrackingInfo	IBacktrackingInfoFactory.createLocalBacktrackingInfo(int stateId, int threadId, Node node, int localIndex, IValue oldValue, ISchedulingStrategyInfo ssi)
ILocalBacktrackingInfo	DefaultActionTaker.takeAssignLocalAction(AssignAction a, int localIndex, IValue value)
ILocalBacktrackingInfo	IActionTaker.takeAssignLocalAction(AssignAction a, int localIndex, IValue value)

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

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

ILocalBacktrackingInfo	DefaultBacktrackingInfoFactory.createLocalBacktrackingInfo(int stateId, int threadId, Node node, int localIndex, IDoubleValue oldValue, ISchedulingStrategyInfo ssi)
ILocalBacktrackingInfo	DefaultBacktrackingInfoFactory.createLocalBacktrackingInfo(int stateId, int threadId, Node node, int localIndex, IFloatValue oldValue, ISchedulingStrategyInfo ssi)
ILocalBacktrackingInfo	DefaultBacktrackingInfoFactory.createLocalBacktrackingInfo(int stateId, int threadId, Node node, int localIndex, IIntValue oldValue, ISchedulingStrategyInfo ssi)
ILocalBacktrackingInfo	DefaultBacktrackingInfoFactory.createLocalBacktrackingInfo(int stateId, int threadId, Node node, int localIndex, ILongValue oldValue, ISchedulingStrategyInfo ssi)
ILocalBacktrackingInfo	DefaultBacktrackingInfoFactory.createLocalBacktrackingInfo(int stateId, int threadId, Node node, int localIndex, INonPrimitiveValue oldValue, ISchedulingStrategyInfo ssi)
ILocalBacktrackingInfo	DefaultBacktrackingInfoFactory.createLocalBacktrackingInfo(int stateId, int threadId, Node node, int localIndex, IPrimitiveExtValue oldValue, ISchedulingStrategyInfo ssi)
ILocalBacktrackingInfo	DefaultBacktrackingInfoFactory.createLocalBacktrackingInfo(int stateId, int threadId, Node node, int localIndex, IValue oldValue, ISchedulingStrategyInfo ssi)