prob_and_property_trans_t Struct Reference

#include <prob_explicit_system.hh>

List of all members.

Public Member Functions

bool operator!= (const prob_and_property_trans_t &second)
 An operator of inequality.
bool operator== (const prob_and_property_trans_t &second)
 An operator of equality.
 prob_and_property_trans_t (const size_int_t init_prob_trans_gid, const size_int_t init_property_trans_gid)
 A constructor.
 prob_and_property_trans_t ()
 A default constructor (set "uninitialized" values to both items).

Public Attributes

size_int_t prob_trans_gid
 GID of probabilistic transition
size_int_t property_trans_gid


Detailed Description

Duple of transitions GIDs denoting probabilistic transition of the system multipied with transitions of the property process

Member Data Documentation

size_int_t property_trans_gid

GID of transition of the property process

Referenced by operator!=(), and operator==().


The documentation for this struct was generated from the following file:

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