xsatHeap.h File Reference

#include "misc/util/abc_global.h"
#include "misc/vec/vecInt.h"

Include dependency graph for xsatHeap.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
struct	xSAT_Heap_t_

Typedefs
typedef typedefABC_NAMESPACE_HEADER_START struct xSAT_Heap_t_	xSAT_Heap_t
	STRUCTURE DEFINITIONS ///.

Typedef Documentation

xSAT_Heap_t

typedef typedefABC_NAMESPACE_HEADER_START struct xSAT_Heap_t_ xSAT_Heap_t

STRUCTURE DEFINITIONS ///.

CFile****************************************************************

FileName [xsatHeap.h]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [xSAT - A SAT solver written in C. Read the license file for more info.]

Synopsis [Heap implementation.]

Author [Bruno Schmitt bosch.nosp@m.mitt.nosp@m.@inf..nosp@m.ufrg.nosp@m.s.br]

Affiliation [UC Berkeley / UFRGS]

Date [Ver. 1.0. Started - November 10, 2016.]

Revision []

Definition at line 32 of file xsatHeap.h.