Package org.tweetyproject.logics.commons.syntax

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