|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Literal | |
---|---|
my.control | |
my.entity | |
my.gui | |
my.operatoren |
Uses of Literal in my.control |
---|
Methods in my.control that return Literal | |
---|---|
Literal |
Controller.getLiteralDasInDerTextBoxSteht()
|
Literal |
Controller.processLiteral(java.lang.String literal_string)
verarbeitet ein eingegebenes Literal. |
Methods in my.control that return types with arguments of type Literal | |
---|---|
java.util.Vector<Literal> |
IO.getListe()
|
Methods in my.control with parameters of type Literal | |
---|---|
void |
Controller.setLiteralDasInDerTextBoxSteht(Literal literalDasInDerTextBoxSteht)
|
Method parameters in my.control with type arguments of type Literal | |
---|---|
void |
Controller.unifizieren(java.util.Vector<Literal> lit_liste)
|
Uses of Literal in my.entity |
---|
Methods in my.entity that return Literal | |
---|---|
Literal |
Klausel.get(int index)
Gibt das Literal an der Stelle 'index' zurueck |
Methods in my.entity with parameters of type Literal | |
---|---|
void |
Klausel.add(Literal lit)
Fuegt ein Literal in die Klausel ein |
void |
Klausel.remove(Literal lit)
entfernt das uebergebene Literal aus der Klausel |
Constructors in my.entity with parameters of type Literal | |
---|---|
Literal(Literal lit)
Copy-Konstruktor erzeugt ein neues Literal mit neuen Objekten vom Typ LiteralElement, die gleich sind zu denen des uebergebenen Literals |
Constructor parameters in my.entity with type arguments of type Literal | |
---|---|
Klausel(java.util.Collection<Literal> c)
Konstuktor erzeugt neue Klausel mit uebergebener Collection von Literalen, indem diese kopiert wird |
Uses of Literal in my.gui |
---|
Method parameters in my.gui with type arguments of type Literal | |
---|---|
void |
GUI_Eingabe.setListModel(java.util.Vector<Literal> liste)
|
Uses of Literal in my.operatoren |
---|
Methods in my.operatoren that return Literal | |
---|---|
static Literal |
Unifikator.getUni_lit()
Gibt das Unifizierte Literal zurueck |
Method parameters in my.operatoren with type arguments of type Literal | |
---|---|
static void |
DelDuplicate.doit(java.util.Collection<Literal> c)
Zur Realisierung einer mathematischen Menge ohne Interface 'Set'. Stattdessen beliebige Collection anwendbar. Entfernt aus einer Collection (of Literal) alle doppelt vorhandenen Literale. Benutzt die equals-Methode aus Literal. |
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. |
static java.lang.String |
Unifikator.unifikation(java.util.Vector<Literal> literale)
Unifiziert alle Literale in einem Vector (of Literal) per 'Robinson-Algorithmus' (1965). Die Methode liefert also den allgemeinsten Unifikator (als String). Sollten die Literale im Vector nicht unifizierbar sein, wird statt des Unifikators eine Fehlermeldung zurueckgegeben. Zusaetzlich werden statische Variablen gesetzt, die beschreiben: - Das unifizierte Literal als String ( Getter: getUni_lit() ) - Die Unifizierbarkeit der Literale als boolean ( Getter: isUnifiziert() ) |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |