Class DataBase

java.lang.Object
   |
   +----DataBase

public class DataBase
extends Object
Imitation einer Prolog-Database.


Constructor Index

 o DataBase()

Method Index

 o assert(Atom)
 o contains(Atom)
Überprüft ob das übergebene Atom in der DataBase enthalten ist.
 o contains(AtomList)
Überprüft ob die in der AtomList übergebenen Atome in der DataBase enthalten sind.
 o containsOneOf(Vector)
Überprüft ob eines der in einem Vector übergebenen Atome in der DataBase enthalten ist.
 o getAtoms()
Gibt alle derzeit in der DataBase enthaltenen Atome aus.
 o getAtoms2()
Schreibt alle derzeit in der DataBase enthaltenen Atome in eine AtomList.
 o getCompoundLists()
Gibt alle derzeit in der DataBase enthaltenen Atomlisten aus.
 o getSubstList(Atom)
Gibt für jede gefundene Instanz einen Array von gebundenen Variablen zurück.
 o print()
Gibt den Inhalt der DB in etwas schönerer Form als toString() aus.
 o retract(Atom)
 o selectContainedAtoms(Vector)
Überprüft welche der in einem Vector übergebenen Atome in der DataBase enthalten sind, und gibt sie dann zurueck.
 o selectContainedModels(Vector)
Ueberprueft welche bereits gefundene Modelle in der DataBase enthalten sind, und gibt sie dann zurueck.
 o toString()

Constructors

 o DataBase
 public DataBase()

Methods

 o assert
 public void assert(Atom at)
 o retract
 public void retract(Atom at)
 o containsOneOf
 public boolean containsOneOf(Vector atoms)
Überprüft ob eines der in einem Vector übergebenen Atome in der DataBase enthalten ist.

 o contains
 public boolean contains(AtomList atoms)
Überprüft ob die in der AtomList übergebenen Atome in der DataBase enthalten sind.

 o contains
 public boolean contains(Atom a)
Überprüft ob das übergebene Atom in der DataBase enthalten ist.

 o 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.

 o selectContainedModels
 public Vector selectContainedModels(Vector models)
Ueberprueft welche bereits gefundene Modelle in der DataBase enthalten sind, und gibt sie dann zurueck.

 o 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).

 o getCompoundLists
 public Enumeration getCompoundLists()
Gibt alle derzeit in der DataBase enthaltenen Atomlisten aus.

 o getAtoms
 public Vector getAtoms()
Gibt alle derzeit in der DataBase enthaltenen Atome aus.

 o getAtoms2
 public AtomList getAtoms2()
Schreibt alle derzeit in der DataBase enthaltenen Atome in eine AtomList.

 o print
 public void print()
Gibt den Inhalt der DB in etwas schönerer Form als toString() aus.

 o toString
 public String toString()
Overrides:
toString in class Object