#include <prob_explicit_system.hh>
Public Member Functions | |
virtual int | get_succs (state_t state, prob_succ_container_t &succs, enabled_trans_container_t &etc)=0 |
Creates probabilistic successors of state `state'. | |
virtual int | get_succs (state_t state, prob_succ_container_t &succs)=0 |
Creates probabilistic successors of state `state'. | |
prob_explicit_system_t (error_vector_t &evect) | |
A constructor. |
This class works like explicit_system_t, but in addition to explicit_system_t it also provides methods:
These methods return successors with their weight and GID of used probabilistic transition. All these informations are also possible to find out using information about enabled transitions (parameter etc of get_succs()) and methods prob_system_t::get_prob_trans_of_trans(), get_index_of_trans_in_prob_trans() and interface of prob_transition_t, but parameter etc is voluntary and thus get_succs(state_t state, prob_succ_container_t & succs) provides a minimal interface to do a probabilistic state space generation.
prob_explicit_system_t | ( | error_vector_t & | evect | ) | [inline] |
virtual int get_succs | ( | state_t | state, | |
prob_succ_container_t & | succs, | |||
enabled_trans_container_t & | etc | |||
) | [pure virtual] |
Creates probabilistic successors of state `state'.
Creates probabilistic successors of state state. In addition to get_succs(state_t state, prob_succ_container_t & succs) this method also creates a piece of information about enabled transitions used for successor generation.
Together with methods prob_system_t::get_prob_trans_of_trans(), prob_system_t::get_index_of_trans_in_prob_trans() and methods of prob_transition_t it is possible to extract all additional information (and even more) that is stored in prob_succ_container_t.
Implemented in dve_prob_explicit_system_t.
virtual int get_succs | ( | state_t | state, | |
prob_succ_container_t & | succs | |||
) | [pure virtual] |
Creates probabilistic successors of state `state'.
Creates probabilistic successors of state state and saves them to successor container succs (see prob_succ_container_t).
state | = state of the system | |
succs | = successors container for storage of successors of state |
Implemented in dve_prob_explicit_system_t.