#include <model.h>

Collaboration diagram for irafhy::Jump< Analyser >:

Public Member Functions
	Jump ()=default
	constructor More...

	Jump (const Model< Analyser > &source, const Model< Analyser > &target, const Condition &guardCondition, const std::vector< UpdateFunction > &resetMap)
	constructor with given information More...

	~Jump ()=default
	destructor More...

void	setSource (Model< Analyser > *source)
	set the source of the jump with given source More...

void	setSourceName (const std::string &sourceName)
	set related name of the source More...

void	setTarget (Model< Analyser > *target)
	set the target of the jump with given target More...

void	setTargetName (const std::string &targetName)
	set related name of the target More...

void	setGuardCondition (const Condition &guardCondition)
	set the guard condition of the jump More...

void	setResetMap (const std::vector< UpdateFunction > &resetMap)
	set the reset map of the jump More...

std::string	sourceName () const
	get the name of the source mode More...

std::string	targetName () const
	get the name of the target mode More...

Model< Analyser > *	source () const
	get the pointer to the source mode More...

Model< Analyser > *	target () const
	get the pointer to the target mode More...

Condition	guardCondition () const
	get the guard condition of the jump More...

std::vector< UpdateFunction >	resetMap () const
	get the reset map of the jump More...

bool	trigger (const Condition &in, Condition &out, const capd::interval &time) const
	check if the given condition trigger the jump, if TRUE, output the triggered condition or not More...

Private Attributes
std::string	sourceName_
	id of the source mode More...

std::string	targetName_
	id of the target mode More...

Model< Analyser > *	source_
	pointer to the source mode More...

Model< Analyser > *	target_
	pointer to the target mode More...

Condition	guardCondition_
	guard condition of the jump More...

std::vector< UpdateFunction >	resetMap_
	reset map of the jump More...

Constructor & Destructor Documentation

◆ Jump() [1/2]

template<typename Analyser>

irafhy::Jump< Analyser >::Jump ( )

default

constructor

◆ Jump() [2/2]

template<typename Analyser>

irafhy::Jump< Analyser >::Jump	(	const Model< Analyser > &	source,
		const Model< Analyser > &	target,
		const Condition &	guardCondition,
		const std::vector< UpdateFunction > &	resetMap
	)

constructor with given information

Parameters

source	source mode
target	target mode
guardCondition	guard condition of the mode
resetMap	reset map of the mode

◆ ~Jump()

template<typename Analyser>

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

default

destructor

Member Function Documentation

◆ guardCondition()

template<typename Analyser>

Condition irafhy::Jump< Analyser >::guardCondition ( ) const

get the guard condition of the jump

Returns: the guard condition of the jump

◆ resetMap()

template<typename Analyser>

std::vector<UpdateFunction> irafhy::Jump< Analyser >::resetMap ( ) const

get the reset map of the jump

Returns: the reset map of the jump

◆ setGuardCondition()

template<typename Analyser>

void irafhy::Jump< Analyser >::setGuardCondition ( const Condition & guardCondition )

set the guard condition of the jump

Parameters

guardCondition given guard condition

◆ setResetMap()

template<typename Analyser>

void irafhy::Jump< Analyser >::setResetMap ( const std::vector< UpdateFunction > & resetMap )

set the reset map of the jump

Parameters

resetMap given reset map

◆ setSource()

template<typename Analyser>

void irafhy::Jump< Analyser >::setSource ( Model< Analyser > * source )

set the source of the jump with given source

Parameters

source given source

◆ setSourceName()

template<typename Analyser>

void irafhy::Jump< Analyser >::setSourceName ( const std::string & sourceName )

set related name of the source

Parameters

sourceName given name

◆ setTarget()

template<typename Analyser>

void irafhy::Jump< Analyser >::setTarget ( Model< Analyser > * target )

set the target of the jump with given target

Parameters

target given target

◆ setTargetName()

template<typename Analyser>

void irafhy::Jump< Analyser >::setTargetName ( const std::string & targetName )

set related name of the target

Parameters

targetName given name

◆ source()

template<typename Analyser>

Model<Analyser>* irafhy::Jump< Analyser >::source ( ) const

get the pointer to the source mode

Returns: the pointer to the source mode

◆ sourceName()

template<typename Analyser>

std::string irafhy::Jump< Analyser >::sourceName ( ) const

get the name of the source mode

Returns: the name of the source mode

◆ target()

template<typename Analyser>

Model<Analyser>* irafhy::Jump< Analyser >::target ( ) const

get the pointer to the target mode

Returns: the pointer to the target mode

◆ targetName()

template<typename Analyser>

std::string irafhy::Jump< Analyser >::targetName ( ) const

get the name of the target mode

Returns: the name of the target mode

◆ trigger()

template<typename Analyser>

bool irafhy::Jump< Analyser >::trigger	(	const Condition &	in,
		Condition &	out,
		const capd::interval &	time
	)		const

check if the given condition trigger the jump, if TRUE, output the triggered condition or not

Parameters

in	given input condition
out	resulting triggered condition if necessary
time	current time in interval form

Returns: TRUE if the condition trigger the jump

Member Data Documentation

◆ guardCondition_

template<typename Analyser>

Condition irafhy::Jump< Analyser >::guardCondition_

private

guard condition of the jump

◆ resetMap_

template<typename Analyser>

std::vector<UpdateFunction> irafhy::Jump< Analyser >::resetMap_

private

reset map of the jump

◆ source_

template<typename Analyser>

Model<Analyser>* irafhy::Jump< Analyser >::source_

private

pointer to the source mode

◆ sourceName_

template<typename Analyser>

std::string irafhy::Jump< Analyser >::sourceName_

private

id of the source mode

◆ target_

template<typename Analyser>

Model<Analyser>* irafhy::Jump< Analyser >::target_

private

pointer to the target mode

◆ targetName_

template<typename Analyser>

std::string irafhy::Jump< Analyser >::targetName_

private

id of the target mode

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

/home/jianqiang/CLionProjects/irafhy/include/irafhy/representation/formal/hybridAutomaton/locations/model/model.h
/home/jianqiang/CLionProjects/irafhy/include/irafhy/representation/formal/hybridAutomaton/transitions/jump/jump.h

Public Member Functions

Private Attributes

Constructor & Destructor Documentation

◆ Jump() [1/2]

◆ Jump() [2/2]

◆ ~Jump()

Member Function Documentation

◆ guardCondition()

◆ resetMap()

◆ setGuardCondition()

◆ setResetMap()

◆ setSource()

◆ setSourceName()

◆ setTarget()

◆ setTargetName()

◆ source()

◆ sourceName()

◆ target()

◆ targetName()

◆ trigger()

Member Data Documentation

◆ guardCondition_

◆ resetMap_

◆ source_

◆ sourceName_

◆ target_

◆ targetName_