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

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

Author:

Matthias Thimm, Anna Gessler

Field Summary

Fields

Modifier and Type	Field and Description
private T	innerFormula The formula this quantified formula ranges over.
private java.util.Set<Variable>	quantifier_variables The variables of this quantified folFormula.

Constructor Summary

Constructors

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

Method Summary

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

Methods inherited from class java.lang.Object

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

Field Detail

innerFormula

private T extends RelationalFormula innerFormula

The formula this quantified formula ranges over.

quantifier_variables

private java.util.Set<Variable> quantifier_variables

The variables of this quantified folFormula.

Constructor Detail

QuantifiedFormulaSupport

public QuantifiedFormulaSupport(T formula,
                                java.util.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 java.util.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(java.util.Set<Variable> variables)

isClosed

public boolean isClosed()

isClosed

public boolean isClosed(java.util.Set<Variable> boundVariables)

containsQuantifier

public boolean containsQuantifier()

isWellBound

public boolean isWellBound()

isWellBound

public boolean isWellBound(java.util.Set<Variable> boundVariables)

getPredicates

public java.util.Set<? extends Predicate> getPredicates()

getFunctors

public java.util.Set<Functor> getFunctors()

getAtoms

public java.util.Set<? extends Atom> getAtoms()

getUnboundVariables

public java.util.Set<Variable> getUnboundVariables()

isDnf

public boolean isDnf()

isLiteral

public boolean isLiteral()

getTerms

public java.util.Set<Term<?>> getTerms()

getTerms

public <C extends Term<?>> java.util.Set<C> getTerms(java.lang.Class<C> cls)

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object