Interface 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
,SetAttack
,SetAttack
,SetSupport
,SimplePlLogicArgument
This interface captures common methods of arguments and attacks of
abstract argumentation theories.
- Author:
- Matthias Thimm
-
Method Summary
Modifier and TypeMethodDescriptionReturns 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.
-