DungEntity

All Superinterfaces:: Formula

All Known Subinterfaces:: Attack, BipolarEntity, Support

All Known Implementing Classes:: AbaAttack, Argument, ArgumentSet, ArgumentStructure, AspicArgument, AspicAttack, Attack, BArgument, BasicArgument, BinaryAttack, BinarySupport, ClaimArgument, Deduction, EAttack, ExtendedAttack, InducedArgument, SetAttack, SetAttack, SetSupport, SimplePlLogicArgument, WeightedSetSupport

public interface DungEntity extends 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 org.tweetyproject.commons.Formula
getSignature

Method Details
- 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.