Class Term
java.lang.Object
|
+----Term
- public class Term
- extends Object
Wird implementiert von Cipher Compound und Var.
Bietet eine allgemeine Schnittstelle für Terme.
Siehe auch SatchParserEBNF.html.
-
Term()
-
-
clonedValue()
-
-
matches(Term, Compound)
-
-
toString()
-
Term
public Term()
clonedValue
public abstract Term clonedValue()
matches
public abstract boolean matches(Term t,
Compound comp)
toString
public abstract String toString()
- Overrides:
- toString in class Object