Bit_Vector_Array Class Reference

#include <bit_vector.h>

List of all members.

Public Member Functions

 Bit_Vector_Array (unsigned n_bv, unsigned n_bv_bit, MemoryPool &mem)
 Bit_Vector_Array (unsigned n_bv, unsigned n_bv_bit, BV_word_type *_bva_mem)
 Bit_Vector_Array ()
 ~Bit_Vector_Array ()
void init (unsigned n_bv, unsigned n_bv_bit, BV_word_type *_bva_mem)
void clear_all ()
BV_word_typebv (unsigned n)
void * operator new (size_t sz, MemoryPool &mem)
void operator delete (void *UNREF p, MemoryPool &UNREF mem)
void print (ostream &cout, char *name=NULL)
void print_in_range (ostream &cout, char *name=NULL)

Static Public Member Functions

static unsigned mem_size (unsigned n_bv, unsigned n_bv_bit)


Constructor & Destructor Documentation

Bit_Vector_Array.Bit_Vector_Array ( unsigned  n_bv,
unsigned  n_bv_bit,
MemoryPool mem 
)

Bit_Vector_Array.Bit_Vector_Array ( unsigned  n_bv,
unsigned  n_bv_bit,
BV_word_type _bva_mem 
)

Bit_Vector_Array.Bit_Vector_Array (  ) 

Bit_Vector_Array.~Bit_Vector_Array (  ) 


Member Function Documentation

void Bit_Vector_Array.init ( unsigned  n_bv,
unsigned  n_bv_bit,
BV_word_type _bva_mem 
)

void Bit_Vector_Array.clear_all (  ) 

BV_word_type* Bit_Vector_Array.bv ( unsigned  n  ) 

static unsigned Bit_Vector_Array.mem_size ( unsigned  n_bv,
unsigned  n_bv_bit 
) [static]

void* Bit_Vector_Array.operator new ( size_t  sz,
MemoryPool mem 
)

void Bit_Vector_Array.operator delete ( void *UNREF  p,
MemoryPool &UNREF  mem 
)

void Bit_Vector_Array.print ( ostream &  cout,
char *  name = NULL 
)

void Bit_Vector_Array.print_in_range ( ostream &  cout,
char *  name = NULL 
)


The documentation for this class was generated from the following file:

Genereated on Tue Mar 11 19:26:00 2008 by Doxygen.

(c) Copyright 2005, 2008 The Apache Software Foundation or its licensors, as applicable.