spot
1.0
|
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 | privatevirtual |
extvarnum(int more) | spot::bdd_allocator | private |
fl | spot::free_list | private |
free_count() const | spot::free_list | private |
free_list_type typedef | spot::free_list | private |
initialize() | spot::bdd_allocator | static |
initialized | spot::bdd_allocator | protectedstatic |
insert(int base, int n) | spot::free_list | private |
lvarnum | spot::bdd_allocator | protected |
pos_lenght_pair typedef | spot::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 | privatevirtual |