|
The MAUVE Toolchain
|
#include <AbstractState.hpp>


Public Member Functions | |
| 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 AbstractState * | get_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. | |
| AbstractState & | operator= (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. | |
Public Attributes | |
| friend | AbstractFiniteStateMachine |
| std::string const | name |
| State name. | |
Protected Member Functions | |
| AbstractState (AbstractFiniteStateMachine *container, std::string const &name) | |
Protected Attributes | |
| const AbstractFiniteStateMachine * | container |
Abstract State class.
|
pure virtual |
Get the clock value of the SynchroState "name".
Implemented in mauve::runtime::ExecState< CORE >, and mauve::runtime::SynchroState< CORE >.
|
pure virtual |
Change the clock value of the SynchroState "name".
Implemented in mauve::runtime::ExecState< CORE >, and mauve::runtime::SynchroState< CORE >.