Minisat::vec< T > Class Template Reference

#include <Vec.h>

Public Member Functions
	vec ()
	vec (int size)
	vec (int size, const T &pad)
	~vec ()
	operator T * (void)
int	size (void) const
void	shrink (int nelems)
void	shrink_ (int nelems)
int	capacity (void) const
void	capacity (int min_cap)
void	growTo (int size)
void	growTo (int size, const T &pad)
void	clear (bool dealloc=false)
void	push (void)
void	push (const T &elem)
void	push_ (const T &elem)
void	pop (void)
const T &	last (void) const
T &	last (void)
const T &	operator[] (int index) const
T &	operator[] (int index)
void	copyTo (vec< T > &copy) const
void	moveTo (vec< T > &dest)

Private Member Functions
vec< T > &	operator= (vec< T > &other)
	vec (vec< T > &other)

Static Private Member Functions
static int	imax (int x, int y)
static void	nextCap (int &cap)

Private Attributes
T *	data
int	sz
int	cap

Detailed Description

template<class T>
class Minisat::vec< T >

Definition at line 38 of file Vec.h.

Constructor & Destructor Documentation

template<class T>

Minisat::vec< T >::vec ( vec< T > &  other )

inlineprivate

Definition at line 45 of file Vec.h.

{ assert(0); }

template<class T>

Minisat::vec< T >::vec ( )

inline

Definition at line 54 of file Vec.h.

: data(NULL) , sz(0)   , cap(0)    { }

template<class T>

Minisat::vec< T >::vec ( int  size )

inlineexplicit

Definition at line 55 of file Vec.h.

: data(NULL) , sz(0)   , cap(0)    { growTo(size); }

template<class T>

Minisat::vec< T >::vec ( int  size, const T &  pad  )

inline

Definition at line 56 of file Vec.h.

: data(NULL) , sz(0)   , cap(0)    { growTo(size, pad); }

template<class T>

Minisat::vec< T >::~vec ( )

inline

Definition at line 57 of file Vec.h.

{ clear(true); }

Member Function Documentation

template<class T>

int Minisat::vec< T >::capacity ( void  ) const

inline

Definition at line 66 of file Vec.h.

{ return cap; }

template<class T >

void Minisat::vec< T >::capacity

(

int

min_cap

)

Definition at line 96 of file Vec.h.

                                 {
    if (cap >= min_cap) return;
    int add = imax((min_cap - cap + 1) & ~1, ((cap >> 1) + 2) & ~1);   // NOTE: grow by approximately 3/2
    if (add > INT_MAX - cap || (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM))
        throw OutOfMemoryException();
 }

template<class T >

void Minisat::vec< T >::clear

(

bool

dealloc = false

)

Definition at line 121 of file Vec.h.

                               {
    if (data != NULL){
        for (int i = 0; i < sz; i++) data[i].~T();
        sz = 0;
        if (dealloc) free(data), data = NULL, cap = 0; } }

template<class T>

void Minisat::vec< T >::copyTo ( vec< T > &  copy ) const

inline

Definition at line 90 of file Vec.h.

{ copy.clear(); copy.growTo(sz); for (int i = 0; i < sz; i++) copy[i] = data[i]; }

template<class T >

void Minisat::vec< T >::growTo

(

int

size

)

Definition at line 113 of file Vec.h.

                            {
    if (sz >= size) return;
    capacity(size);
    for (int i = sz; i < size; i++) new (&data[i]) T();
    sz = size; }

template<class T>

void Minisat::vec< T >::growTo	(	int	size,
		const T &	pad
	)

Definition at line 105 of file Vec.h.

                                          {
    if (sz >= size) return;
    capacity(size);
    for (int i = sz; i < size; i++) data[i] = pad;
    sz = size; }

template<class T>

static int Minisat::vec< T >::imax ( int  x, int  y  )

inlinestaticprivate

Definition at line 48 of file Vec.h.

{ int mask = (y-x) >> (sizeof(int)*8-1); return (x&mask) + (y&(~mask)); }

template<class T>

const T& Minisat::vec< T >::last ( void  ) const

inline

Definition at line 82 of file Vec.h.

{ return data[sz-1]; }

template<class T>

T& Minisat::vec< T >::last ( void  )

inline

Definition at line 83 of file Vec.h.

{ return data[sz-1]; }

template<class T>

void Minisat::vec< T >::moveTo ( vec< T > &  dest )

inline

Definition at line 91 of file Vec.h.

{ dest.clear(true); dest.data = data; dest.sz = sz; dest.cap = cap; data = NULL; sz = 0; cap = 0; }

template<class T>

static void Minisat::vec< T >::nextCap ( int &  cap )

inlinestaticprivate

Definition at line 50 of file Vec.h.

{ cap += ((cap >> 1) + 2) & ~1; }

template<class T>

Minisat::vec< T >::operator T * ( void  )

inline

Definition at line 60 of file Vec.h.

{ return data; }

template<class T>

vec<T>& Minisat::vec< T >::operator= ( vec< T > &  other )

inlineprivate

Definition at line 44 of file Vec.h.

{ assert(0); return *this; }

template<class T>

const T& Minisat::vec< T >::operator[] ( int  index ) const

inline

Definition at line 86 of file Vec.h.

{ return data[index]; }

template<class T>

T& Minisat::vec< T >::operator[] ( int  index )

inline

Definition at line 87 of file Vec.h.

{ return data[index]; }

template<class T>

void Minisat::vec< T >::pop ( void  )

inline

Definition at line 76 of file Vec.h.

{ assert(sz > 0); sz--, data[sz].~T(); }

template<class T>

void Minisat::vec< T >::push ( void  )

inline

Definition at line 73 of file Vec.h.

{ if (sz == cap) capacity(sz+1); new (&data[sz]) T(); sz++; }

template<class T>

void Minisat::vec< T >::push ( const T &  elem )

inline

Definition at line 74 of file Vec.h.

{ if (sz == cap) capacity(sz+1); data[sz++] = elem; }

template<class T>

void Minisat::vec< T >::push_ ( const T &  elem )

inline

Definition at line 75 of file Vec.h.

{ assert(sz < cap); data[sz++] = elem; }

template<class T>

void Minisat::vec< T >::shrink ( int  nelems )

inline

Definition at line 64 of file Vec.h.

{ assert(nelems <= sz); for (int i = 0; i < nelems; i++) sz--, data[sz].~T(); }

template<class T>

void Minisat::vec< T >::shrink_ ( int  nelems )

inline

Definition at line 65 of file Vec.h.

{ assert(nelems <= sz); sz -= nelems; }

template<class T>

int Minisat::vec< T >::size ( void  ) const

inline

Definition at line 63 of file Vec.h.

{ return sz; }

Field Documentation

template<class T>

int Minisat::vec< T >::cap

private

Definition at line 41 of file Vec.h.

template<class T>

T* Minisat::vec< T >::data

private

Definition at line 39 of file Vec.h.

template<class T>

int Minisat::vec< T >::sz

private

Definition at line 40 of file Vec.h.

---

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

• Vec.h