Class QuantifiedFormulaSupport<T extends RelationalFormula>

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

    • QuantifiedFormulaSupport

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

    • 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