CVC3
2.4.1
|
#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 > ©) 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 |
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.
|
inline |
Definition at line 122 of file minisat_global.h.
|
inline |
Definition at line 123 of file minisat_global.h.
|
inline |
Definition at line 124 of file minisat_global.h.
|
inline |
Definition at line 125 of file minisat_global.h.
|
inline |
Definition at line 126 of file minisat_global.h.
|
inline |
Definition at line 155 of file minisat_global.h.
|
private |
|
private |
Definition at line 163 of file minisat_global.h.
References MiniSat::xrealloc().
Referenced by MiniSat::vec< int >::capacity(), and MiniSat::vec< int >::push().
|
inline |
Definition at line 129 of file minisat_global.h.
|
inline |
Definition at line 130 of file minisat_global.h.
References MiniSat::vec< T >::data.
|
inline |
Definition at line 131 of file minisat_global.h.
References MiniSat::vec< T >::data.
|
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().
|
inline |
Definition at line 135 of file minisat_global.h.
|
inline |
Definition at line 137 of file minisat_global.h.
Referenced by MiniSat::Heap< MiniSat::VarOrder_lt >::getMin().
void MiniSat::vec< T >::growTo | ( | int | size | ) |
Definition at line 177 of file minisat_global.h.
Referenced by MiniSat::vec< int >::copyTo(), MiniSat::Heap< MiniSat::VarOrder_lt >::setBounds(), and MiniSat::vec< int >::vec().
void MiniSat::vec< T >::growTo | ( | int | size, |
const T & | pad | ||
) |
Definition at line 170 of file minisat_global.h.
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().
|
inline |
Definition at line 141 of file minisat_global.h.
|
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().
|
inline |
Definition at line 145 of file minisat_global.h.
|
inline |
Definition at line 146 of file minisat_global.h.
Referenced by MiniSat::Heap< MiniSat::VarOrder_lt >::getMin().
|
inline |
Definition at line 147 of file minisat_global.h.
|
inline |
Definition at line 150 of file minisat_global.h.
|
inline |
Definition at line 151 of file minisat_global.h.
|
inline |
Definition at line 154 of file minisat_global.h.
|
inline |
Definition at line 158 of file minisat_global.h.
|
inline |
Definition at line 159 of file minisat_global.h.
|
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().
|
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().
|
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().