#include <minisat_global.h>
Definition at line 108 of file minisat_global.h.
typedef int MiniSat::vec< T >::Key |
Definition at line 118 of file minisat_global.h.
typedef T MiniSat::vec< T >::Datum |
Definition at line 119 of file minisat_global.h.
MiniSat::vec< T >::vec | ( | void | ) | [inline] |
Definition at line 122 of file minisat_global.h.
MiniSat::vec< T >::vec | ( | int | size | ) | [inline] |
Definition at line 123 of file minisat_global.h.
MiniSat::vec< T >::vec | ( | int | size, | |
const T & | pad | |||
) | [inline] |
Definition at line 124 of file minisat_global.h.
MiniSat::vec< T >::vec | ( | T * | array, | |
int | size | |||
) | [inline] |
Definition at line 125 of file minisat_global.h.
MiniSat::vec< T >::~vec | ( | void | ) | [inline] |
Definition at line 126 of file minisat_global.h.
MiniSat::vec< T >::vec | ( | vec< T > & | other | ) | [inline] |
Definition at line 155 of file minisat_global.h.
void MiniSat::vec< T >::init | ( | int | size, | |
const T & | pad | |||
) | [private] |
void MiniSat::vec< T >::grow | ( | int | min_cap | ) | [inline, 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().
T* MiniSat::vec< T >::release | ( | void | ) | [inline] |
Definition at line 129 of file minisat_global.h.
MiniSat::vec< T >::operator T * | ( | void | ) | [inline] |
MiniSat::vec< T >::operator const T * | ( | void | ) | const [inline] |
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().
void MiniSat::vec< T >::shrink | ( | int | nelems | ) | [inline] |
Definition at line 135 of file minisat_global.h.
void MiniSat::vec< T >::pop | ( | void | ) | [inline] |
Definition at line 137 of file minisat_global.h.
Referenced by MiniSat::Heap< VarOrder_lt >::getMin().
void MiniSat::vec< T >::growTo | ( | int | size | ) | [inline] |
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< VarOrder_lt >::setBounds(), and MiniSat::vec< int >::vec().
void MiniSat::vec< T >::growTo | ( | int | size, | |
const T & | pad | |||
) | [inline] |
Definition at line 170 of file minisat_global.h.
References MiniSat::vec< T >::data, MiniSat::vec< T >::grow(), and MiniSat::vec< T >::sz.
void MiniSat::vec< T >::clear | ( | bool | dealloc = false |
) | [inline] |
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().
void MiniSat::vec< T >::capacity | ( | int | size | ) | [inline] |
Definition at line 141 of file minisat_global.h.
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().
void MiniSat::vec< T >::push | ( | const T & | elem | ) | [inline] |
Definition at line 145 of file minisat_global.h.
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().
T& MiniSat::vec< T >::last | ( | void | ) | [inline] |
Definition at line 147 of file minisat_global.h.
const T& MiniSat::vec< T >::operator[] | ( | int | index | ) | const [inline] |
Definition at line 150 of file minisat_global.h.
T& MiniSat::vec< T >::operator[] | ( | int | index | ) | [inline] |
Definition at line 151 of file minisat_global.h.
vec<T>& MiniSat::vec< T >::operator= | ( | vec< T > & | other | ) | [inline] |
Definition at line 154 of file minisat_global.h.
void MiniSat::vec< T >::copyTo | ( | vec< T > & | copy | ) | const [inline] |
Definition at line 158 of file minisat_global.h.
void MiniSat::vec< T >::moveTo | ( | vec< T > & | dest | ) | [inline] |
Definition at line 159 of file minisat_global.h.
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().
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().
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().