Uses of Class
my.entity.Literal

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() )