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

Generated on Tue Jan 13 18:20:27 2004 for spot by doxygen 1.3.5