prob_succ_element_t Struct Reference

Single element to store in prob_succ_container_t. More...

#include <prob_explicit_system.hh>

List of all members.

Public Member Functions

 prob_succ_element_t (state_t init_state, const ulong_int_t init_weight, const ulong_int_t init_sum, const prob_and_property_trans_t init_prob_and_property_trans)

Public Attributes

prob_and_property_trans_t prob_and_property_trans
 GID of probabilistic transition and GID of property transition used for generation of a successor
state_t state
 A state (successor).
ulong_int_t sum
 Sum of weights of transitions contained in probabilistic transition with GID `prob_and_property_trans.prob_trans_gid'.
ulong_int_t weight
 Weight of a transition used for generation of a successor.


Detailed Description

Single element to store in prob_succ_container_t.

The structure consists of a state (successor in a state generation), a weight of a transition and a used probabilistic transition.


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