Pandora.LogicParser.Formula
Class Quantifier

java.lang.Object
  extended by Pandora.LogicParser.Formula.Formula
      extended by Pandora.LogicParser.Formula.Quantifier
All Implemented Interfaces:
java.io.Serializable
Direct Known Subclasses:
Exists, Forall

public abstract class Quantifier
extends Formula

The Forall quantifier formula.
Extends abstract class Formula, Extended by Forall and Exists Formulae.

See Also:
Serialized Form

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 of all the Terms this formula contain including the variables.
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 of all the Terms this formula contain excluding the variables.
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

Quantifier

public Quantifier()
Method Detail

getVar

public abstract Var getVar()
Returns the bound variable of the quantifier formula.


getFormula

public abstract Formula getFormula()
Returns the Formula this Quantifier is applied on.


display

public abstract java.lang.String display()
Returns the a String to display the Atom formula.

Specified by:
display in class Formula

clashes

public 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.

Specified by:
clashes in class Formula
Parameters:
signature - PanSignature represents the PanSignature to be checked if this Formula clashes with.

getTerms

public java.util.List<Term> getTerms()
This method returns a list of all the Terms this formula contain excluding the variables.

Specified by:
getTerms in class Formula

getAllTerms

public java.util.List<Term> getAllTerms()
This method returns a list of all the Terms this formula contain including the variables.


getPrecedence

public int getPrecedence()
Returns an integer representing the precedence of this formula according to binding conventions

Specified by:
getPrecedence in class Formula