public class SimpleIdealReasoner extends AbstractExtensionReasoner
Constructor and Description |
---|
SimpleIdealReasoner() |
Modifier and Type | Method and Description |
---|---|
Extension |
getModel(DungTheory bbase)
Returns a single (dedicated) model of the given belief base.
|
java.util.Collection<Extension> |
getModels(DungTheory bbase)
Returns a characterizing model of the given belief base
|
getSimpleReasonerForSemantics, query, query
public java.util.Collection<Extension> getModels(DungTheory bbase)
ModelProvider
getModels
in interface ModelProvider<Argument,DungTheory,Extension>
getModels
in class AbstractExtensionReasoner
bbase
- some belief basepublic Extension getModel(DungTheory bbase)
ModelProvider
getModel
in interface ModelProvider<Argument,DungTheory,Extension>
getModel
in class AbstractExtensionReasoner