system_trans.hh File Reference

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_tsystem_new_enabled_trans (const void *params)


Detailed Description

This file contains:

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