LocalCandidateStateMachine.hh File Reference

#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>

Go to the source code of this file.

Namespaces
	Diades
	Namespace of the Diades project.
	Diades::Automata
	Diades::Automata::Experimental
	Diades::Automata::Experimental::LocalCandidateMachine
	Lcm

Typedefs
using	Diades::Automata::Experimental::LocalCandidateMachine::EventInfo = std::string
using	Diades::Automata::Experimental::LocalCandidateMachine::EventInfoId = StatePropertyIdAsSizeT
using	Diades::Automata::Experimental::LocalCandidateMachine::EvManager = EventManager< EventInfo, EventInfoId >
using	Diades::Automata::Experimental::LocalCandidateMachine::EvSetManager = EventSetManager< EventInfo, EventInfoId >
using	Diades::Automata::Experimental::LocalCandidateMachine::EvSet = EventSetManager< EventInfo, EventInfoId >::EventSet
using	Diades::Automata::Experimental::LocalCandidateMachine::LocalStateInfo = StatePropertyAsStringLabel
using	Diades::Automata::Experimental::LocalCandidateMachine::LocalStateInfoId = StatePropertyIdAsSizeT
using	Diades::Automata::Experimental::LocalCandidateMachine::LocalStateInfoManager = StatePropertyManager< LocalStateInfo, LocalStateInfoId >
using	Diades::Automata::Experimental::LocalCandidateMachine::Candidate = LocalCandidate< LocalStateInfoId, EvSet >
using	Diades::Automata::Experimental::LocalCandidateMachine::CandidateId = LocalStateInfoId
using	Diades::Automata::Experimental::LocalCandidateMachine::CandidateManager = StatePropertyManager< Candidate, CandidateId >
using	Diades::Automata::Experimental::LocalCandidateMachine::Fsm = FaultyEventStateMachine< CandidateId, EventInfoId >
using	Diades::Automata::Experimental::LocalCandidateMachine::LocalStateInfoPrinter = StateInfoManagerPrettyPrinter< LocalStateInfo, LocalStateInfoId >
using	Diades::Automata::Experimental::LocalCandidateMachine::EvSetPrinter = EventSetManagerPrettyPrinter< EventInfo, EventInfoId >
using	Diades::Automata::Experimental::LocalCandidateMachine::CandidatePrinter = LocalCandidatePrettyPrinter< LocalStateInfo, LocalStateInfoId, EventInfo, EventInfoId >
using	Diades::Automata::Experimental::LocalCandidateMachine::EventPrinter = EventManagerPrettyPrinter< EventInfo, EventInfoId >
using	Diades::Automata::Experimental::LocalCandidateMachine::State = Diades::Graph::Node

Functions
ostream &	Diades::Automata::Experimental::LocalCandidateMachine::toDotPretty (ostream &os, Fsm &machine, const LocalStateInfoManager &mgrLocStateInfo, const EvManager &mgrEvent, const EvSetManager &mgrSet, const CandidateManager &mgrCand)

Detailed Description

Author

Yannick Pencole, ypenc.nosp@m.ole@.nosp@m.laas..nosp@m.fr, LAAS-CNRS, Univ. Toulouse, FRANCE

Created on 1 novembre 2017, 09:55

Definition in file LocalCandidateStateMachine.hh.