irafhy
Interval arithmetic based Reachability Analysis Framework for Hybrid Automaton
verifier.h
Go to the documentation of this file.
1 #ifndef VERIFIER_H
2 #define VERIFIER_H
3 
4 #include <irafhy/settings.h>
5 
6 namespace irafhy
7 {
8  class Verifier
9  {
10  public:
14  virtual ~Verifier() = default;
21  virtual bool verify(const Settings& settings, const void* hybridAutomaton) const = 0;
22  };
23 } // namespace irafhy
24 #endif // VERIFIER_H
irafhy::Settings
Definition: settings.h:12
irafhy::Verifier::~Verifier
virtual ~Verifier()=default
destructor
irafhy
Definition: condition.cpp:3
irafhy::Verifier
Definition: verifier.h:8
irafhy::Verifier::verify
virtual bool verify(const Settings &settings, const void *hybridAutomaton) const =0
check if the simulation should be terminated or not