planner
Class OperatorCompareKey

java.lang.Object
  |
  +--planner.OperatorCompareKey

class OperatorCompareKey

extends java.lang.Object

Diese Klasse dient dazu zwei Operatoren miteinander zu vergleichen, um herauszufinden, ob der Operator mit der gleichen Belegung der Vorbedingung schon einmal ausgeführt wurde. Verglichen werden dazu die Operator.opID und die InstanzenIDs der Operatorvorbedingungen.

Version:

1.1

Author:

Nils Malzahn

Field Summary

long	opID ID des repraesentierten Operator
int	postfullfilled Operator.postcondFullfilled des repräsentierten Operators
long[]	precondInst IDs der Instanzen in der Operatorvorbedingung des repräsentierten Operators

Constructor Summary

OperatorCompareKey(Operator op)
Dieser Konstruktor darf nur aufgerufen werden, wenn der übergebene Operator schon erfolgreich ausgeführt wurde.

Method Summary

boolean	equals(java.lang.Object obj)
int	hashCode()
java.lang.String	toString()

Methods inherited from class java.lang.Object

, clone, finalize, getClass, notify, notifyAll, registerNatives, wait, wait, wait

Field Detail

opID

public long opID

ID des repraesentierten Operator

precondInst

public long[] precondInst

IDs der Instanzen in der Operatorvorbedingung des repräsentierten Operators

postfullfilled

public int postfullfilled

Operator.postcondFullfilled des repräsentierten Operators

Constructor Detail

OperatorCompareKey

public OperatorCompareKey(Operator op)

Dieser Konstruktor darf nur aufgerufen werden, wenn der übergebene Operator schon erfolgreich ausgeführt wurde.

Method Detail

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

toString

public java.lang.String toString()

Returns:

eine String-Ausgabe des Zustands, des Objekts.

Overrides:

toString in class java.lang.Object

Since:

1.0

hashCode

public int hashCode()

Returns:

Einen Hashindex, der sich aus der Summe der Instanzen-IDs in precondInst zusammensetzt.

Overrides:

hashCode in class java.lang.Object

Since:

1.1