minisat_heap.h File Reference

MiniSat internal heap implementation. More...

#include "debug.h"
#include <iostream>

Go to the source code of this file.

Classes

• class MiniSat::Heap< C >

Namespaces

• namespace MiniSat

Functions

• static int MiniSat::left (int i)
• static int MiniSat::right (int i)
• static int MiniSat::parent (int i)

---

Detailed Description

MiniSat internal heap implementation.

Author: Alexander Fuchs

Created: Fri Sep 08 11:04:00 2006

---

License to use, copy, modify, sell and/or distribute this software and its documentation for any purpose is hereby granted without royalty, subject to the terms and conditions defined in the LICENSE file provided with this distribution.

---

Definition in file minisat_heap.h.