NaiveVerifier

java.lang.Object

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

All Implemented Interfaces:: AutoCloseable, Verifier

public final class NaiveVerifier extends Object implements Verifier

Verifies if a given interpretation is conflict-free and maximal, i.e. no further undecided arguments in the interpretation can be decided.

Author:: Mathias

Constructor Summary

Constructors

Constructor

Description

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