MiniSat::vec< T > Class Template Reference

#include <minisat_global.h>

Inheritance diagram for MiniSat::vec< T >:

Inheritance graph
[legend]
Collaboration diagram for MiniSat::vec< T >:

Collaboration graph
[legend]
List of all members.

Public Types

Public Member Functions

Private Member Functions

Private Attributes


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::vec< T >::cap, MiniSat::vec< T >::data, and MiniSat::xrealloc().

Referenced by MiniSat::vec< int >::capacity(), MiniSat::vec< T >::growTo(), 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< MiniSat::VarOrder_lt >::empty(), MiniSat::Heap< MiniSat::VarOrder_lt >::heapProperty(), MiniSat::Heap< MiniSat::VarOrder_lt >::insert(), MiniSat::Heap< MiniSat::VarOrder_lt >::ok(), and MiniSat::Heap< MiniSat::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< MiniSat::VarOrder_lt >::getMin().

template<class T>
void MiniSat::vec< T >::growTo ( int  size  ) 

Definition at line 177 of file minisat_global.h.

References MiniSat::vec< T >::data, MiniSat::vec< T >::grow(), and MiniSat::vec< T >::sz.

Referenced by MiniSat::vec< int >::copyTo(), MiniSat::Heap< MiniSat::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.

References MiniSat::vec< T >::data, MiniSat::vec< T >::grow(), and MiniSat::vec< T >::sz.

template<class T>
void MiniSat::vec< T >::clear ( bool  dealloc = false  ) 

Definition at line 184 of file minisat_global.h.

References MiniSat::vec< T >::cap, MiniSat::vec< T >::data, MiniSat::vec< T >::sz, and 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< MiniSat::VarOrder_lt >::Heap(), and MiniSat::Heap< MiniSat::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< MiniSat::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< T >::clear(), MiniSat::vec< int >::copyTo(), MiniSat::vec< T >::grow(), MiniSat::vec< T >::growTo(), 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< T >::clear(), MiniSat::vec< int >::copyTo(), MiniSat::vec< T >::growTo(), 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< T >::clear(), MiniSat::vec< T >::grow(), MiniSat::vec< int >::moveTo(), MiniSat::vec< int >::push(), and MiniSat::vec< int >::release().


The documentation for this class was generated from the following file:
Generated on Tue Jul 3 14:42:21 2007 for CVC3 by  doxygen 1.5.1