1 #ifndef REPRESENTATION_FORMAL_BASIC_ENTITY_CONSTANT_H 2 #define REPRESENTATION_FORMAL_BASIC_ENTITY_CONSTANT_H 5 #include <capd/capdlib.h> 35 [[nodiscard]] std::function<
36 capd::autodiff::Node(capd::autodiff::Node, capd::autodiff::Node[],
int, capd::autodiff::Node[],
int)>
45 capd::interval
value(
const capd::interval& t,
46 const std::vector<capd::interval>& in,
47 const std::vector<capd::interval>& params);
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 > ¶ms)
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
double value_
value of the current constant
Definition: constant.h:15
Constant()
constructor
Definition: constant.cpp:6