Typedefs
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

Functions
ostream &	toDotPretty (ostream &os, Fsm &machine, const LocalStateInfoManager &mgrLocStateInfo, const EvManager &mgrEvent, const EvSetManager &mgrSet, const CandidateManager &mgrCand)

Typedef Documentation

◆ Candidate

CandidatePrinter Printer of Diades::Automata::Experimental::LocalCandidateMachine::Candidate

A Candidate is LocalCandidate associated a LocalStateInfoId and an EvSet. Basically, a Candidate only contains ids and EvSet The underlying information (namely of type LocalStateInfo and EventInfo) can be retrived from a Candidate with the help of EvManager, EvSetManager, LocalStateInfoManager.

Definition at line 94 of file LocalCandidateStateMachine.hh.

◆ CandidateId

using Diades::Automata::Experimental::LocalCandidateMachine::CandidateId = typedef LocalStateInfoId

Definition at line 100 of file LocalCandidateStateMachine.hh.

◆ CandidateManager

using Diades::Automata::Experimental::LocalCandidateMachine::CandidateManager = typedef StatePropertyManager<Candidate, CandidateId>

Definition at line 106 of file LocalCandidateStateMachine.hh.

◆ CandidatePrinter

using Diades::Automata::Experimental::LocalCandidateMachine::CandidatePrinter = typedef LocalCandidatePrettyPrinter<LocalStateInfo, LocalStateInfoId, EventInfo, EventInfoId>

Definition at line 136 of file LocalCandidateStateMachine.hh.

◆ EventInfo

EventPrinter Printer of Diades::Automata::Experimental::LocalCandidateMachine::EventInfo

The mapping between an EventInfoId and an EventInfo is managed by an EventManager<EventInfo,EventInfoId>

Definition at line 35 of file LocalCandidateStateMachine.hh.

◆ EventInfoId

using Diades::Automata::Experimental::LocalCandidateMachine::EventInfoId = typedef StatePropertyIdAsSizeT

Definition at line 42 of file LocalCandidateStateMachine.hh.

◆ EventPrinter

using Diades::Automata::Experimental::LocalCandidateMachine::EventPrinter = typedef EventManagerPrettyPrinter<EventInfo, EventInfoId>

Definition at line 141 of file LocalCandidateStateMachine.hh.

◆ EvManager

using Diades::Automata::Experimental::LocalCandidateMachine::EvManager = typedef EventManager<EventInfo, EventInfoId>

Definition at line 47 of file LocalCandidateStateMachine.hh.

◆ EvSet

EvSetPrinter Printer of Diades::Automata::Experimental::LocalCandidateMachine::EvSet

Definition at line 64 of file LocalCandidateStateMachine.hh.

◆ EvSetManager

EvSet a set of Events handled by an Diades::Automata::Experimental::LocalCandidateMachine::EvSetManager

Definition at line 58 of file LocalCandidateStateMachine.hh.

◆ EvSetPrinter

using Diades::Automata::Experimental::LocalCandidateMachine::EvSetPrinter = typedef EventSetManagerPrettyPrinter<EventInfo, EventInfoId>

Definition at line 128 of file LocalCandidateStateMachine.hh.

◆ Fsm

using Diades::Automata::Experimental::LocalCandidateMachine::Fsm = typedef FaultyEventStateMachine<CandidateId, EventInfoId>

Definition at line 118 of file LocalCandidateStateMachine.hh.

◆ LocalStateInfo

LocalStateInfoPrinter Printer of the Diades::Automata::Experimental::LocalCandidateMachine::LocalStateInfo

Definition at line 72 of file LocalCandidateStateMachine.hh.

◆ LocalStateInfoId

using Diades::Automata::Experimental::LocalCandidateMachine::LocalStateInfoId = typedef StatePropertyIdAsSizeT

Definition at line 73 of file LocalCandidateStateMachine.hh.

◆ LocalStateInfoManager

using Diades::Automata::Experimental::LocalCandidateMachine::LocalStateInfoManager = typedef StatePropertyManager<LocalStateInfo, LocalStateInfoId>

Definition at line 79 of file LocalCandidateStateMachine.hh.

◆ LocalStateInfoPrinter

using Diades::Automata::Experimental::LocalCandidateMachine::LocalStateInfoPrinter = typedef StateInfoManagerPrettyPrinter<LocalStateInfo, LocalStateInfoId>

Definition at line 123 of file LocalCandidateStateMachine.hh.

◆ State

using Diades::Automata::Experimental::LocalCandidateMachine::State = typedef Diades::Graph::Node

Definition at line 147 of file LocalCandidateStateMachine.hh.

Function Documentation

◆ toDotPretty()

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

inline

Export as a 'dot format' stream a Local Candidate Machine (LocalCandidateMachine::Fsm)

Parameters

os	output stream
machine	the Local Candidate Machine to export in dot
mgrLocStateInfo	manager of LocalStateInfo
mgrEvent	manager of EventInfo
mgrSet	manager of EvSet
mgrCand	manager of Candidate

Returns: the update stream

Definition at line 162 of file LocalCandidateStateMachine.hh.

References Diades::Automata::Experimental::toDot().

Typedefs

Functions