irafhy::Locations< Analyser > Class Template Reference

#include <locations.h>

Inheritance diagram for irafhy::Locations< Analyser >:

Collaboration diagram for irafhy::Locations< Analyser >:

Public Member Functions
	Locations ()=default
	constructor More...
	Locations (const std::vector< Model< Analyser >> &models)
	constructor with given modes More...
	~Locations ()=default
	destructor More...
std::vector< Model< Analyser > >	models () const
	get the modes of the hybrid automaton More...
const Model< Analyser > *	modelPtr (const std::string &modelID) const
	get the pointer of the mode with given id More...
void	constructJumps (std::vector< Jump< Analyser >> &jumps)
	construct the jumps among given modes More...

Private Attributes
std::vector< Model< Analyser > >	models_
	modes of the hybrid automaton More...

Constructor & Destructor Documentation

Locations() [1/2]

template<typename Analyser>

irafhy::Locations< Analyser >::Locations ( )

default

constructor

Locations() [2/2]

template<typename Analyser>

irafhy::Locations< Analyser >::Locations ( const std::vector< Model< Analyser >> &  models )

explicit

constructor with given modes

Parameters

models

given modes

~Locations()

template<typename Analyser>

irafhy::Locations< Analyser >::~Locations ( )

default

destructor

Member Function Documentation

constructJumps()

template<typename Analyser>

void irafhy::Locations< Analyser >::constructJumps

(

std::vector< Jump< Analyser >> &

jumps

)

construct the jumps among given modes

Parameters

jumps

given modes

modelPtr()

template<typename Analyser>

const Model<Analyser>* irafhy::Locations< Analyser >::modelPtr

(

const std::string &

modelID

)

const

get the pointer of the mode with given id

Parameters

modelID

id of the target mode

Returns

pointer of target mode with given id, nullptr if the no mode with given id

models()

template<typename Analyser>

std::vector<Model<Analyser> > irafhy::Locations< Analyser >::models

(

)

const

get the modes of the hybrid automaton

Returns

the modes of the hybrid automaton

Member Data Documentation

models_

template<typename Analyser>

std::vector<Model<Analyser> > irafhy::Locations< Analyser >::models_

private

modes of the hybrid automaton

---

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

• /home/jianqiang/CLionProjects/irafhy/include/irafhy/representation/formal/hybridAutomaton/locations/locations.h