pr.h File Reference

Go to the source code of this file.

Typedefs
typedef typedefABC_NAMESPACE_HEADER_START struct Pr_Man_t_	Pr_Man_t
	INCLUDES ///. More...

Typedef Documentation

typedef typedefABC_NAMESPACE_HEADER_START struct Pr_Man_t_ Pr_Man_t

INCLUDES ///.

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

FileName [pr.h]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Proof recording.]

Synopsis [External declarations.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

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

Revision [

Id:

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

]PARAMETERS ///BASIC TYPES ///

Definition at line 46 of file pr.h.