#include <minisat_global.h>

Collaboration diagram for MiniSat::vec< T >:

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

Public Types

Public Member Functions

Private Member Functions

Private Attributes

Detailed Description

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

Member Typedef Documentation

Constructor & Destructor Documentation

Member Function Documentation

Member Data Documentation

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