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

Packages that use IArrayElementBacktrackingInfo

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

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

IArrayElementBacktrackingInfo	IBacktrackingInfoFactory.createArrayElementBacktrackingInfo(int stateId, int threadId, Action action, IArrayValue arrayValue, int elementIndex, IValue oldValue, ISchedulingStrategyInfo ssi)
IArrayElementBacktrackingInfo	DefaultActionTaker.takeAssignArrayElementAction(AssignAction a, IArrayValue array, int elementIndex, IValue value)
IArrayElementBacktrackingInfo	IActionTaker.takeAssignArrayElementAction(AssignAction a, IArrayValue array, int elementIndex, IValue value)

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

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

IArrayElementBacktrackingInfo

DefaultBacktrackingInfoFactory.createArrayElementBacktrackingInfo(int stateId, int threadId, Action action, IArrayValue arrayValue, int elementIndex, IValue oldValue, ISchedulingStrategyInfo ssi)