Minisat::vec< T > Class Template Reference

#include <Vec.h>

Inheritance diagram for Minisat::vec< T >:

Public Member Functions
	vec ()
	vec (int size)
	vec (int size, const T &pad)
	vec (vec< T > &&_toMove)
	~vec ()
vec< T > &	operator= (vec< T > &&_toMove)
	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 > &)
	vec (vec< T > &)

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 39 of file Vec.h.

Constructor & Destructor Documentation

vec() [1/5]

template<class T >

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

inlineprivate

Definition at line 52 of file Vec.h.

vec() [2/5]

template<class T >

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

inline

Definition at line 72 of file Vec.h.

vec() [3/5]

template<class T >

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

inlineexplicit

Definition at line 77 of file Vec.h.

Here is the call graph for this function:

vec() [4/5]

template<class T >

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

inline

Definition at line 84 of file Vec.h.

Here is the call graph for this function:

vec() [5/5]

template<class T >

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

inline

Definition at line 91 of file Vec.h.

~vec()

template<class T >

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

inline

Definition at line 100 of file Vec.h.

Here is the call graph for this function:

Member Function Documentation

capacity() [1/2]

template<class T >

void Minisat::vec< T >::capacity

(

int

min_cap

)

Definition at line 241 of file Vec.h.

capacity() [2/2]

template<class T >

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

inline

Definition at line 136 of file Vec.h.

Here is the caller graph for this function:

clear()

template<class T >

void Minisat::vec< T >::clear

(

bool

dealloc = false

)

Definition at line 273 of file Vec.h.

Here is the caller graph for this function:

copyTo()

template<class T >

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

inline

Definition at line 200 of file Vec.h.

Here is the call graph for this function:

growTo() [1/2]

template<class T >

void Minisat::vec< T >::growTo

(

int

size

)

Definition at line 262 of file Vec.h.

Here is the caller graph for this function:

growTo() [2/2]

template<class T >

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

Definition at line 251 of file Vec.h.

imax()

template<class T >

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

inlinestaticprivate

Definition at line 58 of file Vec.h.

last() [1/2]

template<class T >

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

inline

Definition at line 183 of file Vec.h.

last() [2/2]

template<class T >

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

inline

Definition at line 178 of file Vec.h.

Here is the caller graph for this function:

moveTo()

template<class T >

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

inline

Definition at line 208 of file Vec.h.

Here is the call graph for this function:

Here is the caller graph for this function:

nextCap()

template<class T >

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

inlinestaticprivate

Definition at line 65 of file Vec.h.

operator T*()

template<class T >

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

inline

Definition at line 112 of file Vec.h.

operator=() [1/2]

template<class T >

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

inline

Definition at line 105 of file Vec.h.

operator=() [2/2]

template<class T >

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

inlineprivate

Definition at line 46 of file Vec.h.

operator[]() [1/2]

template<class T >

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

inline

Definition at line 194 of file Vec.h.

operator[]() [2/2]

template<class T >

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

inline

Definition at line 189 of file Vec.h.

pop()

template<class T >

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

inline

Definition at line 168 of file Vec.h.

Here is the caller graph for this function:

push() [1/2]

template<class T >

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

inline

Definition at line 155 of file Vec.h.

Here is the call graph for this function:

push() [2/2]

template<class T >

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

inline

Definition at line 147 of file Vec.h.

Here is the call graph for this function:

Here is the caller graph for this function:

push_()

template<class T >

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

inline

Definition at line 162 of file Vec.h.

shrink()

template<class T >

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

inline

Definition at line 123 of file Vec.h.

Here is the caller graph for this function:

shrink_()

template<class T >

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

inline

Definition at line 130 of file Vec.h.

size()

template<class T >

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

inline

Definition at line 118 of file Vec.h.

Here is the caller graph for this function:

Field Documentation

cap

template<class T >

int Minisat::vec< T >::cap

private

Definition at line 43 of file Vec.h.

data

template<class T >

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

private

Definition at line 41 of file Vec.h.

sz

template<class T >

int Minisat::vec< T >::sz

private

Definition at line 42 of file Vec.h.

---

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

• smtrat-modules/SATModule/Vec.h