bymoc_system.hh File Reference

Go to the source code of this file.

Classes

class  bymoc_system_t
 Class for Promela/Bytecode system representation. More...


Detailed Description

The main contribution of this file is the class bymoc_system_t

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