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