spot  1.0.2
spot::bdd_allocator Member List

This is the complete list of members for spot::bdd_allocator, including all inherited members.

allocate_variables(int n)spot::bdd_allocator
bdd_allocator()spot::bdd_allocator
dump_free_list(std::ostream &os) const spot::free_listprivate
extend(int n)spot::bdd_allocatorprivatevirtual
extvarnum(int more)spot::bdd_allocatorprivate
flspot::free_listprivate
free_count() const spot::free_listprivate
free_list_type typedefspot::free_listprivate
initialize()spot::bdd_allocatorstatic
initializedspot::bdd_allocatorprotectedstatic
insert(int base, int n)spot::free_listprivate
lvarnumspot::bdd_allocatorprotected
pos_lenght_pair typedefspot::free_listprivate
register_n(int n)spot::free_listprivate
release_n(int base, int n)spot::free_listprivate
release_variables(int base, int n)spot::bdd_allocator
remove(int base, int n=0)spot::free_listprivate
remove(free_list_type::iterator i, int base, int n)spot::free_listprivate
~free_list()spot::free_listprivatevirtual

Please comment this page and report errors about it on the RefDocComments page.
Generated on Wed Mar 6 2013 09:25:15 for spot by doxygen 1.8.1.2