xsatClause.h File Reference

#include "misc/util/abc_global.h"

Include dependency graph for xsatClause.h:

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

Go to the source code of this file.

Classes
struct	xSAT_Clause_t_

Typedefs
typedef typedefABC_NAMESPACE_HEADER_START struct xSAT_Clause_t_	xSAT_Clause_t
	INCLUDES ///.

Typedef Documentation

xSAT_Clause_t

typedef typedefABC_NAMESPACE_HEADER_START struct xSAT_Clause_t_ xSAT_Clause_t

INCLUDES ///.

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

FileName [xsatClause.h]

SystemName [ABC: Logic synthesis and verification system.]

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

Synopsis [Clause data type definition.]

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 xsatClause.h.