Main Page
Related Pages
Classes
Files
S
earch for
mcrl2_system.hh File Reference
Go to the source code of this file.
Defines
#define
MCRL2_ATERM_INIT
(x, y) do{}while(0)
Detailed Description
The main contribution of this file is the class mcrl2_system_t
Reference Manual for Library, 2006 developed in
ParaDiSe
laboratory,
Faculty of Informatics
,
Masaryk University