mcrl2_explicit_system.hh File Reference

Go to the source code of this file.


Detailed Description

The main contribution of this file is the class mcrl2_explicit_system_t

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