Class SatCompleteReasoner

    • Constructor Detail

      • SatCompleteReasoner

        public SatCompleteReasoner​(SatSolver solver)
        Constructs a new complete reasoner.
        Parameters:
        solver - the SAT solver this reasoner uses.
    • Method Detail

      • query

        public java.lang.Boolean query​(DungTheory beliefbase,
                                       Argument formula,
                                       InferenceMode inferenceMode)
        Description copied from class: AbstractExtensionReasoner
        Queries the given AAF for the given argument using the given inference type.
        Overrides:
        query in class AbstractExtensionReasoner
        Parameters:
        beliefbase - an AAF
        formula - a single argument
        inferenceMode - either InferenceMode.SKEPTICAL or InferenceMode.CREDULOUS
        Returns:
        "true" if the argument is accepted