|
|||||||||
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.Quantifier
public abstract class Quantifier
The Forall quantifier formula.
Extends abstract class Formula,
Extended by Forall and Exists Formulae.
Constructor Summary | |
---|---|
Quantifier()
|
Method Summary | |
---|---|
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 Quantifier Formula clashes with a signature if its variable or its Formula clashes with the signature. |
abstract java.lang.String |
display()
Returns the a String to display the Atom formula. |
java.util.List<Term> |
getAllTerms()
This method returns a list |
abstract Formula |
getFormula()
Returns the Formula this Quantifier is applied on. |
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 |
abstract Var |
getVar()
Returns the bound variable of the quantifier formula. |
Methods inherited from class Pandora.LogicParser.Formula.Formula |
---|
addToSignature, check, checkSub, concatNoDup, getAtoms, getLeft, getRight, getTuples, getVars, higher, isBracketed, map, regenerate, s, setAtoms, setLeft, setRight, setTuples, setVars, showTuples, sub, subAll |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public Quantifier()
Method Detail |
---|
public abstract Var getVar()
public abstract Formula getFormula()
public abstract java.lang.String display()
display
in class Formula
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 java.util.List<Term> getTerms()
getTerms
in class Formula
public java.util.List<Term> getAllTerms()
public int getPrecedence()
getPrecedence
in class Formula
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |