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

Class PreferredVerifier

java.lang.Object

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

All Implemented Interfaces:

AutoCloseable, Verifier

public final class PreferredVerifier
extends Object
implements Verifier

Author:

Sebastian

Constructor Summary

Constructors

Constructor	Description
PreferredVerifier(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 interpretation)

Methods inherited from class java.lang.Object

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

Constructor Details

PreferredVerifier

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

Parameters:

stateSupplier - stateSupplier

adf - adf

mapping - 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 interpretation)

Specified by:

verify in interface Verifier

Parameters:

interpretation - interpretation

Returns:

verify

close

public void close()

Specified by:

close in interface AutoCloseable

Specified by:

close in interface Verifier