Package net.sf.tweety.arg.dung.syntax
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
,Deduction
,SetAttack
,SetSupport
,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.
-
-