#include <explicit_system.hh>
Public Member Functions | |
succ_container_t (const explicit_system_t &system) | |
succ_container_t () | |
~succ_container_t () | |
A destructor. |
It is the descendant of array_t<state_t> and it differs only in a constructor. Its constructor has a parameter of type explicit_system_t, which is used to set the sufficient size of this constainer.
The main reason for this class is a better efficiency.
succ_container_t | ( | ) | [inline] |
A constructor (only calls a constructor of array_t<state_t> with parameters 4096 (preallocation) and 16 (allocation step).
succ_container_t | ( | const explicit_system_t & | system | ) | [inline] |
A constructor (needs only `system' to guess the preallocation needed for lists of successors).