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.


Constructor Index

 o Atom(Compound)
 o Atom(FkSymbol, Vector)

Method Index

 o bindTo(Term[])
 o clonedValue()
 o cloneYourValue()
 o equals(Object)
 o getCompound()
 o index()
Dient der eindeutigen Indexierung gleich-prädikatiger Atome.
 o internVars(Vector)
 o predicate()
 o toString()
 o unbind()

Constructors

 o Atom
 public Atom(FkSymbol fs,
             Vector t)
 o Atom
 public Atom(Compound cmp)

Methods

 o getCompound
 public Compound getCompound()
 o bindTo
 public void bindTo(Term substitution[])
 o cloneYourValue
 public void cloneYourValue()
 o clonedValue
 public Atom clonedValue()
 o unbind
 public void unbind()
 o predicate
 public String predicate()
 o internVars
 public Vector internVars(Vector v)
 o 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().

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