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

Uses of Class
operators.Postcondition

Packages that use Postcondition

informationexchange
operators

Uses of Postcondition in informationexchange

Fields in informationexchange declared as Postcondition

(package private) Postcondition[]

LearnOperator.postConds Eine Kopie der Nachbedingungen aus dem entsprechenden PlanTree-Operator.

Uses of Postcondition in operators

Fields in operators declared as Postcondition

protected Postcondition[]

Operator.postconds Die Nachbedingungen des Operators.

Methods in operators that return Postcondition

Postcondition[]	Operator.getPostcond() Liefert die Nachbedingungen des Operators.
Postcondition[]	Operator.setPostcond(Postcondition[] postc) Setzt die Nachbedingungen des Operators.
Postcondition	Operator.getFullfilledPostcondition() Diese Methode gibt die erf?llte Postcondition zur?ck.
Postcondition	Postcondition.deepClone() Diese Methode gibt eine deepCopy der Postcondition zur|ck.
Postcondition	Postcondition.deepPointerClone(java.util.Hashtable name2PredArg)

Methods in operators with parameters of type Postcondition

Postcondition[]	Operator.setPostcond(Postcondition[] postc) Setzt die Nachbedingungen des Operators.
void	Postcondition.copyFrom(Postcondition src) Diese Methode kopiert den Inhalt der enthaltenen PredArguments in die entsprechenden eigenen PredArguments.