Pandora.LogicParser.Formula.BExp
Class EqualTo

java.lang.Object
  Pandora.LogicParser.Formula.Formula
      Pandora.LogicParser.Formula.BExp.BExp
          Pandora.LogicParser.Formula.BExp.EqualTo

All Implemented Interfaces:

java.io.Serializable

public class EqualTo
extends BExp

Creates an equals to expression.
Extends BExp.

See Also:

Serialized Form

Field Summary

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

left, right

Constructor Summary

EqualTo(Term left, Term right)
Constructs a new EqualTo BExp.

Method Summary

java.lang.String	display() Returns a String to display the equals to 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

EqualTo

public EqualTo(Term left,
               Term right)

Constructs a new EqualTo BExp.

Parameters:

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

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

Method Detail

display

public java.lang.String display()

Returns a String to display the equals to 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.