The MAUVE Toolchain
mauve::runtime::State< CORE > Class Template Referenceabstract
Inheritance diagram for mauve::runtime::State< CORE >:
Collaboration diagram for mauve::runtime::State< CORE >:

Public Member Functions

 State (State< CORE > const &other)=delete
 
State< CORE > & operator= (State< CORE > const &other)=delete
 
void set_next (State< CORE > &next)
 
- Public Member Functions inherited from mauve::runtime::AbstractState
 AbstractState (AbstractState const &other)=delete
 
virtual time_ns_t get_clock () const =0
 Get the clock value of the SynchroState "name". More...
 
virtual std::size_t get_next_size () const =0
 Return the number of transitions.
 
virtual AbstractStateget_next_state (int index) const =0
 Return the next state according to the index.
 
virtual bool is_execution () const =0
 Check if the state is an Execution state.
 
virtual bool is_synchronization () const =0
 Check if the state is a Synchronization state.
 
AbstractStateoperator= (AbstractState const &other)=delete
 
virtual bool set_clock (time_ns_t clock)=0
 Change the clock value of the SynchroState "name". More...
 
virtual std::string to_string () const =0
 Return the state as a string.
 

Protected Member Functions

 State (AbstractFiniteStateMachine *container, std::string const &name)
 
- Protected Member Functions inherited from mauve::runtime::AbstractState
 AbstractState (AbstractFiniteStateMachine *container, std::string const &name)
 

Protected Attributes

State< CORE > * next
 
- Protected Attributes inherited from mauve::runtime::AbstractState
const AbstractFiniteStateMachinecontainer
 

Friends

template<typename S , typename C , typename F >
class Component
 
template<typename S , typename C >
class FiniteStateMachine
 

Additional Inherited Members

- Public Attributes inherited from mauve::runtime::AbstractState
friend AbstractFiniteStateMachine
 
std::string const name
 State name.