public class SatCompleteReasoner extends AbstractSatExtensionReasoner
Constructor and Description |
---|
SatCompleteReasoner(SatSolver solver)
Constructs a new complete reasoner.
|
Modifier and Type | Method and Description |
---|---|
protected PlBeliefSet |
getPropositionalCharacterisationBySemantics(DungTheory aaf,
java.util.Map<Argument,Proposition> in,
java.util.Map<Argument,Proposition> out,
java.util.Map<Argument,Proposition> undec)
Returns the semantic-specific propositional characterization of the underlying Dung
theory, see
getPropositionalCharacterisation . |
getModel, getModels, getPropositionalCharacterisation
getSimpleReasonerForSemantics, query, query
public SatCompleteReasoner(SatSolver solver)
solver
- the SAT solver this reasoner uses.protected PlBeliefSet getPropositionalCharacterisationBySemantics(DungTheory aaf, java.util.Map<Argument,Proposition> in, java.util.Map<Argument,Proposition> out, java.util.Map<Argument,Proposition> undec)
AbstractSatExtensionReasoner
getPropositionalCharacterisation
.getPropositionalCharacterisationBySemantics
in class AbstractSatExtensionReasoner
aaf
- the Dung theoryin
- propositional variables of in arguments.out
- propositional variables of out arguments.undec
- propositional variables of undec arguments.getPropositionalCharacterisation
.