enabled_trans_t Class Reference

Class storing informations about one enabled transition. More...

#include <system_trans.hh>

Inheritance diagram for enabled_trans_t:

system_trans_t bymoc_enabled_trans_t dve_enabled_trans_t

List of all members.

Public Member Functions

 enabled_trans_t ()
 A constructor.
bool get_erroneous () const
 Returns, whether an enables transition is erroneous.
virtual enabled_trans_toperator= (const enabled_trans_t &second)=0
 An assignment operator.
void set_erroneous (const bool is_errorneous)
 Sets, whether an enabled transition is erroneous.


Detailed Description

Class storing informations about one enabled transition.

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.


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

Reference Manual for Library, 2006 developed in ParaDiSe laboratory, Faculty of Informatics, Masaryk University