Class DataBase
java.lang.Object
|
+----DataBase
- public class DataBase
- extends Object
Imitation einer Prolog-Database.
-
DataBase()
-
-
assert(Atom)
-
-
contains(Atom)
- Überprüft ob das übergebene Atom in der
DataBase enthalten ist.
-
contains(AtomList)
- Überprüft ob die in der AtomList übergebenen Atome in der
DataBase enthalten sind.
-
containsOneOf(Vector)
- Überprüft ob eines der in einem Vector übergebenen Atome in der
DataBase enthalten ist.
-
getAtoms()
- Gibt alle derzeit in der DataBase enthaltenen Atome aus.
-
getAtoms2()
- Schreibt alle derzeit in der DataBase enthaltenen Atome in eine AtomList.
-
getCompoundLists()
- Gibt alle derzeit in der DataBase enthaltenen Atomlisten aus.
-
getSubstList(Atom)
- Gibt für jede gefundene Instanz einen Array von gebundenen Variablen zurück.
-
print()
- Gibt den Inhalt der DB in etwas schönerer Form als
toString()
aus.
-
retract(Atom)
-
-
selectContainedAtoms(Vector)
- Überprüft welche der in einem Vector übergebenen Atome in der
DataBase enthalten sind, und gibt sie dann zurueck.
-
selectContainedModels(Vector)
- Ueberprueft welche bereits gefundene Modelle in der DataBase enthalten
sind, und gibt sie dann zurueck.
-
toString()
-
DataBase
public DataBase()
assert
public void assert(Atom at)
retract
public void retract(Atom at)
containsOneOf
public boolean containsOneOf(Vector atoms)
- Überprüft ob eines der in einem Vector übergebenen Atome in der
DataBase enthalten ist.
contains
public boolean contains(AtomList atoms)
- Überprüft ob die in der AtomList übergebenen Atome in der
DataBase enthalten sind.
contains
public boolean contains(Atom a)
- Überprüft ob das übergebene Atom in der
DataBase enthalten ist.
selectContainedAtoms
public Vector selectContainedAtoms(Vector atoms)
- Überprüft welche der in einem Vector übergebenen Atome in der
DataBase enthalten sind, und gibt sie dann zurueck.
selectContainedModels
public Vector selectContainedModels(Vector models)
- Ueberprueft welche bereits gefundene Modelle in der DataBase enthalten
sind, und gibt sie dann zurueck.
getSubstList
public Vector getSubstList(Atom at)
- Gibt für jede gefundene Instanz einen Array von gebundenen Variablen zurück.
Das gestattet später ein einfaches Einsetzen der Variablen-Belegungen in die
richtigen Variablen (es werden ja sowohl die Variablen selbst, als auch deren
Wert zurückgegeben).
getCompoundLists
public Enumeration getCompoundLists()
- Gibt alle derzeit in der DataBase enthaltenen Atomlisten aus.
getAtoms
public Vector getAtoms()
- Gibt alle derzeit in der DataBase enthaltenen Atome aus.
getAtoms2
public AtomList getAtoms2()
- Schreibt alle derzeit in der DataBase enthaltenen Atome in eine AtomList.
print
public void print()
- Gibt den Inhalt der DB in etwas schönerer Form als
toString()
aus.
toString
public String toString()
- Overrides:
- toString in class Object