Package net.sf.tweety.logics.commons.syntax

Class QuantifiedFormulaSupport<T extends RelationalFormula>

  • 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 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()

      • 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