Struct zmbt::mapping::ModelDefinition::T_SignalProperty¶

template <class Target>

T_SignalProperty transition.

Inherits the following classes: zmbt::mapping::ModelDefinition::BaseTransition

Inherited by the following classes: zmbt::mapping::ModelDefinition::N_KindOut

Public Functions¶

Type	Name
Target	ThreadId () Output capture thread id.
Target	Timestamp () Output capture timestamp.

Public Functions inherited from zmbt::mapping::ModelDefinition::BaseTransition¶

See zmbt::mapping::ModelDefinition::BaseTransition

Type	Name
virtual	~BaseTransition ()

Protected Functions inherited from zmbt::mapping::ModelDefinition::BaseTransition¶

See zmbt::mapping::ModelDefinition::BaseTransition

Type	Name
	BaseTransition (detail::DefinitionHelper && m)
	BaseTransition ()
	BaseTransition (BaseTransition const &) = delete
	BaseTransition (BaseTransition &&) = default
detail::DefinitionHelper &	state ()
Target	transit_to ()

Public Functions Documentation¶

function ThreadId¶

Output capture thread id.

inline Target T_SignalProperty::ThreadId ()

function Timestamp¶

Output capture timestamp.

inline Target T_SignalProperty::Timestamp ()

The documentation for this class was generated from the following file zmbt-framework/zmbt-framework/backends/cxx/include/zmbt/mapping/model_definition_transitions.hpp