Class ClosureReasoner
- java.lang.Object
-
- net.sf.tweety.arg.bipolar.reasoner.deductive.ClosureReasoner
-
public class ClosureReasoner extends java.lang.Object
a set of arguments S is closed under the support relation iff all arguments supported by an element of S are in S.- Author:
- Lars Bengel
-
-
Constructor Summary
Constructors Constructor Description ClosureReasoner()
-
Method Summary
Modifier and Type Method Description ArgumentSet
getModel(DeductiveArgumentationFramework bbase)
java.util.Collection<ArgumentSet>
getModels(DeductiveArgumentationFramework bbase)
-
-
-
Method Detail
-
getModels
public java.util.Collection<ArgumentSet> getModels(DeductiveArgumentationFramework bbase)
-
getModel
public ArgumentSet getModel(DeductiveArgumentationFramework bbase)
-
-