irafhy
Interval arithmetic based Reachability Analysis Framework for Hybrid Automaton
constant.h
Go to the documentation of this file.
1 #ifndef REPRESENTATION_FORMAL_BASIC_ENTITY_CONSTANT_H
2 #define REPRESENTATION_FORMAL_BASIC_ENTITY_CONSTANT_H
3 
4 #include <functional>
5 #include <capd/capdlib.h>
6 
7 namespace irafhy
8 {
9  class Constant
10  {
11  private:
15  double value_;
16 
17  public:
21  Constant();
26  explicit Constant(double value);
30  ~Constant() = default;
35  [[nodiscard]] std::function<
36  capd::autodiff::Node(capd::autodiff::Node, capd::autodiff::Node[], int, capd::autodiff::Node[], int)>
37  arithmetic() const;
45  capd::interval value(const capd::interval& t,
46  const std::vector<capd::interval>& in,
47  const std::vector<capd::interval>& params);
54  friend std::ostream& operator<<(std::ostream& out, const Constant& rhs);
55  };
56 } // namespace irafhy
57 #endif //REPRESENTATION_FORMAL_BASIC_ENTITY_CONSTANT_H
friend std::ostream & operator<<(std::ostream &out, const Constant &rhs)
out the given constant to the standard out stream
Definition: constant.cpp:28
capd::interval value(const capd::interval &t, const std::vector< capd::interval > &in, const std::vector< capd::interval > &params)
get the value of the current constant
Definition: constant.cpp:21
std::function< capd::autodiff::Node(capd::autodiff::Node, capd::autodiff::Node[], int, capd::autodiff::Node[], int)> arithmetic() const
get the arithmetic function of the constant item
Definition: constant.cpp:11
Definition: condition.cpp:3
~Constant()=default
destructor
Definition: constant.h:9
double value_
value of the current constant
Definition: constant.h:15
Constant()
constructor
Definition: constant.cpp:6