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
4
#include <
irafhy/utility/definition/enum.h
>
5
#include <
irafhy/utility/definition/metaStructure.h
>
6
#include <
irafhy/representation/formal/basic/condition.h
>
7
#include <
irafhy/representation/formal/basic/system.h
>
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
irafhy::Time
struct used to hold the duration information
Definition:
metaStructure.h:14
irafhy::Analyser::compute
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 ...
irafhy::Settings
Definition:
settings.h:12
enum.h
condition.h
irafhy
Definition:
condition.cpp:3
irafhy::System
Definition:
system.h:11
system.h
irafhy::Analyser
Definition:
analyser.h:12
metaStructure.h
irafhy::Analyser::~Analyser
virtual ~Analyser()=default
destructor