spot
0.8.2
|
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] |
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 | [protected, static] |
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 | [private, virtual] |