dve_system_trans_t Class Reference

Class implementing system trasition in DVE system. More...

#include <dve_system_trans.hh>

Inheritance diagram for dve_system_trans_t:

system_trans_t dve_enabled_trans_t

List of all members.

Public Member Functions

 dve_system_trans_t (const dve_system_trans_t &second)
 A copy constructor.
 dve_system_trans_t ()
 A constructor.
virtual system_trans_toperator= (const system_trans_t &second)
 Implements system_trans_t::operator=() in DVE system.
virtual std::string to_string () const
 Implements system_trans_t::to_string() in DVE system.
virtual void write (std::ostream &ostr) const
 Implements system_trans_t::write() in DVE system.
virtual ~dve_system_trans_t ()
 A destructor.
Methods accessing transitions forming a system transition
These methods are implemented and system_t::can_transitions() in the system that has generated the instance of this class returns true.

virtual size_int_t get_count () const
 Implements system_trans_t::get_count() in DVE system.
virtual transition_t *const & operator[] (const int i) const
 Implements system_trans_t::operator[](const int i) const in DVE system.
virtual transition_t *& operator[] (const int i)
 Implements system_trans_t::operator[](const int i).
virtual void set_count (const size_int_t new_count)
 Implements system_trans_t::set_count() in DVE system.

Protected Member Functions

void copy_from (const system_trans_t &second)
void create_from (const system_trans_t &second)


Detailed Description

Class implementing system trasition in DVE system.
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