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