xsatMemory.h File Reference

#include "misc/util/abc_global.h"
#include "xsatClause.h"

Include dependency graph for xsatMemory.h:

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

Go to the source code of this file.

Classes
struct	xSAT_Mem_t_

Typedefs
typedef typedefABC_NAMESPACE_HEADER_START struct xSAT_Mem_t_	xSAT_Mem_t
	INCLUDES ///.

Typedef Documentation

xSAT_Mem_t

typedef typedefABC_NAMESPACE_HEADER_START struct xSAT_Mem_t_ xSAT_Mem_t

INCLUDES ///.

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

FileName [xsatMemory.h]

SystemName [ABC: Logic synthesis and verification system.]

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

Synopsis [Memory management 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 36 of file xsatMemory.h.