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

#include <updateFunction.h>

Collaboration diagram for irafhy::UpdateFunction:
Collaboration graph

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...
 

Constructor & Destructor Documentation

◆ UpdateFunction() [1/2]

irafhy::UpdateFunction::UpdateFunction ( )
default

constructor

◆ UpdateFunction() [2/2]

irafhy::UpdateFunction::UpdateFunction ( const Formula formula,
long  index 
)

constructor with given formula and index of the variable

Parameters
formulagiven formula
indexindex of the target variable

References formula(), formula_, index(), and index_.

Here is the call graph for this function:

◆ ~UpdateFunction()

irafhy::UpdateFunction::~UpdateFunction ( )
default

destructor

Member Function Documentation

◆ formula()

Formula irafhy::UpdateFunction::formula ( ) const

get the updating expression

Returns
expression which used to update the target variable

References formula_.

Referenced by irafhy::operator<<(), and UpdateFunction().

◆ index()

long irafhy::UpdateFunction::index ( ) const

get the index of the target variable

Returns
the index of the target variable

References index_.

Referenced by irafhy::operator<<(), and UpdateFunction().

◆ update()

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

Parameters
timetime value in interval form
oriConstraintsoriginal values of the variables
oriParamsoriginal parameters' value
constraintsupdated variables

References formula_, index_, and irafhy::Formula::value().

Here is the call graph for this function:

Member Data Documentation

◆ formula_

Formula irafhy::UpdateFunction::formula_
private

formula which used to calculate the value to update the target variable indicated by the index

Referenced by formula(), update(), and UpdateFunction().

◆ index_

long irafhy::UpdateFunction::index_ = -1
private

index of the variable which shall be updated

Referenced by index(), update(), and UpdateFunction().


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