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)