exp.h File Reference

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

Go to the source code of this file.

Macros
#define	EXP_CONST0   -1
	INCLUDES ///.
#define	EXP_CONST1   -2

Macro Definition Documentation

EXP_CONST0

#define EXP_CONST0   -1

INCLUDES ///.

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

FileName [exp.h]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Boolean expression.]

Synopsis [External declarations.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - June 20, 2005.]

Revision [

Id

exp.h,v 1.00 2005/06/20 00:00:00 alanmi Exp

] PARAMETERS /// BASIC TYPES /// MACRO DEFINITIONS ///

Definition at line 43 of file exp.h.

EXP_CONST1

#define EXP_CONST1   -2

Definition at line 44 of file exp.h.