MiniSat::Heap< C > Class Template Reference

#include <minisat_heap.h>

Collaboration diagram for MiniSat::Heap< C >:

List of all members.

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

---

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

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:

• minisat_heap.h