CVC3
Public Member Functions | Public Attributes | List of all members
MiniSat::Heap< C > Class Template Reference

#include <minisat_heap.h>

Collaboration diagram for MiniSat::Heap< C >:
Collaboration graph

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

comp
 
vec< int > heap
 
vec< int > indices
 

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
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
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
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
template<class C>
vec<int> MiniSat::Heap< C >::heap
template<class C>
vec<int> MiniSat::Heap< C >::indices

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