spot
0.8.1
|
anon_free_list(bdd_dict *d=0) | spot::bdd_dict::anon_free_list | |
dict_ | spot::bdd_dict::anon_free_list | [private] |
dump_free_list(std::ostream &os) const | spot::free_list | |
extend(int n) | spot::bdd_dict::anon_free_list | [virtual] |
fl | spot::free_list | [protected] |
free_count() const | spot::free_list | |
free_list_type typedef | spot::free_list | [protected] |
insert(int base, int n) | spot::free_list | |
pos_lenght_pair typedef | spot::free_list | [protected] |
register_n(int n) | spot::free_list | |
release_n(int base, int n) | spot::free_list | |
remove(int base, int n=0) | spot::free_list | |
remove(free_list_type::iterator i, int base, int n) | spot::free_list | [protected] |
~free_list() | spot::free_list | [virtual] |