Class CompleteVerifier
java.lang.Object
org.tweetyproject.arg.adf.reasoner.sat.verifier.CompleteVerifier
- All Implemented Interfaces:
AutoCloseable
,Verifier
- Author:
- Mathias Hofer
-
Constructor Summary
ConstructorDescriptionCompleteVerifier
(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping) -
Method Summary
Modifier and TypeMethodDescriptionvoid
close()
void
prepare()
Performs initializations and must be called before the firstVerifier.verify(Interpretation)
call.boolean
verify
(Interpretation candidate)
-
Constructor Details
-
CompleteVerifier
public CompleteVerifier(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping) - Parameters:
stateSupplier
- stateSupplieradf
- adfmapping
- mapping
-
-
Method Details
-
prepare
public void prepare()Description copied from interface:Verifier
Performs initializations and must be called before the firstVerifier.verify(Interpretation)
call. -
verify
-
close
public void close()- Specified by:
close
in interfaceAutoCloseable
- Specified by:
close
in interfaceVerifier
-