Simulator.hh

Go to the documentation of this file.

#ifndef __DIADES__AUTOMATA__SIMULATOR__HH
#define __DIADES__AUTOMATA__SIMULATOR__HH

#include<set>
#include<string>
#include<ostream>
#include<list>
#include<diades/utils/Random.hh>
#include<diades/automata/ObservableComponent.hh>
#include<diades/automata/ComposableModel.hh>


using namespace Diades::Utils;

namespace Diades {
    namespace Automata {

        bool interactiveSimulation(const ObservableComponent & component,
                list<Event> & simulation);




        bool interactiveSimulation(ComposableModel & composable,
                const ObservableMask & mask,
                list<Event> & simulation);

        bool simulate(const ObservableComponent & component,
                const set<string> & absentEvents,
                unsigned obsMin,
                unsigned obsMax,
                unsigned seed,
                list<Event> & simulation);

        bool simulate(ComposableModel & composable,
                const ObservableMask & mask,
                const set<string> & absentEvents,
                unsigned obsMin,
                unsigned obsMax,
                unsigned seed,
                list<Event> & simulation);

        template<typename InputIterator, typename OutputIterator>
        void timeStamp(InputIterator first, InputIterator last, time_duration min, time_duration max, OutputIterator result) {
            time_duration global(seconds(0));
            while (first != last) {
                time_duration new_duration(seconds(generateRandomValue(min.total_seconds(), max.total_seconds())));
                global += new_duration;
                *result = make_pair(global, *first);
                ++first;
                ++result;
            }
        }
    };
};
#endif