Archived Website: This website is a static snapshot for archival purposes only. It is no longer maintained or updated.

informationexchange
Class LearnOperator

java.lang.Object
  |
  +--informationexchange.LearnOperator

public class LearnOperator

extends java.lang.Object

implements java.lang.Cloneable, java.io.Serializable

Der LearnOperator ist eine abgespeckt Version eines Operators und enth?lt die f?r die Lerner relevanten Informationen. Zur Zeit sind das die OperatorID sowie die Vor- und Nachbedingungen.

Version:

[1999-08-29]

Author:

Oliver Geppert

See Also:

LearnTree, Serialized Form

Field Summary

(package private) long	ID Die OperatorID.
(package private) Postcondition[]	postConds Eine Kopie der Nachbedingungen aus dem entsprechenden PlanTree-Operator.
(package private) Predicate[]	preConds Eine Kopie der Vorbedingungen aus dem entsprechenden PlanTree-Operator.

Constructor Summary

LearnOperator(Operator operator)
Konstruktor, der aus einen Operator zu einem LearnOperator reduziert.

Method Summary

long	getID() Methode, die die OperatorID zur?ckliefert.
private java.lang.String	predicateToString(Predicate p) Hilfsfunktion zur Ausgabe von Predicates.
java.lang.String	toString(long nodeNr) Wandelt die Informationen des LearnOperators in einen String um.

Methods inherited from class java.lang.Object

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

Field Detail

ID

long ID

Die OperatorID.

Since:

[1999-08-29]

preConds

Predicate[] preConds

Eine Kopie der Vorbedingungen aus dem entsprechenden PlanTree-Operator.

Since:

[1999-08-29]

postConds

Postcondition[] postConds

Eine Kopie der Nachbedingungen aus dem entsprechenden PlanTree-Operator.

Since:

[1999-08-29]

Constructor Detail

LearnOperator

public LearnOperator(Operator operator)

Konstruktor, der aus einen Operator zu einem LearnOperator reduziert.

Parameters:

Operator - operator - Der entprechende Operator aus dem PlanTree.

Since:

[1999-08-29]

Method Detail

getID

public long getID()

Methode, die die OperatorID zur?ckliefert.

Returns:

long - die OperatorID;

Since:

[1999-08-29]

toString

public java.lang.String toString(long nodeNr)

Wandelt die Informationen des LearnOperators in einen String um. Diese Methode wird durch LearnTree.toFig aufgerufen.

Parameters:

long - nodeNr - entspricht der Nummer des Knotens in der grafischen Ausgabe als Fig-File.

Returns:

String - der Ausgabestring.

Since:

[1999-08-29]

predicateToString

private java.lang.String predicateToString(Predicate p)

Hilfsfunktion zur Ausgabe von Predicates.

Parameters:

Predicate - p - das auszugebende Predicate.

Returns:

String - der Ausgabestring.

Since:

[1999-10-02]