Raptor.LogicParser.Formula.BExp
Class GTE

java.lang.Object
  Raptor.LogicParser.Formula.Formula
      Raptor.LogicParser.Formula.BExp.BExp
          Raptor.LogicParser.Formula.BExp.GTE

All Implemented Interfaces:

java.io.Serializable

public class GTE
extends BExp

Creates a greater than or equal to expression.
Extends BExp.

See Also:

Serialized Form

Field Summary

Fields inherited from class Raptor.LogicParser.Formula.BExp.BExp

left, op, right

Constructor Summary

GTE(Term pLeft, Term pRight)
Constructs a new GreaterThanOrEqual 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 VVar to replace PVar in the formula where necessary.
Term	ST()
Formula	subAll(PTerm left, PTerm right)
Formula	subAll(Term pTermX, Term pTermY) Returns the Formula that is derived after substituting ALL the occurrences of Term x with Term y in this Formula.
Formula	subBoolRes(java.lang.String display)

Methods inherited from class Raptor.LogicParser.Formula.BExp.BExp

addToSignature, checkSub, clashes, getLeftTerm, getPrecedence, getRightTerm, getTerms, setAtoms, setVars

Methods inherited from class Raptor.LogicParser.Formula.Formula

check, concatNoDup, getAtoms, getLeft, getRight, getTuples, getVars, higher, map, setLeft, setRight, setTuples, showTuples, sub, subBool

Methods inherited from class java.lang.Object

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

Constructor Detail

GTE

public GTE(Term pLeft,
           Term pRight)

Constructs a new GreaterThanOrEqual BExp.

Parameters:

pLeft - the program term on the left side of the greater than symbol

pRight - the program 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 VVar 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 pTermX,
                      Term pTermY)

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:

pTermX - Term represents the Term to be substituted.

pTermY - Term represents the Term to substitute Term x.

ST

public Term ST()

Specified by:

ST in class Formula

subAll

public Formula subAll(PTerm left,
                      PTerm right)

Specified by:

subAll in class Formula

subBoolRes

public Formula subBoolRes(java.lang.String display)

Specified by:

subBoolRes in class Formula