Class LdoFormula

    • Constructor Detail

      • LdoFormula

        public LdoFormula()
    • Method Detail

      • combineWithAnd

        public LdoConjunction combineWithAnd​(Conjunctable f)
        Description copied from interface: Conjunctable
        Returns a conjunction of this and the given formula.
        Specified by:
        combineWithAnd in interface Conjunctable
        f - a formula to be combined with AND and this.
        a conjunction of this and the given formula.
      • getLiterals

        public abstract java.util.Set<LdoFormula> getLiterals()
        Returns all literals, i.e. all formulas of the form "a" or "!a" where "a" is a proposition, that appear in this formula.
        all literals appearing in this formula.
      • getDividers

        public java.util.Collection<DungTheory> getDividers​(DungTheory theory,
                                                            Semantics semantics)
        Returns the dividers for this formula, i.e. all sub-theories of the given theory such that this formula is satisfied by this sub-theory.
        theory - some argumentation framework
        semantics - some semantics
        the set of dividers of this formula
      • isLiteral

        public boolean isLiteral()
        Specified by:
        isLiteral in interface SimpleLogicalFormula
        true if the formula represents a literal in the language or false otherwise
      • getSignature

        public DungSignature getSignature()
        Description copied from interface: Formula
        Returns the signature of the language of this formula.
        Specified by:
        getSignature in interface Formula
        the signature of the language of this formula.
      • equals

        public abstract boolean equals​(java.lang.Object other)
        Specified by:
        equals in interface SimpleLogicalFormula
        equals in class java.lang.Object
      • hashCode

        public abstract int hashCode()
        Specified by:
        hashCode in interface SimpleLogicalFormula
        hashCode in class java.lang.Object