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.


Constructor Index

 o Term()

Method Index

 o clonedValue()
 o matches(Term, Compound)
 o toString()

Constructors

 o Term
 public Term()

Methods

 o clonedValue
 public abstract Term clonedValue()
 o matches
 public abstract boolean matches(Term t,
                                 Compound comp)
 o toString
 public abstract String toString()
Overrides:
toString in class Object