DdAutFileDescriptor.hh File Reference

#include <map>
#include <diades/automata/experimental/AutFileDescriptor.hh>
#include "DdAutFile.hh"

Go to the source code of this file.

Classes
class	Diades::Automata::Experimental::DdAutFileDescriptor

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

Functions
bool	Diades::Automata::Experimental::fsmToDescriptor (const DdAutFsm &fsm, DdAutFileDescriptor &descriptor, const DdAutStateManager &sManager, const DdAutEventManager &eManager, Diades::Graph::ConstNodeMap< DdAutStateId > &encoding)
bool	Diades::Automata::Experimental::fsmFromDescriptor (const DdAutFileDescriptor &descriptor, DdAutFsm &fsm, DdAutStateManager &sManager, DdAutEventManager &eManager)
bool	Diades::Automata::Experimental::faToDescriptor (const DdAutFA &fa, DdAutFileDescriptor &descriptor, const DdAutStateManager &sManager, const DdAutEventManager &eManager, Diades::Graph::ConstNodeMap< DdAutStateId > &encoding)
bool	Diades::Automata::Experimental::faFromDescriptor (const DdAutFileDescriptor &descriptor, DdAutFA &fa, DdAutStateManager &sManager, DdAutEventManager &eManager)

Detailed Description

Author

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

Date

10 July 2019, 19:47

Definition in file DdAutFileDescriptor.hh.