All Packages  Class Hierarchy

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Index of all Fields and Methods

A

add(Atom). Method in class AtomList: Ist die Liste sortiert, wirde jedes neue Atom in die bestehende Ordnung passend eingefügt.
add(Atom). Method in class Negations
add(AtomList). Method in class Negations
applied_instance_image(). Method in class Head: Wird benötigt um beim Erstellen der Trace-Datei ein Abbild der angewandten Instanz zu haben.
assert(Atom). Method in class DataBase
Atom(Compound). Constructor for class Atom
Atom(FkSymbol, Vector). Constructor for class Atom
AtomList(). Constructor for class AtomList

B

bindTo(Term, Compound). Method in class Var
bindTo(Term[]). Method in class Atom
bindTo(Term[]). Method in class Compound
Body(Object). Constructor for class Body
Body(Vector). Constructor for class Body

C

Cipher(Integer). Constructor for class Cipher
Clause(String, Body). Constructor for class Clause
Clause(String, Body, Head). Constructor for class Clause: Der identifier-String dient zur besseren Orientierung.
Clause(String, Head). Constructor for class Clause
ClauseNotGroundException(). Constructor for class ClauseNotGroundException
ClauseNotGroundException(String). Constructor for class ClauseNotGroundException
clonedValue(). Method in class Atom
clonedValue(). Method in class Body
clonedValue(). Method in class Cipher
clonedValue(). Method in class Compound
clonedValue(). Method in class Head
clonedValue(). Method in class Term
clonedValue(). Method in class Var
cloneYourValue(). Method in class Atom
cloneYourValue(). Method in class Body
cloneYourValue(). Method in class Cipher
cloneYourValue(). Method in class Compound: Im ersten Schritt müssen alle Values geklont werden.
cloneYourValue(). Method in class Head
cloneYourValue(). Method in class Var
Compound(FkSymbol). Constructor for class Compound
Compound(FkSymbol, Vector). Constructor for class Compound
contains(Atom). Method in class DataBase: Überprüft ob das übergebene Atom in der DataBase enthalten ist.
contains(AtomList). Method in class AtomList: Prüft ob die übergebene AtomList Teilmenge dieser AtomList ist.
contains(AtomList). Method in class DataBase: Überprüft ob die in der AtomList übergebenen Atome in der DataBase enthalten sind.
containsOneOf(Vector). Method in class DataBase: Überprüft ob eines der in einem Vector übergebenen Atome in der DataBase enthalten ist.
copy(). Method in class Clause
copy(). Method in class Head: Gibt die Kopie des Head zurück, und läßt die Variablenbindungen dieses Heads unverändert.

D

DataBase(). Constructor for class DataBase
dequeue(). Method in class DoubleQueue
DoubleQueue(). Constructor for class DoubleQueue

E

empty(). Method in class DoubleQueue
enqueue(Object). Method in class DoubleQueue: Sortiert einkommende Heads nach Länge.
equals(Object). Method in class Atom
equals(Object). Method in class Body
equals(Object). Method in class Cipher
equals(Object). Method in class Clause
equals(Object). Method in class Compound
equals(Object). Method in class FkSymbol
equals(Object). Method in class Head
equals(Object). Method in class Var

F

FkSymbol(String). Constructor for class FkSymbol

G

getAtoms(). Method in class AtomList
getAtoms(). Method in class Body
getAtoms(). Method in class DataBase: Gibt alle derzeit in der DataBase enthaltenen Atome aus.
getAtoms(). Method in class Head
getAtoms(). Method in class Negations
getAtoms2(). Method in class DataBase: Schreibt alle derzeit in der DataBase enthaltenen Atome in eine AtomList.
getBody(). Method in class Clause: Gibt null zurück, falls diese Klausel keinen Body hat.
getCompound(). Method in class Atom
getCompoundLists(). Method in class DataBase: Gibt alle derzeit in der DataBase enthaltenen Atomlisten aus.
getFkSymbol(). Method in class FkSymbol
getHead(). Method in class Clause: Gibt null zurück, falls diese Klausel keinen Head hat.
getIdentifier(). Method in class Clause: Gibt den in der Spezifikation angegebenen, bzw.
getModels(). Method in class Negations
getName(). Method in class Var
getSubstitutions(Atom). Method in class Compound
getSubstitutions(Compound). Method in class Compound: Gibt einen Array von Variablen-Bindungen zurück.
getSubstList(Atom). Method in class DataBase: Gibt für jede gefundene Instanz einen Array von gebundenen Variablen zurück.
getVarsCopy(). Method in class Compound

H

Head(Vector). Constructor for class Head

I

index(). Method in class Atom: Dient der eindeutigen Indexierung gleich-prädikatiger Atome.
internVars(). Method in class Clause: Diese Methode wird vom Parser nach dem Parsen aufgerufen, und stellt sicher, daß an jeder Stelle der Clausel, an der zwei gleichlautende Variablen stehen, das selbe Var-Objekt steht.
Dabei wird ein Vector angelegt (falls keiner übergeben wurde), in den alle Variablen-Objekte hineingeschrieben werden, die bisher vorkamen.
internVars(). Method in class Compound: Diese Methode wird vom Parser nach dem Parsen aufgerufen, und stellt sicher, daß an jeder Stelle der Compound, an der zwei gleichlautende Variablen stehen, das selbe Var-Objekt steht.
internVars(Vector). Method in class Atom
internVars(Vector). Method in class Body
internVars(Vector). Method in class Compound: Siehe internVars().
internVars(Vector). Method in class Head
intValue(). Method in class Cipher
isBound(). Method in class Var
isConstraint(). Method in class Clause: Eine Clausel ist ein Constraint, wenn sie einen Body, aber keinen Head hat.
isEmpty(). Method in class AtomList
isEmpty(). Method in class DoubleQueue
isTrue(). Method in class Clause: Wenn die Clausel einen Body, aber keinen Head hat, ist sie im Tableaux schon beim Start als 'wahr' anzusehen.

L

limitedUnbind(Compound). Method in class Cipher

M

main(String[]). Static method in class Satchmo
matches(Term, Compound). Method in class Cipher: Eine Cipher matcht entweder eine gleiche Cipher oder eine Variable.
matches(Term, Compound). Method in class Compound: Matcht einen Term, wenn er eine Compound oder eine Var ist.
matches(Term, Compound). Method in class Term
matches(Term, Compound). Method in class Var: Prüft, ob der übergbener Term gematcht werden kann.

N

Negations(). Constructor for class Negations

P

predicate(). Method in class Atom
predicate(). Method in class Compound: Gibt Prädikatsymbol und Stelligkeit aus.
print(). Method in class DataBase: Gibt den Inhalt der DB in etwas schönerer Form als toString() aus.

Q

quicksort(int, int). Method in class AtomList

R

refute(). Method in class Satchmo: Nachdem die Spezifikation geladen ist, wird refute() aufgerufen um den Modellgenerierungsprozess zu starten.
ReInit(String). Method in class Satchmo: Wird benötigt um Satchmo und den Parser zu reinitialisieren.
removeAtom(Atom). Method in class Negations
retract(Atom). Method in class DataBase

S

Satchmo(String). Constructor for class Satchmo: Konstruktor wird nur beim ersten Initialisieren benutzt.
satisfiable(). Method in class Satchmo: Entspricht satisfiable in satchmo.prolog.
satisfy_all(). Method in class Satchmo: Entspricht satisfy_all in satchmo.prolog.
selectContainedAtoms(Vector). Method in class DataBase: Überprüft welche der in einem Vector übergebenen Atome in der DataBase enthalten sind, und gibt sie dann zurueck.
selectContainedModels(Vector). Method in class DataBase: Ueberprueft welche bereits gefundene Modelle in der DataBase enthalten sind, und gibt sie dann zurueck.
set_applied_instance_image(String). Method in class Head: Wird benötigt um beim Erstellen der Trace-Datei ein Abbild der angewandten Instanz zu haben.
setIdentifier(String). Method in class Clause
size(). Method in class AtomList
size(). Method in class Head
sort(). Method in class AtomList: Sortiert die Elemente der Liste nach Größe von Atom.predicate().hashcode().
swap(int, int). Method in class AtomList

T

Term(). Constructor for class Term
toSnarks(). Method in class AtomList
toString(). Method in class Atom
toString(). Method in class AtomList
toString(). Method in class Body
toString(). Method in class Cipher
toString(). Method in class Clause
toString(). Method in class Compound
toString(). Method in class DataBase
toString(). Method in class DoubleQueue
toString(). Method in class FkSymbol
toString(). Method in class Head
toString(). Method in class Negations
toString(). Method in class Term
toString(). Method in class Var

U

unbind(). Method in class Atom
unbind(). Method in class Body
unbind(). Method in class Head
unbind(Compound). Method in class Cipher
unbind(Compound). Method in class Compound: Diese Methode entbindet nur die Variablen in dieser Compound, die von der übergebenen Compound gebunden wurden.
unbind(Compound). Method in class Var

V

value(). Method in class Cipher
value(). Method in class Compound
value(). Method in class Var
Var(String). Constructor for class Var
violatedInstance(Clause, int). Method in class Satchmo: Es wird versucht den Rumpf (Body) der übergebene Klausel aus dem bisherigen Bestand an bewiesenen (oder angenommenen) Klauseln in der DataBase zu beweisen.