Diades::Petri::TimeDecomposedTransition Class Reference

#include <TimeDecomposedTransition.hh>

Public Member Functions
	TimeDecomposedTransition (LabelledPrioritizedTimeNet &net, Transition &t)
	TimeDecomposedTransition (const TimeDecomposedTransition &dt)=delete
	TimeDecomposedTransition (TimeDecomposedTransition &&dt)

Private Attributes
Transition	_ts
Transition	_to
Transition	_te
Transition	_tna
bool	_semiopen
Place	_nonTriggered
Place	_timeIn

Detailed Description

This class contains the set of Transitions resulting from the time decomposition of a Transition in the initial LabelledPrioritizedTimeNet

Definition at line 28 of file TimeDecomposedTransition.hh.

Constructor & Destructor Documentation

TimeDecomposedTransition() [1/3]

Diades::Petri::TimeDecomposedTransition::TimeDecomposedTransition	(	LabelledPrioritizedTimeNet &	net,
		Transition &	t
	)

Create the set of transitions that correspond to the time decomposition of transition t in the net 'net'

Parameters

net	The LabelledPrioritizedTimeNet that contains the TRansition t
t	the Transition to decompose

Depending on the nature of the interval, it applies either the bounded time decomposition or the semi-open time decomposition

See also

normalDecomposition

semiOpenDecomposition

TimeDecomposedTransition() [2/3]

Diades::Petri::TimeDecomposedTransition::TimeDecomposedTransition ( const TimeDecomposedTransition &  dt )

delete

A TimeDecomposedTransition is not copyable

TimeDecomposedTransition() [3/3]

Diades::Petri::TimeDecomposedTransition::TimeDecomposedTransition ( TimeDecomposedTransition &&  dt )

inline

Move constructor

Parameters

dt	the TimeDecomposedTransition to move

Definition at line 67 of file TimeDecomposedTransition.hh.

References _nonTriggered, _semiopen, _te, _timeIn, _tna, _to, and _ts.

Member Data Documentation

_nonTriggered

Place Diades::Petri::TimeDecomposedTransition::_nonTriggered

private

Definition at line 37 of file TimeDecomposedTransition.hh.

Referenced by TimeDecomposedTransition().

_semiopen

bool Diades::Petri::TimeDecomposedTransition::_semiopen

private

Definition at line 35 of file TimeDecomposedTransition.hh.

Referenced by TimeDecomposedTransition().

_te

Transition Diades::Petri::TimeDecomposedTransition::_te

private

Definition at line 33 of file TimeDecomposedTransition.hh.

Referenced by TimeDecomposedTransition().

_timeIn

Place Diades::Petri::TimeDecomposedTransition::_timeIn

private

Definition at line 38 of file TimeDecomposedTransition.hh.

Referenced by TimeDecomposedTransition().

_tna

Transition Diades::Petri::TimeDecomposedTransition::_tna

private

Definition at line 34 of file TimeDecomposedTransition.hh.

Referenced by TimeDecomposedTransition().

_to

Transition Diades::Petri::TimeDecomposedTransition::_to

private

Definition at line 32 of file TimeDecomposedTransition.hh.

Referenced by TimeDecomposedTransition().

_ts

Transition Diades::Petri::TimeDecomposedTransition::_ts

private

Definition at line 31 of file TimeDecomposedTransition.hh.

Referenced by TimeDecomposedTransition().

---

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

• /home/yannick/laas/redmine/tools/diades/include/diades/petri/TimeDecomposedTransition.hh