|
|||||||||
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.Not
public class Not
The Not formula.
Extends abstract class Formula.
Constructor Summary | |
---|---|
Not(Formula formula)
Constructs a Not 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 "" A Not 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 Implies formula. |
Formula |
getFormula()
Returns the formula on which negation is applied. |
int |
getPrecedence()
Returns an integer representing the precedence of this formula according to binding conventions |
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, 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 Not(Formula formula)
formula
- Formula represents the formula on which not is applied.Method Detail |
---|
public Formula getFormula()
public java.lang.String display()
display
in class Formula
public void setAtoms()
setAtoms
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 |