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.