Class Cipher
java.lang.Object
|
+----Term
|
+----Cipher
- public class Cipher
- extends Term
Eine Cipher ist einfach eine Zahl.
Siehe auch SatchParserEBNF.html.
-
Cipher(Integer)
-
-
clonedValue()
-
-
cloneYourValue()
-
-
equals(Object)
-
-
intValue()
-
-
limitedUnbind(Compound)
-
-
matches(Term, Compound)
- Eine Cipher matcht entweder eine gleiche Cipher oder eine Variable.
-
toString()
-
-
unbind(Compound)
-
-
value()
-
Cipher
public Cipher(Integer i)
matches
public boolean matches(Term t,
Compound comp)
- Eine Cipher matcht entweder eine gleiche Cipher oder eine Variable.
Eine Variable wird genau dann gematcht, wenn die Variable die Cipher matcht.
(Denn nur die Variable weiß, ob sie gebunden ist.)
- Overrides:
- matches in class Term
equals
public boolean equals(Object o)
- Overrides:
- equals in class Object
intValue
public int intValue()
value
public Term value()
- Overrides:
- value in class Term
- See Also:
- Var
cloneYourValue
public void cloneYourValue()
- Overrides:
- cloneYourValue in class Term
clonedValue
public Term clonedValue()
- Overrides:
- clonedValue in class Term
unbind
public void unbind(Compound comp)
- Overrides:
- unbind in class Term
limitedUnbind
public void limitedUnbind(Compound from)
toString
public String toString()
- Overrides:
- toString in class Term