DdAutFile.hh File Reference

#include <diades/utils/StringTools.hh>
#include <diades/automata/experimental/SynchronisationRules.hh>
#include "AutFile.hh"
#include "StatePropertyManager.hh"
#include "Event.hh"
#include "Printer.hh"
#include "FiniteAutomaton.hh"
#include "SynchronisationEvent.hh"

Go to the source code of this file.

Classes
struct	Diades::Automata::Experimental::ManagedDdAutFsm
	data structure that gathers an Fsm, a StateManager and a EventManager More...
struct	Diades::Automata::Experimental::ConstManagedDdAutFsm
	data structure that gathers an Fsm, a StateManager and a EventManager More...
struct	Diades::Automata::Experimental::ManagedDdAutFA
	data structure that gathers an FA, a StateManager and a EventManager More...
struct	Diades::Automata::Experimental::ConstManagedDdAutFA
	data structure that gathers an FA, a StateManager and a EventManager More...
class	Diades::Automata::Experimental::DefaultDdAutSynchronisationEventEncoder< DdAutFsmType >

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

Typedefs
using	Diades::Automata::Experimental::DdAutStateId = AutStateId
using	Diades::Automata::Experimental::DdAutEventId = size_t
using	Diades::Automata::Experimental::DdAutFsm = StateMachine< DdAutStateId, DdAutEventId >
using	Diades::Automata::Experimental::DdAutFA = FiniteAutomaton< DdAutStateId, DdAutEventId >
using	Diades::Automata::Experimental::DdAutStateLabel = StatePropertyAsStringLabel
using	Diades::Automata::Experimental::DdAutEventLabel = std::string
using	Diades::Automata::Experimental::DdAutStateManager = StatePropertyManager< DdAutStateLabel, DdAutStateId >
using	Diades::Automata::Experimental::DdAutEventManager = EventManager< DdAutEventLabel, DdAutEventId >
using	Diades::Automata::Experimental::DdAutStatePrinter = StateInfoManagerPrettyPrinter< DdAutStateLabel, DdAutStateId >
using	Diades::Automata::Experimental::DdAutEventPrinter = EventManagerPrettyPrinter< DdAutEventLabel, DdAutEventId >
using	Diades::Automata::Experimental::DdAutComma = Diades::Utils::StringBinaryCombination< char, ',', std::char_traits< char >, std::allocator< char > >
using	Diades::Automata::Experimental::DdAutAmpersand = Diades::Utils::StringBinaryCombination< char, '&', std::char_traits< char >, std::allocator< char > >
using	Diades::Automata::Experimental::DdAutBraces = Diades::Utils::StringDelimiter< char, '{', '}', std::char_traits< char >, std::allocator< char > >
using	Diades::Automata::Experimental::DdAutParentheses = Diades::Utils::StringDelimiter< char, '(', ')', std::char_traits< char >, std::allocator< char > >
using	Diades::Automata::Experimental::DdAutDisjunction = Diades::Utils::Disjunction< DdAutStateLabel, DdAutComma, DdAutBraces >
using	Diades::Automata::Experimental::DdAutConjunction = Diades::Utils::Conjunction< DdAutStateLabel, DdAutComma, DdAutParentheses >
using	Diades::Automata::Experimental::DdAutProjection = DiGraphComponentStartingWith< DdAutStateLabel, char, '|', DdAutComma, DdAutBraces >
using	Diades::Automata::Experimental::DdAutSynchronisation = Diades::Utils::Conjunction< DdAutEventLabel, DdAutAmpersand, Diades::Utils::NoDelimiter< char, std::char_traits< char >, std::allocator< char > >>

Functions
bool	Diades::Automata::Experimental::fsmFromDdAutFile (std::istream &stream, const ManagedDdAutFsm &mFsm)
bool	Diades::Automata::Experimental::faFromDdAutFile (std::istream &stream, const ManagedDdAutFA &mFa)
bool	Diades::Automata::Experimental::fsmToDdAutFile (ostream &stream, const ConstManagedDdAutFsm &mFsm)
bool	Diades::Automata::Experimental::faToDdAutFile (ostream &stream, const ConstManagedDdAutFA &mFa)
bool	Diades::Automata::Experimental::fsmToAutFile (ostream &stream, const DdAutFsm &fsm, const DdAutEventManager &eManager, bool enforce=false)
template<typename DdAutFsmType >
bool	Diades::Automata::Experimental::generateSynchronisedDdAutEventLabels (const SynchronisationRules< DdAutFsmType > &synchro, const std::vector< DdAutEventManager > &eventManagers, DdAutEventManager &syncEventManager)
void	Diades::Automata::Experimental::insertDdAutFA (const DdAutFA &sourceFsm, const DdAutStateManager &sourceStateManager, const DdAutEventManager &sourceEventManager, DdAutFA &targetFsm, DdAutStateManager &targetStateManager, DdAutEventManager &targetEventManager)
template<typename DdAutFARange , typename RangeDdAutSM , typename RangeDdAutEM >
bool	Diades::Automata::Experimental::insertFiniteAutomata (DdAutFARange faRange, RangeDdAutSM smRange, RangeDdAutEM evRange, DdAutFA &result, DdAutStateManager &targetStateManager, DdAutEventManager &targetEventManager)

Detailed Description

Author

Yannick Pencolé <yannick.pencole at laas.fr>

Date

8 April 2019, 21:37

Definition in file DdAutFile.hh.