xsatBQueue.h File Reference

#include "misc/util/abc_global.h"

Include dependency graph for xsatBQueue.h:

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

Go to the source code of this file.

Classes
struct	xSAT_BQueue_t_

Typedefs
typedef typedefABC_NAMESPACE_HEADER_START struct xSAT_BQueue_t_	xSAT_BQueue_t
	INCLUDES ///.

Typedef Documentation

xSAT_BQueue_t

typedef typedefABC_NAMESPACE_HEADER_START struct xSAT_BQueue_t_ xSAT_BQueue_t

INCLUDES ///.

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

FileName [xsatBQueue.h]

SystemName [ABC: Logic synthesis and verification system.]

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

Synopsis [Bounded queue 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 [] STRUCTURE DEFINITIONS ///

Definition at line 34 of file xsatBQueue.h.