#include <prob_system.hh>
Public Member Functions | |
size_int_t | get_index_of_trans_in_prob_trans (const size_int_t trans_gid) const |
virtual size_int_t | get_prob_trans_count () const |
Returns a count of probabilistic transitions. | |
size_int_t | get_prob_trans_of_trans (const size_int_t trans_gid) const |
virtual const prob_transition_t * | get_prob_transition (size_int_t gid) const |
Returns the pointer to the constant probabilistic transition given by GID. | |
virtual prob_transition_t * | get_prob_transition (size_int_t gid) |
Returns the pointer to the probabilistic transition given by GID. | |
prob_system_t (error_vector_t &evect=gerr) | |
A constructor. | |
virtual | ~prob_system_t () |
A destructor. | |
Protected Member Functions | |
void | consolidate () |
Protected method called after reading of input. |
This class provides an interface to the model of system. Depending on abilities (see get_abilities()) you can more or less deeply analyse the model.
Furthermore you can generate states of the system using child class explitcit_system_t (and its children)
prob_system_t | ( | error_vector_t & | evect = gerr |
) | [inline] |
A constructor.
evect | = the error vector, that will be used by created instance of system_t |
size_int_t get_index_of_trans_in_prob_trans | ( | const size_int_t | trans_gid | ) | const [inline] |
Returns the index of transition with GID `trans_gid' in a probabilistic transition
trans_gid | = GID of transition |
Referenced by dve_prob_explicit_system_t::get_succs().
size_int_t get_prob_trans_of_trans | ( | const size_int_t | trans_gid | ) | const [inline] |
Returns GID of probabilistic transition containing transition with GID `trans_gid' or returns NO_ID
trans_gid | = GID of transition |
Referenced by dve_prob_explicit_system_t::get_succs().