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
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]

---

Please comment this page and report errors about it on the RefDocComments page.