LocalCandidateStateMachine.hh

Go to the documentation of this file.

#ifndef __DIADES__AUTOMATA__EXPERIMENTAL__LOCALCANDIDATESTATEMACHINE__HH__
#define __DIADES__AUTOMATA__EXPERIMENTAL__LOCALCANDIDATESTATEMACHINE__HH__

#include<diades/graph/Node.hh>
#include<diades/automata/experimental/Event.hh>
#include<diades/automata/experimental/EventSet.hh>
#include<diades/automata/experimental/LocalCandidate.hh>
#include<diades/automata/experimental/FaultyEventStateMachine.hh>
#include<diades/automata/experimental/Printer.hh>
#include<diades/automata/experimental/Io.hh>
#include<diades/automata/experimental/StatePropertyManager.hh>
namespace Diades
{
   namespace Automata
   {
      namespace Experimental
      {


         namespace LocalCandidateMachine
         {
            using EventInfo = std::string;

            using EventInfoId = StatePropertyIdAsSizeT;
            using EvManager = EventManager<EventInfo, EventInfoId>;




            using EvSetManager = EventSetManager<EventInfo, EventInfoId>;


            using EvSet = EventSetManager<EventInfo, EventInfoId>::EventSet;


            using LocalStateInfo = StatePropertyAsStringLabel;
            using LocalStateInfoId = StatePropertyIdAsSizeT;

            using LocalStateInfoManager = StatePropertyManager<LocalStateInfo, LocalStateInfoId>;






            using Candidate = LocalCandidate<LocalStateInfoId, EvSet>;

            using CandidateId = LocalStateInfoId;

            using CandidateManager = StatePropertyManager<Candidate, CandidateId>;




            using Fsm = FaultyEventStateMachine<CandidateId, EventInfoId>;

            using LocalStateInfoPrinter = StateInfoManagerPrettyPrinter<LocalStateInfo, LocalStateInfoId>;

            using EvSetPrinter = EventSetManagerPrettyPrinter<EventInfo, EventInfoId>;


            using CandidatePrinter = LocalCandidatePrettyPrinter<LocalStateInfo, LocalStateInfoId,
                    EventInfo, EventInfoId>;
            using EventPrinter = EventManagerPrettyPrinter<EventInfo, EventInfoId>;

            using State = Diades::Graph::Node;

            inline ostream &
            toDotPretty(ostream & os,
                        Fsm & machine,
                        const LocalStateInfoManager & mgrLocStateInfo,
                        const EvManager & mgrEvent,
                        const EvSetManager & mgrSet,
                        const CandidateManager & mgrCand)
            {
               return toDot(os,
                            machine,
                            CandidatePrinter(LocalStateInfoPrinter(mgrLocStateInfo),
                                             EvSetPrinter(mgrSet, mgrEvent), mgrCand),
                            EventPrinter(mgrEvent));
            }
         }

         namespace Lcm = Diades::Automata::Experimental::LocalCandidateMachine;
      }
   }
}



#endif