RealTimeSystem.hh

Go to the documentation of this file.

/* 
 * @file:   RealTimeSystem.hh
 * @author: Yannick Pencolé
 *
 * @date 22 March 2018, 12:08
 */

#ifndef __DIADES__PETRI__REALTIMESYSTEM_HH__
#define __DIADES__PETRI__REALTIMESYSTEM_HH__

#include<unordered_set>
#include<diades/petri/PetriEventManager.hh>
#include<diades/petri/LabelledPrioritizedTimeNet.hh>

namespace Diades {
    namespace Petri {

        class RealTimeSystem : public LabelledPrioritizedTimeNet 
        {
        protected:
            std::unordered_set<Event> _observables;
            std::unordered_set<Event> _unobservables;
        public:

            RealTimeSystem() : LabelledPrioritizedTimeNet() {
                setNonObservable(lambda());
            }

            void setObservable(Event  e) {
                _observables.insert(e);
                _unobservables.erase(e);
            }

            void setNonObservable(Event  e) {
                _observables.erase(e);
                _unobservables.insert(e);
            }

            bool isObservable(Event e) const {
                return _observables.find(e) != _observables.end();
            }

            void timeDecompositionObservable();


        };

    };

};

#endif /* __DIADES__PETRI__REALTIMESYSTEM_HH__ */