9 #ifndef __DIADES__AUTOMATA__EXPERIMENTAL__TRANSITIONINSERTER__HH__ 10 #define __DIADES__AUTOMATA__EXPERIMENTAL__TRANSITIONINSERTER__HH__ 16 namespace Experimental
27 template<
typename _StateInserter,
typename _EventInserter>
105 return _sInserter->source();
116 return _sInserter->target();
129 _eInserter->insertEvent(
source().getEvent(t)));
141 return _sInserter->insertState(state);
Transition insertTransition(Transition t)
typename StateInserter::Fsm Fsm
typename Fsm::State State
~TransitionInserter()=default
State insertState(State state)
Diades::Utils::Ptr< EventInserter >::P _eInserter
TransitionInserter()=default
TransitionInserter(StateInserter &sInserter, EventInserter &eInserter)
AutFsm::Transition Transition
TransitionInserter & operator=(TransitionInserter const &other)=default
_EventInserter EventInserter
typename Fsm::Transition Transition
Namespace of the Diades project.
_StateInserter StateInserter
Diades::Utils::Ptr< StateInserter >::P _sInserter
const Fsm & source() const
typename StateCreator::Fsm Fsm