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