#include <system_trans.hh>
Public Member Functions | |
void | clear () |
Empties whole contents of container. | |
enabled_trans_container_t (const explicit_system_t &system) | |
A constructor. | |
size_int_t | get_begin (const size_int_t process_gid) const |
size_int_t | get_count (const size_int_t process_gid) const |
Returns a count of transitions of process with GID `process_gid'. | |
const enabled_trans_t * | get_enabled_transition (const size_int_t process_gid, const size_int_t index) const |
The definition of get_enabled_transition() for the case of constant. | |
enabled_trans_t * | get_enabled_transition (const size_int_t process_gid, const size_int_t index) |
Returns a pointer to the enabled transition of process with GID. | |
size_int_t | get_property_succ_count () const |
Returns a count of transitions enabled in a property process. | |
void | set_next_begin (const size_int_t process_gid, const size_int_t next_begin) |
Sets, where the list of enabled transitions of next process begins. | |
void | set_property_succ_count (const size_int_t count) |
Sets a count of transitions enabled in a property process. | |
~enabled_trans_container_t () | |
A destructor. |
This container should be used in calls of explicit_system_t::get_succs() and explicit_system_t::get_enabled_trans() functions for storing the list of transitions enabled in a given state. Its contructor has an instance of explicit_system_t as a parameter, because it tries to guess the size of memory sufficient to store maximal count of transitions, which are enabled in one state of the system. This guess prevent the big count of reallocations at the beginning of the run.
If the system is with property process, then the property_succ_count must be set (by set_property_succ_count() function) to correct usage of this container.
size_int_t get_begin | ( | const size_int_t | process_gid | ) | const [inline] |
Returns the index of first enabled transition of process with GID `process_gid'.
Referenced by por_t::ample_set_succs().