Diades::Automata::Experimental::MakeAcceptingState< FA, BS > Struct Template Reference

#include <FiniteAutomaton.hh>

Public Types
using	State = typename FA::State

Public Member Functions
	MakeAcceptingState (const FA &source, FA &target, const BS &bs, State s)

Detailed Description

template<typename FA, typename BS>
struct Diades::Automata::Experimental::MakeAcceptingState< FA, BS >

Definition at line 338 of file FiniteAutomaton.hh.

Member Typedef Documentation

State

template<typename FA, typename BS>

using Diades::Automata::Experimental::MakeAcceptingState< FA, BS >::State = typename FA::State

Definition at line 341 of file FiniteAutomaton.hh.

Constructor & Destructor Documentation

MakeAcceptingState()

template<typename FA, typename BS>

Diades::Automata::Experimental::MakeAcceptingState< FA, BS >::MakeAcceptingState ( const FA &  source, FA &  target, const BS &  bs, State  s  )

inline

Definition at line 343 of file FiniteAutomaton.hh.

---

The documentation for this struct was generated from the following file:

• /home/yannick/laas/redmine/tools/diades/include/diades/automata/experimental/FiniteAutomaton.hh