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:

Comparable<PrioritizedState>

public class PrioritizedState
extends HeuristicState
implements 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

Methods

Modifier and Type	Method and Description
int	compareTo(PrioritizedState o)
boolean	equals(Object o) default implementation is just an identity check
int	getPriority()
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 Comparable<PrioritizedState>

equals

public boolean equals(Object o)

Description copied from class: Object

default implementation is just an identity check

Overrides:

equals in class Object

toString

public String toString()

Overrides:

toString in class Object