TimeDecomposedTransition.hh

Go to the documentation of this file.

/* 
 * @file:   TimeDecomposedTransition.hh
 * @author: Yannick Pencolé
 *
 * @date 22 March 2018, 13:11
 */

#ifndef __DIADES__PETRI__TIMEDECOMPOSEDTRANSITION__HH__
#define __DIADES__PETRI__TIMEDECOMPOSEDTRANSITION__HH__

#include <diades/utils/Interval.hh>
#include <diades/petri/BoundedNet.hh>


namespace Diades
{
        namespace Petri
        {

                class LabelledPrioritizedTimeNet;

                class TimeDecomposedTransition
                {
                private:
                        Transition _ts;
                        Transition _to;
                        Transition _te;
                        Transition _tna;
                        bool _semiopen;
                        
                        Place _nonTriggered;
                        Place _timeIn;

                public:
                        TimeDecomposedTransition(LabelledPrioritizedTimeNet & net,
                                                                         Transition & t);


                        TimeDecomposedTransition(const TimeDecomposedTransition & dt) = delete;

                        TimeDecomposedTransition(TimeDecomposedTransition && dt) :
                        _ts(dt._ts),
                        _to(dt._to),
                        _te(dt._te),
                        _tna(dt._tna),
                        _semiopen(dt._semiopen),
                        _nonTriggered(dt._nonTriggered),
                        _timeIn(dt._timeIn)
                        {
                        }

                        void normalDecomposition(LabelledPrioritizedTimeNet & net,
                                                                         Transition & t,
                                                                         const Diades::Utils::Interval & interval);




                        void semiOpenDecomposition(LabelledPrioritizedTimeNet & net,
                                                                           Transition & t,
                                                                           const Diades::Utils::Interval & interval);

                        const Transition &
                        clockStart() const
                        {
                                return _ts;
                        }

                        const Transition &
                        event() const
                        {
                                return _te;
                        }

                        const Transition &
                        timeout() const
                        {
                                return _to;
                        }

                        const Transition &
                        nonAdmissible() const
                        {
                                return _tna;
                        }

                        bool
                        isSemiOpen() const
                        {
                                return _semiopen;
                        }

                        const Place &
                        notTriggered() const
                        {
                                return _nonTriggered;
                        }
                        
                        const Place &
                        timeIn() const
                        {
                                return _timeIn;
                        }

                };
        };
};



#endif /* __DIADES__PETRI__TIMEDECOMPOSEDTRANSITION_HH__ */