Pandora.LogicParser.Formula.BExp
Class GreaterThan

java.lang.Object
  extended by Pandora.LogicParser.Formula.Formula
      extended by Pandora.LogicParser.Formula.BExp.BExp
          extended by Pandora.LogicParser.Formula.BExp.GreaterThan
All Implemented Interfaces:
java.io.Serializable

public class GreaterThan
extends BExp

Creates a greater than expression.
Extends BExp.

See Also:
Serialized Form

Field Summary
 
Fields inherited from class Pandora.LogicParser.Formula.BExp.BExp
left, right
 
Constructor Summary
GreaterThan(Term left, Term right)
          Constructs a new GreaterThan BExp.
 
Method Summary
 java.lang.String display()
          Returns a String to display the greater than expression.
 Formula regenerate()
          Returns a copy of the Formula which can be saved as part of the copy made for the undo function.
 Formula s()
          Creates SVar to replace PVar in the formula where necessary.
 Formula subAll(Term a, Term b)
          Returns the Formula that is derived after substituting ALL the occurrences of Term x with Term y in this Formula
 
Methods inherited from class Pandora.LogicParser.Formula.BExp.BExp
addToSignature, checkSub, clashes, getLeftTerm, getPrecedence, getRightTerm, getTerms, setAtoms, setVars
 
Methods inherited from class Pandora.LogicParser.Formula.Formula
check, concatNoDup, getAtoms, getLeft, getRight, getTuples, getVars, higher, isBracketed, map, setLeft, setRight, setTuples, showTuples, sub
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

GreaterThan

public GreaterThan(Term left,
                   Term right)
Constructs a new GreaterThan BExp.

Parameters:
left - the term on the left side of the greater than symbol
right - the term on the right side of the greater than symbol
Method Detail

display

public java.lang.String display()
Returns a String to display the greater than expression.

Specified by:
display in class BExp

s

public Formula s()
Creates SVar to replace PVar in the formula where necessary. Used in Raptor.

Specified by:
s in class Formula

regenerate

public Formula regenerate()
Returns a copy of the Formula which can be saved as part of the copy made for the undo function.

Specified by:
regenerate in class Formula

subAll

public Formula subAll(Term a,
                      Term b)
Returns the Formula that is derived after substituting ALL the occurrences of Term x with Term y in this Formula

Specified by:
subAll in class Formula
Parameters:
a - Term represents the Term to be substituted.
b - Term represents the Term to substitute Term a.