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

Interface Verifier

All Superinterfaces:
AutoCloseable
All Known Implementing Classes:
AdmissibleVerifier, CompleteVerifier, GrounderStableVerifier, NaiveVerifier
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)