allocate_variables(int n) | spot::bdd_allocator | [protected] |
bdd_allocator() | spot::bdd_allocator | [protected] |
extvarnum(int more) | spot::bdd_allocator | [private] |
free_list | spot::bdd_allocator | [protected] |
free_list_type typedef | spot::bdd_allocator | [protected] |
initialize() | spot::bdd_allocator | [protected, static] |
initialized | spot::bdd_allocator | [protected, static] |
lvarnum | spot::bdd_allocator | [protected] |
pos_lenght_pair typedef | spot::bdd_allocator | [protected] |
release_variables(int base, int n) | spot::bdd_allocator | [protected] |
varnum | spot::bdd_allocator | [protected, static] |