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

Packages that use IFieldBacktrackingInfo

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

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

IFieldBacktrackingInfo	IBacktrackingInfoFactory.createFieldBacktrackingInfo(int stateId, int threadId, Action action, IRecordValue arrayOrRecordValue, int fieldIndex, IValue oldValue, ISchedulingStrategyInfo ssi)
IFieldBacktrackingInfo	DefaultActionTaker.takeAssignFieldAction(AssignAction a, IRecordValue record, int fieldIndex, IValue value)
IFieldBacktrackingInfo	IActionTaker.takeAssignFieldAction(AssignAction a, IRecordValue record, int fieldIndex, IValue value)

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

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

IFieldBacktrackingInfo

DefaultBacktrackingInfoFactory.createFieldBacktrackingInfo(int stateId, int threadId, Action action, IRecordValue arrayOrRecordValue, int fieldIndex, IValue oldValue, ISchedulingStrategyInfo ssi)