edu.ksu.cis.projects.bogor.module.backtrack
Interface IBacktrackingInfo

All Superinterfaces:

Disposable

All Known Subinterfaces:

IArrayElementBacktrackingInfo, IControlTransferBacktrackingInfo, IEndStateBacktrackingInfo, IEnterFunctionBacktrackingInfo, IExceptionBacktrackingInfo, IExitFunctionBacktrackingInfo, IExitThreadBacktrackingInfo, IFieldBacktrackingInfo, IGlobalBacktrackingInfo, ILocalBacktrackingInfo, ILockBacktrackingInfo, INoChangeBacktrackingInfo, IPostControlTransferBacktrackingInfo, IStartThreadBacktrackingInfo, ITransformationsBacktrackingInfo

All Known Implementing Classes:

CompoundBacktrackingInfo

public interface IBacktrackingInfo
extends Disposable

Version:

CVS $Revision: 1.4 $ $Date: 2005/05/31 02:54:07 $

Author:

Robby

Method Summary

void	backtrack(IState state)
IBacktrackingInfo	clone(Map<Object,Object> cloneMap)
Node	getNode() The point from which re-searching should start, if this reverse delta corresponds to a choice point.
ISchedulingStrategyInfo	getSchedulingStrategyInfo()
int	getStateId() Fingerprint of state most recently stored in current DFS descent
int	getThreadId() The descriptor of the thread which took the forward version of this action.

Methods inherited from interface edu.ksu.cis.projects.bogor.util.Disposable

dispose

Method Detail

getNode

Node getNode()

The point from which re-searching should start, if this reverse delta corresponds to a choice point.

getSchedulingStrategyInfo

ISchedulingStrategyInfo getSchedulingStrategyInfo()

getStateId

int getStateId()

Fingerprint of state most recently stored in current DFS descent

getThreadId

int getThreadId()

The descriptor of the thread which took the forward version of this action.

backtrack

void backtrack(IState state)

clone

IBacktrackingInfo clone(Map<Object,Object> cloneMap)