Go to the source code of this file.
Classes | |
class | enabled_trans_container_t |
Container determined for storing enabled processes in one state. More... | |
class | enabled_trans_t |
Class storing informations about one enabled transition. More... | |
class | system_trans_t |
Class storing informations about one system transition. More... | |
Functions | |
enabled_trans_t * | system_new_enabled_trans (const void *params) |