Class StableReasoner
- java.lang.Object
-
- net.sf.tweety.arg.bipolar.reasoner.necessity.StableReasoner
-
public class StableReasoner extends java.lang.Object
a set of arguments S is stable iff the set of arguments deactivated by S equals A\S, where A is the set of all arguments in the argumentation framework.- Author:
- Lars Bengel
-
-
Constructor Summary
Constructors Constructor Description StableReasoner()
-
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)
-
-