Main Page
Related Pages
Classes
Files
S
earch for
dve_system_trans.hh File Reference
Go to the source code of this file.
Classes
class
dve_enabled_trans_t
Class implementing enabled trasition in DVE
system
.
More...
class
dve_system_trans_t
Class implementing system trasition in DVE
system
.
More...
Detailed Description
This file contains definitions of classes
dve_system_trans_t
and
dve_enabled_trans_t
.
Reference Manual for Library, 2006 developed in
ParaDiSe
laboratory,
Faculty of Informatics
,
Masaryk University