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
-
-
Constructor Summary
Constructors Constructor Description QuantifiedFormulaSupport(T formula, java.util.Set<Variable> variables)
-
Method Summary
Modifier and Type Method Description boolean
containsQuantifier()
java.util.Set<? extends Atom>
getAtoms()
T
getFormula()
Returns the folFormula this quantified formula ranges overjava.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)
-
-
-
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 classjava.lang.Object
-
-