public class SimpleSccCompleteReasoner extends AbstractExtensionReasoner
Constructor and Description |
---|
SimpleSccCompleteReasoner() |
Modifier and Type | Method and Description |
---|---|
private java.util.Set<Extension> |
computeExtensionsViaSccs(DungTheory theory,
java.util.List<java.util.Collection<Argument>> sccs,
int idx,
java.util.Collection<Argument> in,
java.util.Collection<Argument> out,
java.util.Collection<Argument> undec)
Computes extensions recursively following the SCC structure.
|
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> computeExtensionsViaSccs(DungTheory theory, java.util.List<java.util.Collection<Argument>> sccs, int idx, java.util.Collection<Argument> in, java.util.Collection<Argument> out, java.util.Collection<Argument> undec)
theory
- the theorysccs
- all SCCs topologically sortedidx
- the current SCC to be processedin
- all arguments currently inout
- all arguments currently outundec
- all arguments currently undecided