prob_explicit_system_t Class Reference

#include <prob_explicit_system.hh>

Inheritance diagram for prob_explicit_system_t:

explicit_system_t prob_system_t system_t system_t dve_prob_explicit_system_t

List of all members.

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.


Detailed Description

Abstract interface of a class representing a state generator based on the model of system stored in prob_system_t

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.


Constructor & Destructor Documentation

prob_explicit_system_t ( error_vector_t evect  )  [inline]

A constructor.

Parameters:
evect = error vector used for reporting of error messages


Member Function Documentation

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).

Parameters:
state = state of the system
succs = successors container for storage of successors of state
Returns:
bitwise OR of SUCC_NORMAL, SUCC_ERROR and SUCC_DEADLOCK (use functions succs_normal(), succs_error() and succs_deadlock() for testing)

Implemented in dve_prob_explicit_system_t.


The documentation for this class was generated from the following file:

Reference Manual for Library, 2006 developed in ParaDiSe laboratory, Faculty of Informatics, Masaryk University