#include <bddalloc.hh>
Inheritance diagram for spot::bdd_allocator:
Public Member Functions | |
bdd_allocator () | |
Default constructor. | |
int | allocate_variables (int n) |
Allocate n BDD variables. | |
void | release_variables (int base, int n) |
Release n BDD variables starting at base. | |
Static Public Member Functions | |
void | initialize () |
Initialize the BDD library. | |
Protected Types | |
typedef std::pair< int, int > | pos_lenght_pair |
typedef std::list< pos_lenght_pair > | free_list_type |
Protected Attributes | |
int | lvarnum |
number of variables in use in this allocator. | |
free_list_type | free_list |
Tracks unused BDD variables. | |
Static Protected Attributes | |
bool | initialized |
Whether the BDD library has been initialized. | |
int | varnum |
number of variables in use in the BDD library. | |
Private Member Functions | |
void | extvarnum (int more) |
Require more variables. |
|
|
|
|
|
Default constructor.
|
|
Allocate n BDD variables.
|
|
Require more variables.
|
|
Initialize the BDD library.
|
|
Release n BDD variables starting at base.
|
|
Tracks unused BDD variables.
|
|
Whether the BDD library has been initialized.
|
|
number of variables in use in this allocator.
|
|
number of variables in use in the BDD library.
|