CVC3  2.4.1
Public Types | Public Member Functions | Private Member Functions | Private Attributes
MiniSat::vec Class Reference

#include <minisat_global.h>

List of all members.

Public Types

Public Member Functions

Private Member Functions

Private Attributes


Member Typedef Documentation

typedef int MiniSat::vec::Key

Definition at line 118 of file minisat_global.h.

Definition at line 119 of file minisat_global.h.


Constructor & Destructor Documentation

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.


Member Function Documentation

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]
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)
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]
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.

vec<T>& MiniSat::vec::operator= ( vec< T > &  other) [inline]

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.


Member Data Documentation

T* MiniSat::vec::data [private]
int MiniSat::vec::sz [private]
int MiniSat::vec::cap [private]

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