Uses of Class
my.entity.LiteralElement

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.