Pandora.LogicParser.Formula
Class Quantifier

java.lang.Object
  Pandora.LogicParser.Formula.Formula
      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