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 Details

    • prepare

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

      boolean verify(Interpretation interpretation)
      Parameters:
      interpretation - interpretation
      Returns:
      verify
    • close

      void close()
      Specified by:
      close in interface AutoCloseable