#include <prob_explicit_system.hh>
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 |
size_int_t property_trans_gid |
GID of transition of the property process
Referenced by operator!=(), and operator==().