net.sf.tweety.logics.commons.syntax

Class QuantifiedFormulaSupport<T extends RelationalFormula>

java.lang.Object

net.sf.tweety.logics.commons.syntax.QuantifiedFormulaSupport<T>

Type Parameters:

T - The type of the formulas which are quantified.

public class QuantifiedFormulaSupport<T extends RelationalFormula>
extends Object

This class provides common functionalities for quantified formulas, i.e. forall and exists quantified formulas.

Author:

Matthias Thimm, Anna Gessler

Constructor Summary

Constructors

Constructor and Description
QuantifiedFormulaSupport(T formula, Set<Variable> variables)

Method Summary

Modifier and Type	Method and Description
boolean	containsQuantifier()
Set<? extends Atom>	getAtoms()
T	getFormula() Returns the folFormula this quantified formula ranges over
Set<Functor>	getFunctors()
Set<? extends Predicate>	getPredicates()
Set<Variable>	getQuantifierVariables() Returns the variables of this quantified formula.
Set<Term<?>>	getTerms()
<C extends Term<?>> Set<C>	getTerms(Class<C> cls)
Set<Variable>	getUnboundVariables()
int	hashCode()
boolean	isClosed()
boolean	isClosed(Set<Variable> boundVariables)
boolean	isDnf()
boolean	isLiteral()
boolean	isWellBound()
boolean	isWellBound(Set<Variable> boundVariables)
void	setFormula(T formula)
void	setQuantifierVariables(Set<Variable> variables)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

QuantifiedFormulaSupport

public QuantifiedFormulaSupport(T formula,
                                Set<Variable> variables)

Method Detail

getFormula

public T getFormula()

Returns the folFormula this quantified formula ranges over

Returns:

the folFormula this quantified formula ranges over

getQuantifierVariables

public Set<Variable> getQuantifierVariables()

Returns the variables of this quantified formula.

Returns:

the variables of this quantified formula.

setFormula

public void setFormula(T formula)

setQuantifierVariables

public void setQuantifierVariables(Set<Variable> variables)

isClosed

public boolean isClosed()

isClosed

public boolean isClosed(Set<Variable> boundVariables)

containsQuantifier

public boolean containsQuantifier()

isWellBound

public boolean isWellBound()

isWellBound

public boolean isWellBound(Set<Variable> boundVariables)

getPredicates

public Set<? extends Predicate> getPredicates()

getFunctors

public Set<Functor> getFunctors()

getAtoms

public Set<? extends Atom> getAtoms()

getUnboundVariables

public Set<Variable> getUnboundVariables()

isDnf

public boolean isDnf()

isLiteral

public boolean isLiteral()

getTerms

public Set<Term<?>> getTerms()

getTerms

public <C extends Term<?>> Set<C> getTerms(Class<C> cls)

hashCode

public int hashCode()

Overrides:

hashCode in class Object