public class Pair
extends java.lang.Object
| Modifier and Type | Class and Description |
|---|---|
static class |
Pair.PairOperator |
| Constructor and Description |
|---|
Pair(Type TA1,
Type TA2) |
Pair(Type TA1,
Type TA2,
Pair.PairOperator eOp) |
Pair(Type TA1,
Type TA2,
Pair.PairOperator eOp,
boolean bSubst) |
| Modifier and Type | Method and Description |
|---|---|
Pair |
clone()
Author: Arne L�dtke
Erzeugt einen Klon des Paares. |
Pair |
copyPair() |
static Type |
copyType(Type T) |
boolean |
equals(java.lang.Object obj)
Author: J�rg B�uerle |
Pair.PairOperator |
GetOperator()
Author: Arne L�dtke
Gibt den Operator zur�ck. |
Type |
getTA1Copy() |
Type |
getTA2Copy() |
boolean |
instanzeEquals(java.lang.Object obj)
Author: Arne L�dtke
�berpr�ft ob die Paare die gleichen Instanzen sind. |
boolean |
isEqual() |
boolean |
isInVector(java.util.Vector<Pair> V) |
boolean |
OperatorEqual()
Author: Arne L�dtke
Abfrage, ob Operator vom Typ Equal ist. |
boolean |
OperatorSmaller()
Author: Arne L�dtke
Abfrage, ob Operator vom Typ Smaller ist. |
boolean |
OperatorSmallerExtends()
Author: Arne L�dtke
Abfrage, ob Operator vom Typ SmallerExtends ist. |
boolean |
Pair_isEquiv(Pair p) |
void |
SetOperator(Pair.PairOperator operator)
Author: Arne L�dtke
Setzt den Operator |
java.lang.String |
toString() |
public Pair(Type TA1, Type TA2, Pair.PairOperator eOp)
public Pair(Type TA1, Type TA2, Pair.PairOperator eOp, boolean bSubst)
public java.lang.String toString()
toString in class java.lang.Objectpublic boolean isEqual()
public Type getTA1Copy()
public Type getTA2Copy()
public Pair copyPair()
public boolean Pair_isEquiv(Pair p)
public boolean isInVector(java.util.Vector<Pair> V)
public boolean equals(java.lang.Object obj)
equals in class java.lang.Objectobj - public boolean instanzeEquals(java.lang.Object obj)
public boolean OperatorEqual()
public boolean OperatorSmaller()
public boolean OperatorSmallerExtends()
public Pair.PairOperator GetOperator()
public void SetOperator(Pair.PairOperator operator)
operator - - Operator to set.public Pair clone()
clone in class java.lang.Object