#include <system_trans.hh>
Public Member Functions | |
enabled_trans_t () | |
A constructor. | |
bool | get_erroneous () const |
Returns, whether an enables transition is erroneous. | |
virtual enabled_trans_t & | operator= (const enabled_trans_t &second)=0 |
An assignment operator. | |
void | set_erroneous (const bool is_errorneous) |
Sets, whether an enabled transition is erroneous. |
Enabled transition = system transition + erroneous property
Enabled transitions can be produced by explicit system (explicit_system_t), if it can work with enabled transitions.
Each enabled transition represents a possible step of a system in a given state of the system.