public class SimpleCompleteReasoner extends AbstractExtensionReasoner
Constructor and Description |
---|
SimpleCompleteReasoner() |
Modifier and Type | Method and Description |
---|---|
private java.util.Set<Extension> |
getCompleteExtensions(DungTheory dungTheory,
Extension ext,
java.util.Collection<Argument> remaining)
Auxiliary method to compute all complete extensions
|
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
private java.util.Set<Extension> getCompleteExtensions(DungTheory dungTheory, Extension ext, java.util.Collection<Argument> remaining)
arguments
- a set of argumentsremaining
- arguments that still have to be considered to be part of an extension