A C D E F G I K L M P R S T U V

U

unifikation(Vector<Literal>) - Static method in class my.operatoren.Unifikator
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() )
Unifikator - Class in my.operatoren
 
Unifikator() - Constructor for class my.operatoren.Unifikator
 
unifizieren(Vector<Literal>) - Method in class my.control.Controller
 

A C D E F G I K L M P R S T U V