Main Page
Related Pages
Classes
Files
S
earch for
system.hh File Reference
Go to the source code of this file.
Classes
class
system_t
Abstract interface of a class representing a model of a system.
More...
Enumerations
enum
property_type_t
{
NONE
,
BUCHI
,
GENBUCHI
,
MULLER
,
RABIN
,
STREETT
}
Detailed Description
The main contribution of this file is the abstact interface
system_t
- the class representing a model of the
system
.
Reference Manual for Library, 2006 developed in
ParaDiSe
laboratory,
Faculty of Informatics
,
Masaryk University