![]() |
irafhy
Interval arithmetic based Reachability Analysis Framework for Hybrid Automaton
|
#include <updateFunction.h>

Public Member Functions | |
| UpdateFunction ()=default | |
| constructor More... | |
| UpdateFunction (const Formula &formula, long index) | |
| constructor with given formula and index of the variable More... | |
| ~UpdateFunction ()=default | |
| destructor More... | |
| long | index () const |
| get the index of the target variable More... | |
| Formula | formula () const |
| get the updating expression More... | |
| void | update (const capd::interval &time, const std::vector< capd::interval > &oriConstraints, const std::vector< capd::interval > &oriParams, std::vector< capd::interval > &constraints) const |
| update the target variable with given values More... | |
Private Attributes | |
| long | index_ = -1 |
| index of the variable which shall be updated More... | |
| Formula | formula_ |
| formula which used to calculate the value to update the target variable indicated by the index More... | |
|
default |
constructor
| irafhy::UpdateFunction::UpdateFunction | ( | const Formula & | formula, |
| long | index | ||
| ) |
|
default |
destructor
| Formula irafhy::UpdateFunction::formula | ( | ) | const |
get the updating expression
References formula_.
Referenced by irafhy::operator<<(), and UpdateFunction().
| long irafhy::UpdateFunction::index | ( | ) | const |
get the index of the target variable
References index_.
Referenced by irafhy::operator<<(), and UpdateFunction().
| void irafhy::UpdateFunction::update | ( | const capd::interval & | time, |
| const std::vector< capd::interval > & | oriConstraints, | ||
| const std::vector< capd::interval > & | oriParams, | ||
| std::vector< capd::interval > & | constraints | ||
| ) | const |
update the target variable with given values
| time | time value in interval form |
| oriConstraints | original values of the variables |
| oriParams | original parameters' value |
| constraints | updated variables |
References formula_, index_, and irafhy::Formula::value().

|
private |
formula which used to calculate the value to update the target variable indicated by the index
Referenced by formula(), update(), and UpdateFunction().
|
private |
index of the variable which shall be updated
Referenced by index(), update(), and UpdateFunction().