![]() |
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().