CVC3  2.4.1
Public Types | Public Member Functions | Private Member Functions | Private Attributes | List of all members
MiniSat::vec< T > Class Template Reference

#include <minisat_global.h>

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
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)
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)
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
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
template<class T>
int MiniSat::vec< T >::sz
private
template<class T>
int MiniSat::vec< T >::cap
private

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