|
|||||||||
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.And
public class And
The And formula.
Extends abstract Formula class.
Constructor Summary | |
---|---|
And(Formula left,
Formula right)
Constructs an And Formula. |
Method Summary | |
---|---|
void |
addToSignature(PanSignature signature)
This method adds the Atoms and Terms of this Formula to the passed PanSignature IF it is not already in the signature. |
boolean |
checkSub(Term x,
Term y,
Formula f)
Returns true if the passed formula f can be reached by substituting th eoccurrences of Term x by Term y in this Formula |
java.lang.String |
clashes(PanSignature signature)
Returns a String containing an Error character if this Formula clashes with the passed PanSignature, Otherwise it will return an Empty String "" An And Formula clashes with a signature if any of its left or right sub-Formulae clashes with the signature. |
java.lang.String |
display()
Returns the a String to display the And formula. |
Formula |
getLeft()
Returns the left side formula. |
int |
getPrecedence()
Returns an integer representing the precedence of this formula according to binding conventions |
Formula |
getRight()
Returns the right side formula. |
java.util.List<Term> |
getTerms()
This method returns a list |
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. |
void |
setAtoms()
Obtains the atoms in the formula and adds them to the list of atoms for the tree which contains this formula. |
void |
setVars(Var v)
This method adds Var v to the list of variables this formula is bound to |
Formula |
subAll(Term x,
Term y)
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.Formula |
---|
check, concatNoDup, getAtoms, 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 And(Formula left, Formula right)
left
- Formula of left side of conjunctionright
- Formula of right side of conjunctionMethod Detail |
---|
public void setAtoms()
setAtoms
in class Formula
public Formula getLeft()
getLeft
in class Formula
public Formula getRight()
getRight
in class Formula
public java.lang.String display()
display
in class Formula
public boolean checkSub(Term x, Term y, Formula f)
checkSub
in class Formula
x
- Term represents the Term to be substituted.y
- Term represents the Term to substitute Term x.f
- Formula represents the Formula to check if it can be reached after substitution.public Formula subAll(Term x, Term y)
subAll
in class Formula
x
- Term represents the Term to be substituted.y
- Term represents the Term to substitute Term x.public void setVars(Var v)
setVars
in class Formula
v
- Var represents the Var to be added to the list of this formula's variables.public java.lang.String clashes(PanSignature signature)
clashes
in class Formula
signature
- PanSignature represents the PanSignature to be checked if this Formula clashes with.public void addToSignature(PanSignature signature)
addToSignature
in class Formula
signature
- PanSignature represents the signature to add this Formula to.public java.util.List<Term> getTerms()
getTerms
in class Formula
public Formula s()
s
in class Formula
public Formula regenerate()
regenerate
in class Formula
public int getPrecedence()
getPrecedence
in class Formula
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |