Interface Verifier
-
- All Known Implementing Classes:
AdmissibleVerifier
,CompleteVerifier
,GrounderStableVerifier
public interface Verifier
Is used to verify a certain property of anInterpretation
, e.g. admissibility.- Author:
- Mathias Hofer
-
-
Method Summary
Modifier and Type Method Description boolean
postVerification(SatSolverState state, PropositionalMapping mapping, Interpretation candidate, AbstractDialecticalFramework adf, boolean verificationResult)
Gets called after everyverify
call.void
prepareState(SatSolverState state, PropositionalMapping mapping, AbstractDialecticalFramework adf)
Gets called exactly once for eachSatSolverState
before the first use inverify
.boolean
verify(SatSolverState state, PropositionalMapping mapping, Interpretation candidate, AbstractDialecticalFramework adf)
Gets called by thePipeline
to verify if the computed candidateInterpretation
asserts a certain property.
-
-
-
Method Detail
-
prepareState
void prepareState(SatSolverState state, PropositionalMapping mapping, AbstractDialecticalFramework adf)
Gets called exactly once for eachSatSolverState
before the first use inverify
. This method exists to perform initializations on each state.- Parameters:
state
- the state on which we perform initializationsmapping
- the propositional mapping of the ADFadf
- the ADF
-
verify
boolean verify(SatSolverState state, PropositionalMapping mapping, Interpretation candidate, AbstractDialecticalFramework adf)
Gets called by thePipeline
to verify if the computed candidateInterpretation
asserts a certain property.- Parameters:
state
- the initialized and perhaps shared statemapping
- the propositional mapping of the ADFcandidate
- the candidate to verifyadf
- the ADF- Returns:
- true if we could verify the property for
candidate
, false otherwise
-
postVerification
boolean postVerification(SatSolverState state, PropositionalMapping mapping, Interpretation candidate, AbstractDialecticalFramework adf, boolean verificationResult)
Gets called after everyverify
call.- Parameters:
state
- the state used by the previous verify callmapping
- the propositional mapping of the ADFcandidate
- the candidate of the previous verify calladf
- the ADFverificationResult
- 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
-
-