DiaDes  0.1
DIAgnosis of Discrete-Event System
Static Public Member Functions | List of all members
Diades::Automata::Experimental::StateCreationTraits< StateCreation< T1 > > Struct Template Reference

#include <StateCreation.hh>

Static Public Member Functions

static constexpr bool isManaged ()
 

Detailed Description

template<typename T1>
struct Diades::Automata::Experimental::StateCreationTraits< StateCreation< T1 > >

Definition at line 671 of file StateCreation.hh.

Member Function Documentation

◆ isManaged()

template<typename T1 >
static constexpr bool Diades::Automata::Experimental::StateCreationTraits< StateCreation< T1 > >::isManaged ( )
inlinestatic

Definition at line 674 of file StateCreation.hh.


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