Main Page | Namespace List | Class Hierarchy | Class List | File List | Namespace Members | Class Members

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
extvarnum(int more)spot::bdd_allocator [private]
free_listspot::bdd_allocator [protected]
free_list_type typedefspot::bdd_allocator [protected]
initialize()spot::bdd_allocator [static]
initializedspot::bdd_allocator [protected, static]
lvarnumspot::bdd_allocator [protected]
pos_lenght_pair typedefspot::bdd_allocator [protected]
release_variables(int base, int n)spot::bdd_allocator
varnumspot::bdd_allocator [protected, static]

Generated on Mon Mar 8 23:31:50 2004 for spot by doxygen 1.3.5