#include <prob_explicit_system.hh>
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. |
The structure consists of a state (successor in a state generation), a weight of a transition and a used probabilistic transition.