prob_system_t Class Reference

Abstract interface of a class representing a model of a system. More...

#include <prob_system.hh>

Inheritance diagram for prob_system_t:

system_t prob_explicit_system_t dve_prob_explicit_system_t

List of all members.

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_tget_prob_transition (size_int_t gid) const
 Returns the pointer to the constant probabilistic transition given by GID.
virtual prob_transition_tget_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.


Detailed Description

Abstract interface of a class representing a model of a system.

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)


Constructor & Destructor Documentation

prob_system_t ( error_vector_t evect = gerr  )  [inline]

A constructor.

Parameters:
evect = the error vector, that will be used by created instance of system_t


Member Function Documentation

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

Parameters:
trans_gid = GID of transition
Returns:
index of transition with GID trans_gid in a probabilistic transition, which contains it. If there is no such a probabilistic transition, it returns NO_ID

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

Parameters:
trans_gid = GID of transition
Returns:
GID of probabilistic transition containing transition with GID trans_gid. If there is no such a probabilistic transition, it returns NO_ID

Referenced by dve_prob_explicit_system_t::get_succs().


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

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