dve_prob_transition.hh File Reference

Go to the source code of this file.

Classes

class  dve_prob_transition_t
 Class representing a DVE transition in probabilistic system. More...


Detailed Description

The main contribution of this file is the class dve_prob_transition_t.

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