Class Atom
java.lang.Object
|
+----Atom
- public class Atom
- extends Object
Besteht aus der 'obersten' Compound des Atoms.
Ist atom1 gleich f(a, b(2)), dann ist die Klasse atom1 ein wrapper
um die Compound f(a, b(2)).
Siehe auch SatchParserEBNF.html.
-
Atom(Compound)
-
-
Atom(FkSymbol, Vector)
-
-
bindTo(Term[])
-
-
clonedValue()
-
-
cloneYourValue()
-
-
equals(Object)
-
-
getCompound()
-
-
index()
- Dient der eindeutigen Indexierung gleich-prädikatiger Atome.
-
internVars(Vector)
-
-
predicate()
-
-
toString()
-
-
unbind()
-
Atom
public Atom(FkSymbol fs,
Vector t)
Atom
public Atom(Compound cmp)
getCompound
public Compound getCompound()
bindTo
public void bindTo(Term substitution[])
cloneYourValue
public void cloneYourValue()
clonedValue
public Atom clonedValue()
unbind
public void unbind()
predicate
public String predicate()
internVars
public Vector internVars(Vector v)
index
public int index()
- Dient der eindeutigen Indexierung gleich-prädikatiger Atome.
Wenn "f\1" das
predicate
von atom1 und atom2 sind,
dann atom1.index() == atom2.index().
equals
public boolean equals(Object o)
- Overrides:
- equals in class Object
toString
public String toString()
- Overrides:
- toString in class Object