Manage ranges of variables.
More...
#include <misc/bddalloc.hh>
|
void | extvarnum (int more) |
| Require more variables. More...
|
|
virtual int | extend (int n) |
|
int | register_n (int n) |
| Find n consecutive integers. More...
|
|
void | release_n (int base, int n) |
| Release n consecutive integers starting at base. More...
|
|
std::ostream & | dump_free_list (std::ostream &os) const |
| Dump the list to os for debugging. More...
|
|
void | insert (int base, int n) |
| Extend the list by inserting a new pos-lenght pair. More...
|
|
void | remove (int base, int n=0) |
| Remove n consecutive entries from the list, starting at base. More...
|
|
void | remove (free_list_type::iterator i, int base, int n) |
| Remove n consecutive entries from the list, starting at base. More...
|
|
int | free_count () const |
| Return the number of free integers on the list. More...
|
|
Manage ranges of variables.
Such pairs describe second
free integer starting at first
.
spot::bdd_allocator::bdd_allocator |
( |
) | |
|
int spot::bdd_allocator::allocate_variables |
( |
int |
n) | |
|
Allocate n BDD variables.
std::ostream& spot::free_list::dump_free_list |
( |
std::ostream & |
os) | |
const |
|
inherited |
Dump the list to os for debugging.
virtual int spot::bdd_allocator::extend |
( |
int |
n) | |
|
|
privatevirtual |
Allocate n integer.
This function is called by register_n() when the free list is empty or if n consecutive integers could not be found. It should allocate more integers, possibly changing the list, and return the first integer on a range of n consecutive integer requested by the user.
Implements spot::free_list.
void spot::bdd_allocator::extvarnum |
( |
int |
more) | |
|
|
private |
int spot::free_list::free_count |
( |
) | |
const |
|
inherited |
Return the number of free integers on the list.
static void spot::bdd_allocator::initialize |
( |
) | |
|
|
static |
Initialize the BDD library.
void spot::free_list::insert |
( |
int |
base, |
|
|
int |
n |
|
) |
| |
|
inherited |
Extend the list by inserting a new pos-lenght pair.
int spot::free_list::register_n |
( |
int |
n) | |
|
|
inherited |
Find n consecutive integers.
Browse the list of free integers until n consecutive integers are found. Extend the list (using extend()) otherwise.
- Returns
- the first integer of the range
void spot::free_list::release_n |
( |
int |
base, |
|
|
int |
n |
|
) |
| |
|
inherited |
Release n consecutive integers starting at base.
void spot::bdd_allocator::release_variables |
( |
int |
base, |
|
|
int |
n |
|
) |
| |
Release n BDD variables starting at base.
void spot::free_list::remove |
( |
int |
base, |
|
|
int |
n = 0 |
|
) |
| |
|
inherited |
Remove n consecutive entries from the list, starting at base.
void spot::free_list::remove |
( |
free_list_type::iterator |
i, |
|
|
int |
base, |
|
|
int |
n |
|
) |
| |
|
protectedinherited |
Remove n consecutive entries from the list, starting at base.
Tracks unused BDD variables.
bool spot::bdd_allocator::initialized |
|
staticprotected |
Whether the BDD library has been initialized.
int spot::bdd_allocator::lvarnum |
|
protected |
number of variables in use in this allocator.
The documentation for this class was generated from the following file: