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,Support
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 LdoFormulagetLdoFormula()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.
-
-