Package net.sf.tweety.arg.dung.syntax
Interface DungEntity
-
- All Superinterfaces:
Formula
- All Known Implementing Classes:
ABAAttack
,Argument
,ArgumentStructure
,AspicArgument
,AspicAttack
,Attack
,BasicArgument
,Deduction
,SimplePlLogicArgument
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 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.
-
-