irafhy
Interval arithmetic based Reachability Analysis Framework for Hybrid Automaton
irafhy::Transitions< Analyser > Class Template Reference

#include <transitions.h>

Inheritance diagram for irafhy::Transitions< Analyser >:
Inheritance graph
Collaboration diagram for irafhy::Transitions< Analyser >:
Collaboration graph

Public Member Functions

 Transitions ()=default
 default consructor More...
 
 Transitions (const Transitions< Analyser > &transitions)=default
 copy constructor More...
 
 Transitions (Transitions< Analyser > &&transitions) noexcept=default
 move constructor More...
 
 Transitions (const std::vector< Jump< Analyser >> &jumps)
 constructor with given jumps More...
 
 ~Transitions ()=default
 destructor More...
 
const std::vector< Jump< Analyser > > & jumps () const
 get the jumps among modes More...
 
std::vector< Jump< Analyser > > & jumps ()
 get the jumps among modes More...
 
Transitions< Analyser > & operator= (const Transitions< Analyser > &rhs)=default
 assignment operator More...
 
Transitions< Analyser > & operator= (Transitions< Analyser > &&rhs) noexcept=default
 assignment operator More...
 

Private Attributes

std::vector< Jump< Analyser > > jumps_
 jumps among modes More...
 

Constructor & Destructor Documentation

◆ Transitions() [1/4]

template<typename Analyser>
irafhy::Transitions< Analyser >::Transitions ( )
default

default consructor

◆ Transitions() [2/4]

template<typename Analyser>
irafhy::Transitions< Analyser >::Transitions ( const Transitions< Analyser > &  transitions)
default

copy constructor

Parameters
transitionsgiven transition

◆ Transitions() [3/4]

template<typename Analyser>
irafhy::Transitions< Analyser >::Transitions ( Transitions< Analyser > &&  transitions)
defaultnoexcept

move constructor

Parameters
transitionsgiven transitions

◆ Transitions() [4/4]

template<typename Analyser>
irafhy::Transitions< Analyser >::Transitions ( const std::vector< Jump< Analyser >> &  jumps)
explicit

constructor with given jumps

Parameters
jumpsgiven jumps

◆ ~Transitions()

template<typename Analyser>
irafhy::Transitions< Analyser >::~Transitions ( )
default

destructor

Member Function Documentation

◆ jumps() [1/2]

template<typename Analyser>
const std::vector<Jump<Analyser> >& irafhy::Transitions< Analyser >::jumps ( ) const

get the jumps among modes

Returns
jumps among modes

◆ jumps() [2/2]

template<typename Analyser>
std::vector<Jump<Analyser> >& irafhy::Transitions< Analyser >::jumps ( )

get the jumps among modes

Returns
jumps among modes

◆ operator=() [1/2]

template<typename Analyser>
Transitions<Analyser>& irafhy::Transitions< Analyser >::operator= ( const Transitions< Analyser > &  rhs)
default

assignment operator

Parameters
rhsright hand side of the operator
Returns
resulting transition object

◆ operator=() [2/2]

template<typename Analyser>
Transitions<Analyser>& irafhy::Transitions< Analyser >::operator= ( Transitions< Analyser > &&  rhs)
defaultnoexcept

assignment operator

Parameters
rhsright hand side of the operator
Returns
resulting transition object

Member Data Documentation

◆ jumps_

template<typename Analyser>
std::vector<Jump<Analyser> > irafhy::Transitions< Analyser >::jumps_
private

jumps among modes


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