Package net.sf.tweety.arg.dung.syntax

Interface DungEntity

  • All Superinterfaces:
    net.sf.tweety.commons.Formula
    All Known Implementing Classes:
    Argument, Attack
    public interface DungEntity
extends net.sf.tweety.commons.Formula
    This interface captures common methods of arguments and attacks of abstract argumentation theories.
    Author:
    Matthias Thimm

    • Method Summary

      Modifier and Type Method Description
      LdoFormula getLdoFormula()
      Returns a logical representation of this entity in LDO (Logic of dialectical outcomes, cf.

      • Methods inherited from interface net.sf.tweety.commons.Formula

        getSignature

    • Method Detail

      • getLdoFormula

        LdoFormula getLdoFormula()
        Returns a logical representation of this entity in LDO (Logic of dialectical outcomes, cf. [Hunter, Thimm, 2015])
        Returns:
        the logical formula of this entity.