Raptor.ProgramParser.Statements.PBExp
Class PEqualTo

java.lang.Object
  Raptor.LogicParser.Formula.Formula
      Raptor.ProgramParser.Statements.PBExp.PBExp
          Raptor.ProgramParser.Statements.PBExp.PEqualTo

All Implemented Interfaces:

java.io.Serializable

public class PEqualTo
extends PBExp

Creates an equals to expression.
Extends BExp.

See Also:

Serialized Form

Field Summary

Fields inherited from class Raptor.ProgramParser.Statements.PBExp.PBExp

left, op, right

Constructor Summary

PEqualTo(PTerm pLeft, PTerm pRight)
Constructs a new EqualTo BExp.

Method Summary

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	subBoolRes(java.lang.String display)

Methods inherited from class Raptor.ProgramParser.Statements.PBExp.PBExp

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

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

PEqualTo

public PEqualTo(PTerm pLeft,
                PTerm pRight)

Constructs a new EqualTo BExp.

Parameters:

pLeft - the program term on the left side of the equivalence symbol

pRight - the program term on the right side of the equivalence symbol

Method Detail

s

public Formula s()

Creates VVar to replace PVar in the formula where necessary.

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

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