Class CompleteVerifier

  • All Implemented Interfaces:
    Verifier

    public class CompleteVerifier
    extends java.lang.Object
    implements Verifier
    Author:
    Mathias Hofer
    • Constructor Detail

      • CompleteVerifier

        public CompleteVerifier()
    • Method Detail

      • postVerification

        public boolean postVerification​(SatSolverState state,
                                        PropositionalMapping mapping,
                                        Interpretation candidate,
                                        AbstractDialecticalFramework adf,
                                        boolean verificationResult)
        Description copied from interface: Verifier
        Gets called after every verify call.
        Specified by:
        postVerification in interface Verifier
        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