CVC3
|
#include <minisat_heap.h>
Public Member Functions | |
void | percolateUp (int i) |
void | percolateDown (int i) |
bool | ok (int n) |
Heap (C c) | |
void | setBounds (int size) |
bool | inHeap (int n) |
void | increase (int n) |
bool | empty () |
void | insert (int n) |
int | getMin () |
bool | heapProperty () |
bool | heapProperty (int i) |
Public Attributes | |
C | comp |
vec< int > | heap |
vec< int > | indices |
Definition at line 58 of file minisat_heap.h.
|
inline |
Definition at line 93 of file minisat_heap.h.
|
inline |
Definition at line 64 of file minisat_heap.h.
Referenced by MiniSat::Heap< VarOrder_lt >::increase(), and MiniSat::Heap< VarOrder_lt >::insert().
|
inline |
Definition at line 76 of file minisat_heap.h.
Referenced by MiniSat::Heap< VarOrder_lt >::getMin().
|
inline |
Definition at line 90 of file minisat_heap.h.
Referenced by MiniSat::Heap< VarOrder_lt >::increase(), MiniSat::Heap< VarOrder_lt >::inHeap(), and MiniSat::Heap< VarOrder_lt >::insert().
|
inline |
Definition at line 95 of file minisat_heap.h.
Referenced by MiniSat::VarOrder::newVar().
|
inline |
Definition at line 96 of file minisat_heap.h.
Referenced by MiniSat::Heap< VarOrder_lt >::increase(), MiniSat::Heap< VarOrder_lt >::insert(), MiniSat::VarOrder::undo(), and MiniSat::VarOrder::update().
|
inline |
Definition at line 98 of file minisat_heap.h.
Referenced by MiniSat::VarOrder::update().
|
inline |
Definition at line 104 of file minisat_heap.h.
Referenced by MiniSat::VarOrder::select().
|
inline |
Definition at line 106 of file minisat_heap.h.
Referenced by MiniSat::VarOrder::newVar(), and MiniSat::VarOrder::undo().
|
inline |
Definition at line 116 of file minisat_heap.h.
Referenced by MiniSat::VarOrder::select().
|
inline |
Definition at line 127 of file minisat_heap.h.
Referenced by MiniSat::Heap< VarOrder_lt >::heapProperty().
|
inline |
Definition at line 130 of file minisat_heap.h.
C MiniSat::Heap< C >::comp |
Definition at line 60 of file minisat_heap.h.
Referenced by MiniSat::Heap< VarOrder_lt >::heapProperty(), MiniSat::Heap< VarOrder_lt >::percolateDown(), and MiniSat::Heap< VarOrder_lt >::percolateUp().
vec<int> MiniSat::Heap< C >::heap |
Definition at line 61 of file minisat_heap.h.
Referenced by MiniSat::Heap< VarOrder_lt >::empty(), MiniSat::Heap< VarOrder_lt >::getMin(), MiniSat::Heap< VarOrder_lt >::Heap(), MiniSat::Heap< VarOrder_lt >::heapProperty(), MiniSat::Heap< VarOrder_lt >::insert(), MiniSat::Heap< VarOrder_lt >::percolateDown(), and MiniSat::Heap< VarOrder_lt >::percolateUp().
vec<int> MiniSat::Heap< C >::indices |
Definition at line 62 of file minisat_heap.h.
Referenced by MiniSat::Heap< VarOrder_lt >::getMin(), MiniSat::Heap< VarOrder_lt >::increase(), MiniSat::Heap< VarOrder_lt >::inHeap(), MiniSat::Heap< VarOrder_lt >::insert(), MiniSat::Heap< VarOrder_lt >::ok(), MiniSat::Heap< VarOrder_lt >::percolateDown(), MiniSat::Heap< VarOrder_lt >::percolateUp(), and MiniSat::Heap< VarOrder_lt >::setBounds().