|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use LiteralElement | |
---|---|
my.entity | |
my.operatoren |
Uses of LiteralElement in my.entity |
---|
Subclasses of LiteralElement in my.entity | |
---|---|
class |
Funktion
|
class |
Konstante
|
class |
Praedikat
|
class |
Variable
|
Methods in my.entity that return LiteralElement | |
---|---|
LiteralElement |
LiteralElement.clone()
Kopiert das Element. Es wird ein neues Object erzeugt (und zurueckgegeben), das ansonsten dem Element in jeder Hinsicht gleicht. Benutzt die Copy-Konstruktoren der erbenden Klassen Ueberschreibt die Clone-Methode in Object |
LiteralElement |
Literal.getElementAt(int i)
gibt das i-te Element vom Literal zurueck |
LiteralElement |
Funktion.getElementAt(int i)
gibt das i-te Element der Funktion zurueck |
Methods in my.entity that return types with arguments of type LiteralElement | |
---|---|
java.util.Vector<LiteralElement> |
Literal.getLiteralElemente()
gibt einen Vector(LiteralElement) mit den Literalelementen zurueck |
Methods in my.entity with parameters of type LiteralElement | |
---|---|
boolean |
Literal.contains(LiteralElement literalElement)
ueberprueft, ob das uebergebene LiteralElement in dem Literal vorkommt |
boolean |
Funktion.contains(LiteralElement el)
gibt an, ob das uebergebene LiteralElement in der Funktion (bzw. |
void |
Funktion.setInnereElemente(int index,
LiteralElement el)
Ueberschreibt in der Funktion ein Element an der uebergebenen Stelle 'index' mit dem uebergebenen Element 'el' |
void |
Literal.setLiteralelement(int index,
LiteralElement el)
ueberschreibt das Literalelement an der Stelle 'index' mit dem LiteralElement 'el' |
Method parameters in my.entity with type arguments of type LiteralElement | |
---|---|
void |
Literal.setLiteral_elemente(java.util.Vector<LiteralElement> literal_elemente)
ueberschreibt den Vector der Literalelemente |
Constructors in my.entity with parameters of type LiteralElement | |
---|---|
LiteralElement(LiteralElement el)
Copy-Konstruktor erzeugt ein neues Object, das gleich dem uebergebenen Object ist |
Uses of LiteralElement in my.operatoren |
---|
Methods in my.operatoren with parameters of type LiteralElement | |
---|---|
static void |
Substitution.doit(java.util.Collection<Literal> c,
LiteralElement alt,
LiteralElement neu)
Fuehrt in einer Collection(Literal) eine Substitution durch. LiteralElement 'alt' wird in allen Literalen bei jedem Vorkommen ersetzt durch LiteralElement 'neu'. Benutzt die equals-Methode aus LiteralElement. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |