Class Cipher

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

public class Cipher
extends Term
Eine Cipher ist einfach eine Zahl.

Siehe auch SatchParserEBNF.html.


Constructor Index

 o Cipher(Integer)

Method Index

 o clonedValue()
 o cloneYourValue()
 o equals(Object)
 o intValue()
 o limitedUnbind(Compound)
 o matches(Term, Compound)
Eine Cipher matcht entweder eine gleiche Cipher oder eine Variable.
 o toString()
 o unbind(Compound)
 o value()

Constructors

 o Cipher
 public Cipher(Integer i)

Methods

 o 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
 o equals
 public boolean equals(Object o)
Overrides:
equals in class Object
 o intValue
 public int intValue()
 o value
 public Term value()
Overrides:
value in class Term
See Also:
Var
 o cloneYourValue
 public void cloneYourValue()
Overrides:
cloneYourValue in class Term
 o clonedValue
 public Term clonedValue()
Overrides:
clonedValue in class Term
 o unbind
 public void unbind(Compound comp)
Overrides:
unbind in class Term
 o limitedUnbind
 public void limitedUnbind(Compound from)
 o toString
 public String toString()
Overrides:
toString in class Term