my.operatoren
Class Unifikator

java.lang.Object
  extended by my.operatoren.Unifikator

public class Unifikator
extends java.lang.Object


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

Unifikator

public Unifikator()
Method Detail

unifikation

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

Parameters:
literale -
Returns:
String

getUni_lit

public static Literal getUni_lit()
Gibt das Unifizierte Literal zurueck

Returns:
String

isUnifiziert

public static boolean isUnifiziert()
gibt an, ob die letzten Literale unifizierbar waren.

Returns:
boolean