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

Packages that use ITransformationsBacktrackingInfo
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 ITransformationsBacktrackingInfo in edu.ksu.cis.projects.bogor.module
 

Methods in edu.ksu.cis.projects.bogor.module that return ITransformationsBacktrackingInfo
 ITransformationsBacktrackingInfo IBacktrackingInfoFactory.createTransformationsBacktrackingInfo(int stateId, int invisibleMoves, int threadId, int[] threadIds, int threadIndex, int lastMovedThreadId, Transformation[] transformations, int selectedIndex, boolean isInvisible, ISchedulingStrategyInfo ssi)
           
protected  ITransformationsBacktrackingInfo DefaultSearcher.findMostRecentTransformationBacktrackingInfo()
           
 

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

Methods in edu.ksu.cis.projects.bogor.module.backtrack that return ITransformationsBacktrackingInfo
 ITransformationsBacktrackingInfo DefaultBacktrackingInfoFactory.createTransformationsBacktrackingInfo(int stateId, int invisibleMoves, int threadId, int[] threadIds, int threadIndex, int lastMovedThreadId, Transformation[] transformations, int selectedIndex, boolean isInvisible, ISchedulingStrategyInfo ssi)
           
static ITransformationsBacktrackingInfo DefaultBacktrackingInfoFactory.getMostRecentTransformation(ArrayList<IBacktrackingInfo> stack)