Uses of Package
edu.ksu.cis.projects.bogor.module.backtrack

Packages that use edu.ksu.cis.projects.bogor.module.backtrack

edu.ksu.cis.projects.bogor	Provides for Bogor command-line interface (CLI) and configuration.
edu.ksu.cis.projects.bogor.ext.atomicity
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.

Classes in edu.ksu.cis.projects.bogor.module.backtrack used by edu.ksu.cis.projects.bogor

IBacktrackingInfo

Classes in edu.ksu.cis.projects.bogor.module.backtrack used by edu.ksu.cis.projects.bogor.ext.atomicity

IBacktrackingInfo

Classes in edu.ksu.cis.projects.bogor.module.backtrack used by edu.ksu.cis.projects.bogor.module

IArrayElementBacktrackingInfo

IBacktrackingInfo

IControlTransferBacktrackingInfo

IEndStateBacktrackingInfo

IEnterFunctionBacktrackingInfo

IExceptionBacktrackingInfo

IExceptionBacktrackingInfo.IExceptionKilledThreadInfo
Wrapper for data to reconstruct killed threads.

IExitFunctionBacktrackingInfo

IExitThreadBacktrackingInfo

IFieldBacktrackingInfo

IGlobalBacktrackingInfo

ILocalBacktrackingInfo

ILockBacktrackingInfo

INoChangeBacktrackingInfo

IStartThreadBacktrackingInfo

ITransformationsBacktrackingInfo

Classes in edu.ksu.cis.projects.bogor.module.backtrack used by edu.ksu.cis.projects.bogor.module.backtrack

IArrayElementBacktrackingInfo

IBacktrackingInfo

IControlTransferBacktrackingInfo

IEndStateBacktrackingInfo

IEnterFunctionBacktrackingInfo

IExceptionBacktrackingInfo

IExceptionBacktrackingInfo.IExceptionKilledThreadInfo
Wrapper for data to reconstruct killed threads.

IExitFunctionBacktrackingInfo

IExitThreadBacktrackingInfo

IFieldBacktrackingInfo

IGlobalBacktrackingInfo

ILocalBacktrackingInfo

ILockBacktrackingInfo

INoChangeBacktrackingInfo

IStartThreadBacktrackingInfo

ITransformationsBacktrackingInfo