Pandora.LogicParser.Formula.AExp
Class Subtract

java.lang.Object
  Pandora.LogicParser.Formula.Term
      Pandora.LogicParser.Formula.AExp.AExp
          Pandora.LogicParser.Formula.AExp.Subtract

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable

public class Subtract
extends AExp

Creates a subtraction expression.
Extends AExp.

See Also:

Serialized Form

Field Summary

Fields inherited from class Pandora.LogicParser.Formula.AExp.AExp

left, right

Constructor Summary

Subtract(Term left, Term right)
Constructs a new Subtract AExp.

Method Summary

java.lang.String	display() Returns a String to display the subtract expression.
Term	sub(Term a, Term b) Substitutes all the occurences of Term a by Term b.

Methods inherited from class Pandora.LogicParser.Formula.AExp.AExp

addToSignature, clashes, clone, getLeft, getName, getRight, isIn, setVars

Methods inherited from class Pandora.LogicParser.Formula.Term

concatNoDup, equals, getVars, isIn, isInVars

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Subtract

public Subtract(Term left,
                Term right)

Constructs a new Subtract AExp.

Parameters:

left - the term on the left side of the plus symbol

right - the term on the right side of the plus symbol

Method Detail

display

public java.lang.String display()

Returns a String to display the subtract expression.

Specified by:

display in class AExp

sub

public Term sub(Term a,
                Term b)

Substitutes all the occurences of Term a by Term b.

Specified by:

sub in class Term

Parameters:

a - represents the Term to be substituted.

b - represents the Term used to substitute the Term x