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

Class AdmissibleVerifier

java.lang.Object

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

All Implemented Interfaces:

AutoCloseable, Verifier

public final class AdmissibleVerifier
extends Object
implements Verifier

Author:

Mathias Hofer

Constructor Summary

Constructors

Constructor	Description
AdmissibleVerifier(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

AdmissibleVerifier

public AdmissibleVerifier(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 candidate)

Specified by:

verify in interface Verifier

close

public void close()

Specified by:

close in interface AutoCloseable

Specified by:

close in interface Verifier