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

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

Methods in edu.ksu.cis.projects.bogor.module that return INoChangeBacktrackingInfo
 INoChangeBacktrackingInfo IBacktrackingInfoFactory.createNoChangeBacktrackingInfo(int stateId, int threadId, Action action, ISchedulingStrategyInfo ssi)
           
 INoChangeBacktrackingInfo DefaultActionTaker.takeAssertAction(AssertAction a, IIntValue value)
           
 INoChangeBacktrackingInfo IActionTaker.takeAssertAction(AssertAction a, IIntValue value)
           
 INoChangeBacktrackingInfo DefaultActionTaker.takePrintAction(PrintAction a)
           
 INoChangeBacktrackingInfo IActionTaker.takePrintAction(PrintAction a)
           
 

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

Methods in edu.ksu.cis.projects.bogor.module.backtrack that return INoChangeBacktrackingInfo
 INoChangeBacktrackingInfo DefaultBacktrackingInfoFactory.createNoChangeBacktrackingInfo(int stateId, int threadId, Action action, ISchedulingStrategyInfo ssi)