succ_container_t Class Reference

Class determined to store successors of some state. More...

#include <explicit_system.hh>

Inheritance diagram for succ_container_t:

array_t< state_t >

List of all members.

Public Member Functions

 succ_container_t (const explicit_system_t &system)
 succ_container_t ()
 ~succ_container_t ()
 A destructor.


Detailed Description

Class determined to store successors of some state.

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.


Constructor & Destructor Documentation

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).


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

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