Raptor.LogicParser.Formula
Class Quantifier

java.lang.Object
  Raptor.LogicParser.Formula.Formula
      Raptor.LogicParser.Formula.Quantifier

All Implemented Interfaces:

java.io.Serializable

Direct Known Subclasses:

Exists, Forall

public abstract class Quantifier
extends Formula

The 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 pSignature) 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() Returns the list of all Terms in the Formula the quanitfier is applied to.
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.
abstract Var	getVar() Returns the bound variable of the quantifier formula.

Methods inherited from class Raptor.LogicParser.Formula.Formula

addToSignature, check, checkSub, concatNoDup, getAtoms, getLeft, getRight, getTuples, getVars, higher, map, regenerate, s, setAtoms, setLeft, setRight, setTuples, setVars, showTuples, ST, sub, subAll, subAll, subBool, subBoolRes

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 pSignature)

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:

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

Specified by:

getTerms in class Formula

getAllTerms

public java.util.List<Term> getAllTerms()

Returns the list of all Terms in the Formula the quanitfier is applied to.

getPrecedence

public int getPrecedence()

Returns an integer representing the precedence of this formula according to binding conventions

Specified by:

getPrecedence in class Formula