The MAUVE Toolchain
mauve::runtime::Transition< CORE > Class Template Reference

Public Types

using Guard_t = typename ExecState< CORE >::Guard_t
 

Public Member Functions

 Transition (Transition< CORE > const &other)=delete
 
Transition< CORE > & operator= (Transition< CORE > const &other)=delete
 

Friends

class ExecState< CORE >