Main Page | Namespace List | Class Hierarchy | Class List | File List | Namespace Members | Class Members

spot::bdd_allocator Class Reference

Manage ranges of variables. More...

#include <bddalloc.hh>

Inheritance diagram for spot::bdd_allocator:

Inheritance graph
[legend]
List of all members.

Protected Types

typedef std::pair< int, int > pos_lenght_pair
typedef std::list< pos_lenght_pairfree_list_type

Protected 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 Protected Member Functions

void initialize ()
 Initialize the BDD library.


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.


Detailed Description

Manage ranges of variables.


Member Typedef Documentation

typedef std::list<pos_lenght_pair> spot::bdd_allocator::free_list_type [protected]
 

typedef std::pair<int, int> spot::bdd_allocator::pos_lenght_pair [protected]
 


Constructor & Destructor Documentation

spot::bdd_allocator::bdd_allocator  )  [protected]
 

Default constructor.


Member Function Documentation

int spot::bdd_allocator::allocate_variables int  n  )  [protected]
 

Allocate n BDD variables.

void spot::bdd_allocator::extvarnum int  more  )  [private]
 

Require more variables.

void spot::bdd_allocator::initialize  )  [static, protected]
 

Initialize the BDD library.

void spot::bdd_allocator::release_variables int  base,
int  n
[protected]
 

Release n BDD variables starting at base.


Member Data Documentation

free_list_type spot::bdd_allocator::free_list [protected]
 

Tracks unused BDD variables.

bool spot::bdd_allocator::initialized [static, protected]
 

Whether the BDD library has been initialized.

int spot::bdd_allocator::lvarnum [protected]
 

number of variables in use in this allocator.

int spot::bdd_allocator::varnum [static, protected]
 

number of variables in use in the BDD library.


The documentation for this class was generated from the following file:
Generated on Tue Jan 13 18:20:27 2004 for spot by doxygen 1.3.5