Interface ArgumentationFramework
- All Superinterfaces:
BeliefBase
- All Known Implementing Classes:
DungTheory
,ExecutableDungTheory
,PerceivableStructuredArgumentationFramework
,ProbabilisticArgumentationFramework
,SetAf
,SocialAbstractArgumentationFramework
,StructuredArgumentationFramework
,WeightedDungTheory
- Author:
- Matthias Thimm
-
Method Summary
Modifier and TypeMethodDescriptionboolean
containsAll(Collection<?> c)
getNodes()
boolean
isAttacked(Argument a, Extension ext)
Methods inherited from interface org.tweetyproject.commons.BeliefBase
getMinimalSignature, toString
-
Method Details
-
containsAll
- Parameters:
c
- parameter- Returns:
- containsAll
-
isAttacked
- Parameters:
a
- parameterext
- parameter- Returns:
- isAttacked
-
getNodes
Collection<Argument> getNodes()
-