|
using | FA = FiniteAutomaton< S, I, NS, NI > |
|
using | MSC = ManagedStateCreation< FA, typename StatePropertyCombination::Property > |
|
using | BSBSC = BeliefStateBasedStateCreator< FA > |
|
using | State = typename MSC::State |
|
using | FsmBs = typename BSBSC::FsmBs |
|
using | StatePropertyId = typename MSC::StatePropertyId |
|
using | StateProperty = typename MSC::StateProperty |
|
using | SC = StateCreation< FiniteAutomaton< S, I, NS, NI > > |
|
using | Fsm = typename SC::Fsm |
|
using | StateProperty = StatePropertyCombination::Property |
|
using | StatePropertyId = typename SC::StatePropertyId |
|
using | StManager = StatePropertyManager< StateProperty, StatePropertyId > |
|
using | Exception = Diades::Utils::Exception< StateCreation > |
|
using | Fsm = FiniteAutomaton< S, I, NS, NI > |
|
using | StatePropertyId = typename Fsm::StatePropertyId |
|
using | EventPropertyId = typename Fsm::EventPropertyId |
|
using | State = typename Fsm::State |
|
using | StatePropertyId = typename FiniteAutomaton< S, I, NS, NI > ::StatePropertyId |
|
using | State = typename FiniteAutomaton< S, I, NS, NI > ::State |
|
using | FsmBs = BeliefState< FiniteAutomaton< S, I, NS, NI > > |
|
template<typename S, typename I, typename NS, typename NI, typename StatePropertyCombination>
class Diades::Automata::Experimental::ManagedBeliefStateBasedStateCreator< FiniteAutomaton< S, I, NS, NI >, StatePropertyCombination >
Definition at line 551 of file FiniteAutomaton.hh.