Class GroundedReasoner
- java.lang.Object
-
- net.sf.tweety.arg.bipolar.reasoner.necessity.GroundedReasoner
-
public class GroundedReasoner extends java.lang.Object
the grounded extension of bbase is the least fixed point of the characteristic function.- Author:
- Lars Bengel
-
-
Constructor Summary
Constructors Constructor Description GroundedReasoner()
-
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)
-
-