DiaDes
0.1
DIAgnosis of Discrete-Event System
|
#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) |
Definition in file AutFile.hh.