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.
-
Var(String)
-
-
bindTo(Term, Compound)
-
-
clonedValue()
-
-
cloneYourValue()
-
-
equals(Object)
-
-
getName()
-
-
isBound()
-
-
matches(Term, Compound)
- Prüft, ob der übergbener Term gematcht werden kann.
-
toString()
-
-
unbind(Compound)
-
-
value()
-
Var
public Var(String s)
getName
public String getName()
bindTo
public void bindTo(Term t,
Compound comp)
isBound
public boolean isBound()
equals
public boolean equals(Object o)
- Overrides:
- equals in class Object
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
unbind
public void unbind(Compound comp)
- Overrides:
- unbind in class Term
value
public Term value()
- Overrides:
- value in class Term
cloneYourValue
public void cloneYourValue()
- Overrides:
- cloneYourValue in class Term
clonedValue
public Term clonedValue()
- Overrides:
- clonedValue in class Term
toString
public String toString()
- Overrides:
- toString in class Term