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_list [private]
extend(int n)spot::bdd_allocator [private, virtual]
extvarnum(int more)spot::bdd_allocator [private]
flspot::free_list [private]
free_count() const spot::free_list [private]
free_list_type typedefspot::free_list [private]
initialize()spot::bdd_allocator [static]
initializedspot::bdd_allocator [protected, static]
insert(int base, int n)spot::free_list [private]
lvarnumspot::bdd_allocator [protected]
pos_lenght_pair typedefspot::free_list [private]
register_n(int n)spot::free_list [private]
release_n(int base, int n)spot::free_list [private]
release_variables(int base, int n)spot::bdd_allocator
remove(int base, int n=0)spot::free_list [private]
remove(free_list_type::iterator i, int base, int n)spot::free_list [private]
~free_list()spot::free_list [private, virtual]

Please comment this page and report errors about it on the RefDocComments page.
Generated on Fri Apr 16 09:42:37 2010 for spot by doxygen 1.6.3