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

Interface Verifier

All Superinterfaces:
AutoCloseable
All Known Implementing Classes:
CompleteVerifier, NaiveVerifier, PreferredVerifier, StableVerifier
public interface Verifier extends AutoCloseable
Is used to verify a certain property of an Interpretation, e.g. admissibility.
Author:
Mathias Hofer

  • Method Summary

    Modifier and Type
    Method
    Description
    void
    close()
     
    void
    prepare()
    Performs initializations and must be called before the first verify(Interpretation) call.
    boolean
    verify(Interpretation interpretation)
    Verifies the given interpretation.

  • Method Details

    • prepare

      void prepare()
      Performs initializations and must be called before the first verify(Interpretation) call.

    • verify

      boolean verify(Interpretation interpretation)
      Verifies the given interpretation.
      Parameters:
      interpretation - the interpretation to verify
      Returns:
      whether the interpretation satisfies the verifier's property

    • close

      void close()
      Specified by:
      close in interface AutoCloseable