Diades::Automata::Experimental::StateCreationTraits< ManagedStateCreation< T1, T2 > > Struct Template Reference

#include <StateCreation.hh>

Static Public Member Functions
static constexpr bool	isManaged ()

Detailed Description

template<typename T1, typename T2>
struct Diades::Automata::Experimental::StateCreationTraits< ManagedStateCreation< T1, T2 > >

Definition at line 662 of file StateCreation.hh.

Member Function Documentation

isManaged()

template<typename T1 , typename T2 >

static constexpr bool Diades::Automata::Experimental::StateCreationTraits< ManagedStateCreation< T1, T2 > >::isManaged ( )

inlinestatic

Definition at line 665 of file StateCreation.hh.

---

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

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