|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.ObjectPandora.LogicParser.Formula.Formula
Pandora.LogicParser.Formula.BExp.BExp
Pandora.LogicParser.Formula.BExp.EqualTo
public class EqualTo
Creates an equals to expression.
Extends BExp.
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 |
---|
public EqualTo(Term left, Term right)
left
- the term on the left side of the equivalence symbolright
- the term on the right side of the equivalence symbolMethod Detail |
---|
public java.lang.String display()
display
in class BExp
public Formula s()
s
in class Formula
public Formula regenerate()
regenerate
in class Formula
public Formula subAll(Term a, Term b)
subAll
in class Formula
a
- Term represents the Term to be substituted.b
- Term represents the Term to substitute Term a.
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |