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_type *	bv (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:

• bit_vector.h

---