Class CompleteReasoner
- java.lang.Object
-
- net.sf.tweety.arg.bipolar.reasoner.necessity.CompleteReasoner
-
public class CompleteReasoner extends java.lang.Object
a set of arguments S is complete iff it is admissible and all arguments defended by S are in S.- Author:
- Lars Bengel
-
-
Constructor Summary
Constructors Constructor Description CompleteReasoner()
-
Method Summary
Modifier and Type Method Description ArgumentSet
getModel(NecessityArgumentationFramework bbase)
java.util.Collection<ArgumentSet>
getModels(NecessityArgumentationFramework bbase)
-
-
-
Method Detail
-
getModels
public java.util.Collection<ArgumentSet> getModels(NecessityArgumentationFramework bbase)
-
getModel
public ArgumentSet getModel(NecessityArgumentationFramework bbase)
-
-