AutFile.hh File Reference

#include <istream>
#include <string>
#include <unordered_set>
#include <diades/utils/Label.hh>
#include <diades/graph/ConstNodeMap.hh>
#include <diades/automata/experimental/StateMachine.hh>
#include <diades/automata/experimental/Event.hh>
#include <diades/automata/experimental/StatePropertyManager.hh>
#include <diades/automata/experimental/StateCreation.hh>
#include <diades/utils/IdGenerators.hh>
#include <diades/utils/Range.hh>
#include <diades/automata/experimental/Union.hh>

Go to the source code of this file.

Classes
class	Diades::Automata::Experimental::AutStateCreator

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

Typedefs
using	Diades::Automata::Experimental::AutStateId = StatePropertyIdAsSizeT
using	Diades::Automata::Experimental::AutEventId = std::string
using	Diades::Automata::Experimental::AutFsm = StateMachine< AutStateId, AutEventId >
using	Diades::Automata::Experimental::AutFsmEventInserter = EventInserter< AutFsm >
using	Diades::Automata::Experimental::AutFsmStateIdGenerator = StateIdGenerator< AutFsm, Diades::Utils::IncrementGenerator< AutFsm::StatePropertyId > >
using	Diades::Automata::Experimental::AutFsmStateInserter = StateInserter< AutFsmStateIdGenerator, StateCopy< AutFsm > >
using	Diades::Automata::Experimental::AutFsmTransitionInserter = TransitionInserter< AutFsmStateInserter, AutFsmEventInserter >

Functions
template<typename Fsm >
bool	Diades::Automata::Experimental::autFsmNeedEncoding (const Fsm &fsm)
template<typename Fsm >
void	Diades::Automata::Experimental::autFileStateEncoding (const Fsm &fsm, Diades::Graph::ConstNodeMap< AutStateId > &encoding)
template<typename Fsm >
void	Diades::Automata::Experimental::autFileStateReencoding (Fsm &fsm)
bool	Diades::Automata::Experimental::fromAutFile (std::istream &stream, AutFsm &fsm)
bool	Diades::Automata::Experimental::toAutFile (ostream &stream, const AutFsm &fsm, bool enforce=false)
template<typename AutFsmRange >
bool	Diades::Automata::Experimental::insertAutFsms (AutFsmRange range, AutFsm &output)

Detailed Description

Author

Yannick Pencolé (ypenc.nosp@m.ole@.nosp@m.laas..nosp@m.fr)

Date

19 March 2019, 15:39

Definition in file AutFile.hh.