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)