Class Term

  • All Implemented Interfaces:
    java.io.Serializable, java.lang.Cloneable, LValue

    public class Term
    extends AbstractLValue
    An term is a list of LValues connected by operators. For the sake of efficiency, this is not stored as tree. We store the term as a list in the following format: (headValue)(OP value)* ...
    Author:
    Thomas Morgner
    See Also:
    Serialized Form