gov.nasa.jpf.search.heuristic

Class HeuristicState

java.lang.Object

gov.nasa.jpf.search.heuristic.HeuristicState

Direct Known Subclasses:

PrioritizedState

public abstract class HeuristicState
extends java.lang.Object

wrapper for states that are processed in an order that is defined by a heuristic (i.e. not just depends on the shape of the state graph)

Field Summary

Fields

Modifier and Type	Field and Description
protected int	stateId
protected RestorableVMState	vmState

Constructor Summary

Constructors

Constructor and Description
HeuristicState(VM vm)

Method Summary

Modifier and Type	Method and Description
int	getStateId()
RestorableVMState	getVMState()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

vmState

protected RestorableVMState vmState

stateId

protected int stateId

Constructor Detail

HeuristicState

public HeuristicState(VM vm)

Method Detail

getVMState

public RestorableVMState getVMState()

getStateId

public int getStateId()