irafhy
Interval arithmetic based Reachability Analysis Framework for Hybrid Automaton
irafhy::Constant Class Reference

#include <constant.h>

Collaboration diagram for irafhy::Constant:
Collaboration graph

Public Member Functions

 Constant ()
 constructor More...
 
 Constant (double value)
 constructor with given value More...
 
 ~Constant ()=default
 destructor More...
 
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 More...
 
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 More...
 

Private Attributes

double value_
 value of the current constant More...
 

Friends

std::ostream & operator<< (std::ostream &out, const Constant &rhs)
 out the given constant to the standard out stream More...
 

Constructor & Destructor Documentation

◆ Constant() [1/2]

irafhy::Constant::Constant ( )

constructor

References value_.

◆ Constant() [2/2]

irafhy::Constant::Constant ( double  value)
explicit

constructor with given value

Parameters
valuethe value of the constant

References value(), and value_.

Here is the call graph for this function:

◆ ~Constant()

irafhy::Constant::~Constant ( )
default

destructor

Member Function Documentation

◆ arithmetic()

std::function< capd::autodiff::Node(capd::autodiff::Node, capd::autodiff::Node[], int, capd::autodiff::Node[], int)> irafhy::Constant::arithmetic ( ) const

get the arithmetic function of the constant item

Returns
the arithmetic function of the constant item

References value_.

◆ value()

capd::interval irafhy::Constant::value ( const capd::interval &  t,
const std::vector< capd::interval > &  in,
const std::vector< capd::interval > &  params 
)

get the value of the current constant

Parameters
ttime variable
invalues of the given variables
paramsother necessary parameters
Returns
the value of the current constant

References value_.

Referenced by Constant().

Friends And Related Function Documentation

◆ operator<<

std::ostream& operator<< ( std::ostream &  out,
const Constant rhs 
)
friend

out the given constant to the standard out stream

Parameters
outgiven out stream
rhsgiven constant
Returns
resulting out stream

Member Data Documentation

◆ value_

double irafhy::Constant::value_
private

value of the current constant

Referenced by arithmetic(), Constant(), irafhy::operator<<(), and value().


The documentation for this class was generated from the following files: