Minisat::vec< T, _Size > Class Template Reference

#include <Vec.h>

Collaboration diagram for Minisat::vec< T, _Size >:

Public Types
typedef _Size	Size

Public Member Functions
	vec ()
	vec (Size size)
	vec (Size size, const T &pad)
	~vec ()
	operator T * (void)
Size	size (void) const
void	shrink (Size nelems)
void	shrink_ (Size nelems)
int	capacity (void) const
void	capacity (Size min_cap)
void	growTo (Size size)
void	growTo (Size 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[] (Size index) const
T &	operator[] (Size 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 Size	max (Size x, Size y)

Private Attributes
T *	data
Size	sz
Size	cap

Detailed Description

template<class T, class _Size = int>
class Minisat::vec< T, _Size >

Definition at line 39 of file Vec.h.

Member Typedef Documentation

template<class T, class _Size = int>

typedef _Size Minisat::vec< T, _Size >::Size

Definition at line 41 of file Vec.h.

Constructor & Destructor Documentation

template<class T, class _Size = int>

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

private

template<class T, class _Size = int>

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

inline

Definition at line 55 of file Vec.h.

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

template<class T, class _Size = int>

Minisat::vec< T, _Size >::vec ( Size  size )

inlineexplicit

Definition at line 56 of file Vec.h.

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

template<class T, class _Size = int>

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

inline

Definition at line 57 of file Vec.h.

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

template<class T, class _Size = int>

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

inline

Definition at line 58 of file Vec.h.

{ clear(true); }

Member Function Documentation

template<class T, class _Size = int>

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

inline

Definition at line 67 of file Vec.h.

{ return cap; }

Here is the caller graph for this function:

template<class T , class _Size >

void Minisat::vec< T, _Size >::capacity

(

Size

min_cap

)

Definition at line 98 of file Vec.h.

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

template<class T , class _Size >

void Minisat::vec< T, _Size >::clear

(

bool

dealloc = false

)

Definition at line 125 of file Vec.h.

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

Here is the call graph for this function:

Here is the caller graph for this function:

template<class T, class _Size = int>

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

inline

Definition at line 92 of file Vec.h.

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

Here is the caller graph for this function:

template<class T , class _Size >

void Minisat::vec< T, _Size >::growTo

(

Size

size

)

Definition at line 117 of file Vec.h.

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

Here is the caller graph for this function:

template<class T, class _Size >

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

Definition at line 109 of file Vec.h.

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

template<class T, class _Size = int>

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

inline

Definition at line 84 of file Vec.h.

{ return data[sz-1]; }

Here is the caller graph for this function:

template<class T, class _Size = int>

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

inline

Definition at line 85 of file Vec.h.

{ return data[sz-1]; }

template<class T, class _Size = int>

static Size Minisat::vec< T, _Size >::max ( Size  x, Size  y  )

inlinestaticprivate

Definition at line 51 of file Vec.h.

{ return (x > y) ? x : y; }

template<class T, class _Size = int>

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

inline

Definition at line 93 of file Vec.h.

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

Here is the caller graph for this function:

template<class T, class _Size = int>

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

inline

Definition at line 61 of file Vec.h.

{ return data; }

template<class T, class _Size = int>

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

private

template<class T, class _Size = int>

const T& Minisat::vec< T, _Size >::operator[] ( Size  index ) const

inline

Definition at line 88 of file Vec.h.

{ return data[index]; }

template<class T, class _Size = int>

T& Minisat::vec< T, _Size >::operator[] ( Size  index )

inline

Definition at line 89 of file Vec.h.

{ return data[index]; }

template<class T, class _Size = int>

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

inline

Definition at line 78 of file Vec.h.

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

Here is the caller graph for this function:

template<class T, class _Size = int>

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

inline

Definition at line 74 of file Vec.h.

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

Here is the caller graph for this function:

template<class T, class _Size = int>

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

inline

Definition at line 76 of file Vec.h.

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

template<class T, class _Size = int>

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

inline

Definition at line 77 of file Vec.h.

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

Here is the caller graph for this function:

template<class T, class _Size = int>

void Minisat::vec< T, _Size >::shrink ( Size  nelems )

inline

Definition at line 65 of file Vec.h.

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

Here is the caller graph for this function:

template<class T, class _Size = int>

void Minisat::vec< T, _Size >::shrink_ ( Size  nelems )

inline

Definition at line 66 of file Vec.h.

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

template<class T, class _Size = int>

Size Minisat::vec< T, _Size >::size ( void  ) const

inline

Definition at line 64 of file Vec.h.

{ return sz; }

Field Documentation

template<class T, class _Size = int>

Size Minisat::vec< T, _Size >::cap

private

Definition at line 45 of file Vec.h.

template<class T, class _Size = int>

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

private

Definition at line 43 of file Vec.h.

template<class T, class _Size = int>

Size Minisat::vec< T, _Size >::sz

private

Definition at line 44 of file Vec.h.

---

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

• Vec.h