irafhy::State< Analyser > Class Template Reference

#include <state.h>

Collaboration diagram for irafhy::State< Analyser >:

Public Member Functions
	State ()=default
	constructor More...
	State (Model< Analyser > *modelPtr, capd::C0Rect2Set &initCondition)
	copy constructor with given pointer to the mode and related initial condition More...
	State (const Model< Analyser > *modelPtr, const capd::C0Rect2Set &initCondition)
	constructor with given pointer to the mode and related initial condition More...
	~State ()=default
	destructor More...
bool	operator< (const State< Analyser > &rhs) const
	relational operator used to rearrange states More...
const Model< Analyser > *	modelPtr () const
	get the pointer to the state related mode More...
capd::C0Rect2Set	initCondition () const
	get the initial condition of the state More...

Private Attributes
const Model< Analyser > *	modelPtr_
	pointer to the model More...
capd::C0Rect2Set	initCondition_ = capd::C0Rect2Set(capd::IVector(1))
	initial state set of the mode's simulation More...

Constructor & Destructor Documentation

State() [1/3]

template<typename Analyser>

irafhy::State< Analyser >::State ( )

default

constructor

State() [2/3]

template<typename Analyser>

irafhy::State< Analyser >::State	(	Model< Analyser > *	modelPtr,
		capd::C0Rect2Set &	initCondition
	)

copy constructor with given pointer to the mode and related initial condition

Parameters

modelPtr	pointer to the mode
initCondition	initial condition

State() [3/3]

template<typename Analyser>

irafhy::State< Analyser >::State	(	const Model< Analyser > *	modelPtr,
		const capd::C0Rect2Set &	initCondition
	)

constructor with given pointer to the mode and related initial condition

Parameters

modelPtr	pointer to the mode
initCondition	initial condition

~State()

template<typename Analyser>

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

default

destructor

Member Function Documentation

initCondition()

template<typename Analyser>

capd::C0Rect2Set irafhy::State< Analyser >::initCondition

(

)

const

get the initial condition of the state

Returns

the initial condition of the state

modelPtr()

template<typename Analyser>

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

(

)

const

get the pointer to the state related mode

Returns

the pointer to the mode

operator<()

template<typename Analyser>

bool irafhy::State< Analyser >::operator<

(

const State< Analyser > &

rhs

)

const

relational operator used to rearrange states

Parameters

rhs	right hand side state

Returns

TRUE if current state's mode less than the right hand side one's in dictionary order

Member Data Documentation

initCondition_

template<typename Analyser>

capd::C0Rect2Set irafhy::State< Analyser >::initCondition_ = capd::C0Rect2Set(capd::IVector(1))

private

initial state set of the mode's simulation

modelPtr_

template<typename Analyser>

const Model<Analyser>* irafhy::State< Analyser >::modelPtr_

private

pointer to the model

---

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

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