#include <dve_system_trans.hh>
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_t & | operator= (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) |