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)

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