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

Class GrounderStableVerifier

java.lang.Object

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

All Implemented Interfaces:

AutoCloseable, Verifier

public final class GrounderStableVerifier
extends Object
implements Verifier

Verifies if a given interpretation is stable by comparing it with the ground interpretation of its omega reduct.

Author:

Mathias Hofer

Constructor Summary

Constructors

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

GrounderStableVerifier

public GrounderStableVerifier(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