|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectmy.operatoren.Unifikator
public class Unifikator
Constructor Summary | |
---|---|
Unifikator()
|
Method Summary | |
---|---|
static Literal |
getUni_lit()
Gibt das Unifizierte Literal zurueck |
static boolean |
isUnifiziert()
gibt an, ob die letzten Literale unifizierbar waren. |
static java.lang.String |
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() ) |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public Unifikator()
Method Detail |
---|
public static java.lang.String unifikation(java.util.Vector<Literal> literale)
literale
-
public static Literal getUni_lit()
public static boolean isUnifiziert()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |