StableVerifier

java.lang.Object

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

All Implemented Interfaces:: AutoCloseable, Verifier

public final class StableVerifier 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

StableVerifier(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
- StableVerifier
  
  public StableVerifier(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
  
  Parameters:
  
  candidate - interpretation
  
  Returns:
  
  verify
- close
  
  public void close()
  
  Specified by:
  
  close in interface AutoCloseable
  
  Specified by:
  
  close in interface Verifier