Package org.tweetyproject.arg.adf.reasoner.sat.verifier

Class CompleteVerifier

java.lang.Object

org.tweetyproject.arg.adf.reasoner.sat.verifier.CompleteVerifier

All Implemented Interfaces:

AutoCloseable, Verifier

public final class CompleteVerifier
extends Object
implements Verifier

Author:

Mathias Hofer

Constructor Summary

Constructors

Constructor	Description
CompleteVerifier(Supplier<SatSolverState> stateSupplier, AbstractDialecticalFramework adf, PropositionalMapping mapping)

Method Summary

Modifier and Type	Method	Description
void	close()
void	prepare()	Performs initializations and must be called before the first Verifier.verify(Interpretation) call.
boolean	verify(Interpretation candidate)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

CompleteVerifier

public CompleteVerifier(Supplier<SatSolverState> stateSupplier,
 AbstractDialecticalFramework adf,
 PropositionalMapping mapping)

Parameters:

stateSupplier -

adf -

mapping -

Method Details

prepare

public void prepare()

Description copied from interface: Verifier

Performs initializations and must be called before the first Verifier.verify(Interpretation) call.

Specified by:

prepare in interface Verifier

verify

public boolean verify(Interpretation candidate)

Specified by:

verify in interface Verifier

close

public void close()

Specified by:

close in interface AutoCloseable

Specified by:

close in interface Verifier