gov.nasa.jpf.search.heuristic

Class PrioritizedState

java.lang.Object

gov.nasa.jpf.search.heuristic.HeuristicState

gov.nasa.jpf.search.heuristic.PrioritizedState

All Implemented Interfaces:

java.lang.Comparable<PrioritizedState>

public class PrioritizedState
extends HeuristicState
implements java.lang.Comparable<PrioritizedState>

HeuristicState with a scalar, static priority. Due to legacy reasons, lower values represent higher priorities

Field Summary

Fields inherited from class gov.nasa.jpf.search.heuristic.HeuristicState

stateId, vmState

Constructor Summary

Constructors

Constructor and Description
PrioritizedState(VM vm, int heuristicValue)

Method Summary

Modifier and Type	Method and Description
int	compareTo(PrioritizedState o)
boolean	equals(java.lang.Object o)
int	getPriority()
java.lang.String	toString()

Methods inherited from class gov.nasa.jpf.search.heuristic.HeuristicState

getStateId, getVMState

Methods inherited from class java.lang.Object

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

Constructor Detail

PrioritizedState

public PrioritizedState(VM vm,
                        int heuristicValue)

Method Detail

getPriority

public int getPriority()

compareTo

public int compareTo(PrioritizedState o)

Specified by:

compareTo in interface java.lang.Comparable<PrioritizedState>

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object