irafhy
Interval arithmetic based Reachability Analysis Framework for Hybrid Automaton
analyser.h
Go to the documentation of this file.
1 #ifndef ANALYSER_H
2 #define ANALYSER_H
3 
8 
9 namespace irafhy
10 {
11  class Settings;
12  class Analyser
13  {
14  public:
18  virtual ~Analyser() = default;
27  [[nodiscard]] virtual capd::C0Rect2Set compute(const Time& duration,
28  const System& system,
29  const capd::C0Rect2Set& initCondition,
30  const Settings& settings) const = 0;
31  };
32 } // namespace irafhy
33 #endif //ANALYSER_H
struct used to hold the duration information
Definition: metaStructure.h:14
virtual capd::C0Rect2Set compute(const Time &duration, const System &system, const capd::C0Rect2Set &initCondition, const Settings &settings) const =0
get the reachable condition with given system, initial condition and setting for specified duration ...
Definition: settings.h:12
Definition: condition.cpp:3
Definition: system.h:11
Definition: analyser.h:12
virtual ~Analyser()=default
destructor