CVC3  2.4.1
Public Member Functions | Public Attributes
MiniSat::Heap Class Reference

#include <minisat_heap.h>

List of all members.

Public Member Functions

Public Attributes


Constructor & Destructor Documentation

MiniSat::Heap::Heap ( c) [inline]

Definition at line 93 of file minisat_heap.h.


Member Function Documentation

void MiniSat::Heap::percolateUp ( int  i) [inline]
void MiniSat::Heap::percolateDown ( int  i) [inline]

Definition at line 76 of file minisat_heap.h.

Referenced by MiniSat::Heap< VarOrder_lt >::getMin().

bool MiniSat::Heap::ok ( int  n) [inline]
void MiniSat::Heap::setBounds ( int  size) [inline]

Definition at line 95 of file minisat_heap.h.

Referenced by MiniSat::VarOrder::newVar().

bool MiniSat::Heap::inHeap ( int  n) [inline]
void MiniSat::Heap::increase ( int  n) [inline]

Definition at line 98 of file minisat_heap.h.

Referenced by MiniSat::VarOrder::update().

bool MiniSat::Heap::empty ( ) [inline]

Definition at line 104 of file minisat_heap.h.

Referenced by MiniSat::VarOrder::select().

void MiniSat::Heap::insert ( int  n) [inline]

Definition at line 106 of file minisat_heap.h.

Referenced by MiniSat::VarOrder::newVar(), and MiniSat::VarOrder::undo().

int MiniSat::Heap::getMin ( ) [inline]

Definition at line 116 of file minisat_heap.h.

Referenced by MiniSat::VarOrder::select().

bool MiniSat::Heap::heapProperty ( ) [inline]

Definition at line 127 of file minisat_heap.h.

Referenced by MiniSat::Heap< VarOrder_lt >::heapProperty().

bool MiniSat::Heap::heapProperty ( int  i) [inline]

Definition at line 130 of file minisat_heap.h.


Member Data Documentation


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