Interface Verifier

    • Method Detail

      • postVerification

        boolean postVerification​(SatSolverState state,
                                 PropositionalMapping mapping,
                                 Interpretation candidate,
                                 AbstractDialecticalFramework adf,
                                 boolean verificationResult)
        Gets called after every verify call.
        Parameters:
        state - the state used by the previous verify call
        mapping - the propositional mapping of the ADF
        candidate - the candidate of the previous verify call
        adf - the ADF
        verificationResult - the return value of the previous verify call
        Returns:
        true if the state was consumed, hence we need a new one for the subsequent verifications, false if we can reuse the state