Go to the documentation of this file.
40 #ifndef _cvc3__minisat__heap_h_
41 #define _cvc3__minisat__heap_h_
53 static inline int left (
int i) {
return i+i; }
54 static inline int right (
int i) {
return i+i + 1; }
55 static inline int parent(
int i) {
return i >> 1; }
107 DebugAssert(n > 0,
"MiniSat::Heap::insert: inserting invalid var id");
118 DebugAssert(r > 0,
"MiniSatHeap:getmin: invalid var id");