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

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

Methods in edu.ksu.cis.projects.bogor.module that return ILockBacktrackingInfo
 ILockBacktrackingInfo IBacktrackingInfoFactory.createLockBacktrackingInfo(int stateId, int threadId, Action action, LockOp lockOp, ILockValue lockValue, int owner, int lockCounter, int[] waiting, int[] notification, int oldLockCount, int notifiedThreadId, ISchedulingStrategyInfo ssi)
           
 ILockBacktrackingInfo DefaultActionTaker.takeLockAction(LockAction a, ILockValue value)
           
 ILockBacktrackingInfo IActionTaker.takeLockAction(LockAction a, ILockValue value)
           
 

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

Methods in edu.ksu.cis.projects.bogor.module.backtrack that return ILockBacktrackingInfo
 ILockBacktrackingInfo DefaultBacktrackingInfoFactory.createLockBacktrackingInfo(int stateId, int threadId, Action action, LockOp lockOp, ILockValue lockValue, int owner, int lockCounter, int[] waiting, int[] notification, int oldLockCount, int notifiedThreadId, ISchedulingStrategyInfo ssi)