Class Var

java.lang.Object
   |
   +----Term
           |
           +----Var

public class Var
extends Term
Eine Variable wird immer vom anfragenden Term gematcht, außer sie ist bereits gebunden. Der Wert (d.h. das gebundene Objekt, falls gebunden) wird durch die value Methode ermittelt. Wenn die Variable gebunden ist, ruft value die value Methode des an die Variable gebundenen Terms auf; ansonsten wird die Variable selbst zurückgegeben.

Siehe auch SatchParserEBNF.html.


Constructor Index

 o Var(String)

Method Index

 o bindTo(Term, Compound)
 o clonedValue()
 o cloneYourValue()
 o equals(Object)
 o getName()
 o isBound()
 o matches(Term, Compound)
Prüft, ob der übergbener Term gematcht werden kann.
 o toString()
 o unbind(Compound)
 o value()

Constructors

 o Var
 public Var(String s)

Methods

 o getName
 public String getName()
 o bindTo
 public void bindTo(Term t,
                    Compound comp)
 o isBound
 public boolean isBound()
 o equals
 public boolean equals(Object o)
Overrides:
equals in class Object
 o matches
 public boolean matches(Term t,
                        Compound comp)
Prüft, ob der übergbener Term gematcht werden kann. Ist die Variable an einen anderen Term gebunden, wird versucht den übergebenen Term gegen den anfgenden zu matchen. Ist die Variable ungebunden, erhält die Variable den Wert des übergebenen Terms.

Overrides:
matches in class Term
 o unbind
 public void unbind(Compound comp)
Overrides:
unbind in class Term
 o value
 public Term value()
Overrides:
value in class Term
 o cloneYourValue
 public void cloneYourValue()
Overrides:
cloneYourValue in class Term
 o clonedValue
 public Term clonedValue()
Overrides:
clonedValue in class Term
 o toString
 public String toString()
Overrides:
toString in class Term