MiniSat::Heap< C > Class Template Reference

#include <minisat_heap.h>

Inheritance diagram for MiniSat::Heap< C >:

Inheritance graph
[legend]
Collaboration diagram for MiniSat::Heap< C >:

Collaboration graph
[legend]
List of all members.

Public Member Functions

Public Attributes


Detailed Description

template<class C>
class MiniSat::Heap< C >

Definition at line 58 of file minisat_heap.h.


Constructor & Destructor Documentation

template<class C>
MiniSat::Heap< C >::Heap ( c  )  [inline]

Definition at line 93 of file minisat_heap.h.


Member Function Documentation

template<class C>
void MiniSat::Heap< C >::percolateUp ( int  i  )  [inline]

Definition at line 64 of file minisat_heap.h.

Referenced by MiniSat::Heap< VarOrder_lt >::increase(), and MiniSat::Heap< VarOrder_lt >::insert().

template<class C>
void MiniSat::Heap< C >::percolateDown ( int  i  )  [inline]

Definition at line 76 of file minisat_heap.h.

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

template<class C>
bool MiniSat::Heap< C >::ok ( int  n  )  [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().

template<class C>
void MiniSat::Heap< C >::setBounds ( int  size  )  [inline]

Definition at line 95 of file minisat_heap.h.

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

template<class C>
bool MiniSat::Heap< C >::inHeap ( int  n  )  [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().

template<class C>
void MiniSat::Heap< C >::increase ( int  n  )  [inline]

Definition at line 98 of file minisat_heap.h.

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

template<class C>
bool MiniSat::Heap< C >::empty (  )  [inline]

Definition at line 104 of file minisat_heap.h.

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

template<class C>
void MiniSat::Heap< C >::insert ( int  n  )  [inline]

Definition at line 106 of file minisat_heap.h.

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

template<class C>
int MiniSat::Heap< C >::getMin (  )  [inline]

Definition at line 116 of file minisat_heap.h.

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

template<class C>
bool MiniSat::Heap< C >::heapProperty (  )  [inline]

Definition at line 127 of file minisat_heap.h.

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

template<class C>
bool MiniSat::Heap< C >::heapProperty ( int  i  )  [inline]

Definition at line 130 of file minisat_heap.h.


Member Data Documentation

template<class C>
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().

template<class C>
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().

template<class C>
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().


The documentation for this class was generated from the following file:
Generated on Wed Nov 18 16:18:44 2009 for CVC3 by  doxygen 1.5.2