MiniSat::vec< T > Class Template Reference

#include <minisat_global.h>

List of all members.

Public Types

• typedef int Key
• typedef T Datum

Public Member Functions

• vec (void)
• vec (int size)
• vec (int size, const T &pad)
• vec (T *array, int size)
• ~vec (void)
• T * release (void)
• operator T * (void)
• operator const T * (void) const
• int size (void) const
• void shrink (int nelems)
• void pop (void)
• void growTo (int size)
• void growTo (int size, const T &pad)
• void clear (bool dealloc=false)
• void capacity (int size)
• void push (void)
• void push (const T &elem)
• const T & last (void) const
• T & last (void)
• const T & operator[] (int index) const
• T & operator[] (int index)
• vec< T > & operator= (vec< T > &other)
• vec (vec< T > &other)
• void copyTo (vec< T > &copy) const
• void moveTo (vec< T > &dest)

Private Member Functions

• void init (int size, const T &pad)
• void grow (int min_cap)

Private Attributes

• T * data
• int sz
• int cap

---

Detailed Description

template<class T>
class MiniSat::vec< T >

Definition at line 108 of file minisat_global.h.

---

Member Typedef Documentation

template<class T>

typedef int MiniSat::vec< T >::Key

Definition at line 118 of file minisat_global.h.

template<class T>

typedef T MiniSat::vec< T >::Datum

Definition at line 119 of file minisat_global.h.

---

Constructor & Destructor Documentation

template<class T>

MiniSat::vec< T >::vec

(

void

)

[inline]

Definition at line 122 of file minisat_global.h.

template<class T>

MiniSat::vec< T >::vec

(

int

size

)

[inline]

Definition at line 123 of file minisat_global.h.

template<class T>

MiniSat::vec< T >::vec	(	int	size,
		const T &	pad
	)		[inline]

Definition at line 124 of file minisat_global.h.

template<class T>

MiniSat::vec< T >::vec	(	T *	array,
		int	size
	)		[inline]

Definition at line 125 of file minisat_global.h.

template<class T>

MiniSat::vec< T >::~vec

(

void

)

[inline]

Definition at line 126 of file minisat_global.h.

template<class T>

MiniSat::vec< T >::vec

(

vec< T > &

other

)

[inline]

Definition at line 155 of file minisat_global.h.

---

Member Function Documentation

template<class T>

void MiniSat::vec< T >::init	(	int	size,
		const T &	pad
	)		[private]

template<class T >

void MiniSat::vec< T >::grow

(

int

min_cap

)

[private]

Definition at line 163 of file minisat_global.h.

References MiniSat::xrealloc().

Referenced by MiniSat::vec< int >::capacity(), and MiniSat::vec< int >::push().

template<class T>

T* MiniSat::vec< T >::release

(

void

)

[inline]

Definition at line 129 of file minisat_global.h.

template<class T>

MiniSat::vec< T >::operator T *

(

void

)

[inline]

Definition at line 130 of file minisat_global.h.

References MiniSat::vec< T >::data.

template<class T>

MiniSat::vec< T >::operator const T *

(

void

)

const [inline]

Definition at line 131 of file minisat_global.h.

References MiniSat::vec< T >::data.

template<class T>

int MiniSat::vec< T >::size

(

void

)

const [inline]

Definition at line 134 of file minisat_global.h.

Referenced by MiniSat::Heap< VarOrder_lt >::empty(), MiniSat::Heap< VarOrder_lt >::heapProperty(), MiniSat::Heap< VarOrder_lt >::insert(), MiniSat::Heap< VarOrder_lt >::ok(), and MiniSat::Heap< VarOrder_lt >::percolateDown().

template<class T>

void MiniSat::vec< T >::shrink

(

int

nelems

)

[inline]

Definition at line 135 of file minisat_global.h.

template<class T>

void MiniSat::vec< T >::pop

(

void

)

[inline]

Definition at line 137 of file minisat_global.h.

Referenced by MiniSat::Heap< VarOrder_lt >::getMin().

template<class T >

void MiniSat::vec< T >::growTo

(

int

size

)

Definition at line 177 of file minisat_global.h.

Referenced by MiniSat::vec< int >::copyTo(), MiniSat::Heap< VarOrder_lt >::setBounds(), and MiniSat::vec< int >::vec().

template<class T>

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

Definition at line 170 of file minisat_global.h.

template<class T >

void MiniSat::vec< T >::clear

(

bool

dealloc = false

)

Definition at line 184 of file minisat_global.h.

References MiniSat::xfree().

Referenced by MiniSat::vec< int >::copyTo(), MiniSat::vec< int >::moveTo(), and MiniSat::vec< int >::~vec().

template<class T>

void MiniSat::vec< T >::capacity

(

int

size

)

[inline]

Definition at line 141 of file minisat_global.h.

template<class T>

void MiniSat::vec< T >::push

(

void

)

[inline]

Definition at line 144 of file minisat_global.h.

Referenced by MiniSat::Heap< VarOrder_lt >::Heap(), and MiniSat::Heap< VarOrder_lt >::insert().

template<class T>

void MiniSat::vec< T >::push

(

const T &

elem

)

[inline]

Definition at line 145 of file minisat_global.h.

template<class T>

const T& MiniSat::vec< T >::last

(

void

)

const [inline]

Definition at line 146 of file minisat_global.h.

Referenced by MiniSat::Heap< VarOrder_lt >::getMin().

template<class T>

T& MiniSat::vec< T >::last

(

void

)

[inline]

Definition at line 147 of file minisat_global.h.

template<class T>

const T& MiniSat::vec< T >::operator[]

(

int

index

)

const [inline]

Definition at line 150 of file minisat_global.h.

template<class T>

T& MiniSat::vec< T >::operator[]

(

int

index

)

[inline]

Definition at line 151 of file minisat_global.h.

template<class T>

vec<T>& MiniSat::vec< T >::operator=

(

vec< T > &

other

)

[inline]

Definition at line 154 of file minisat_global.h.

template<class T>

void MiniSat::vec< T >::copyTo

(

vec< T > &

copy

)

const [inline]

Definition at line 158 of file minisat_global.h.

template<class T>

void MiniSat::vec< T >::moveTo

(

vec< T > &

dest

)

[inline]

Definition at line 159 of file minisat_global.h.

---

Member Data Documentation

template<class T>

T* MiniSat::vec< T >::data [private]

Definition at line 109 of file minisat_global.h.

Referenced by MiniSat::vec< int >::copyTo(), MiniSat::vec< int >::last(), MiniSat::vec< int >::moveTo(), MiniSat::vec< T >::operator const T *(), MiniSat::vec< T >::operator T *(), MiniSat::vec< int >::operator[](), MiniSat::vec< int >::pop(), MiniSat::vec< int >::push(), MiniSat::vec< int >::release(), and MiniSat::vec< int >::shrink().

template<class T>

int MiniSat::vec< T >::sz [private]

Definition at line 110 of file minisat_global.h.

Referenced by MiniSat::vec< int >::copyTo(), MiniSat::vec< int >::last(), MiniSat::vec< int >::moveTo(), MiniSat::vec< int >::pop(), MiniSat::vec< int >::push(), MiniSat::vec< int >::release(), MiniSat::vec< int >::shrink(), and MiniSat::vec< int >::size().

template<class T>

int MiniSat::vec< T >::cap [private]

Definition at line 111 of file minisat_global.h.

Referenced by MiniSat::vec< int >::moveTo(), MiniSat::vec< int >::push(), and MiniSat::vec< int >::release().

---

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

• minisat_global.h