abc-master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
pr.h
Go to the documentation of this file.
1 /**CFile****************************************************************
2 
3  FileName [pr.h]
4 
5  SystemName [ABC: Logic synthesis and verification system.]
6 
7  PackageName [Proof recording.]
8 
9  Synopsis [External declarations.]
10 
11  Author [Alan Mishchenko]
12 
13  Affiliation [UC Berkeley]
14 
15  Date [Ver. 1.0. Started - June 20, 2005.]
16 
17  Revision [$Id: pr.h,v 1.00 2005/06/20 00:00:00 alanmi Exp $]
18 
19 ***********************************************************************/
20 
21 #ifndef ABC__sat__proof__pr_h
22 #define ABC__sat__proof__pr_h
23 
24 
25 #ifdef _WIN32
26 #define inline __inline // compatible with MS VS 6.0
27 #endif
28 
29 ////////////////////////////////////////////////////////////////////////
30 /// INCLUDES ///
31 ////////////////////////////////////////////////////////////////////////
32 
33 ////////////////////////////////////////////////////////////////////////
34 /// PARAMETERS ///
35 ////////////////////////////////////////////////////////////////////////
36 
37 
38 
39 ABC_NAMESPACE_HEADER_START
40 
41 
42 ////////////////////////////////////////////////////////////////////////
43 /// BASIC TYPES ///
44 ////////////////////////////////////////////////////////////////////////
45 
46 typedef struct Pr_Man_t_ Pr_Man_t;
47 
48 ////////////////////////////////////////////////////////////////////////
49 /// MACRO DEFINITIONS ///
50 ////////////////////////////////////////////////////////////////////////
51 
52 ////////////////////////////////////////////////////////////////////////
53 /// FUNCTION DECLARATIONS ///
54 ////////////////////////////////////////////////////////////////////////
55 
56 /*=== pr.c ==========================================================*/
57 
58 
59 
60 ABC_NAMESPACE_HEADER_END
61 
62 
63 
64 #endif
65 
66 ////////////////////////////////////////////////////////////////////////
67 /// END OF FILE ///
68 ////////////////////////////////////////////////////////////////////////
69 
Pr_Man_t_
Definition: pr.c:55
Pr_Man_t
typedefABC_NAMESPACE_HEADER_START struct Pr_Man_t_ Pr_Man_t
INCLUDES ///.
Definition: pr.h:46
ABC_NAMESPACE_HEADER_START
#define ABC_NAMESPACE_HEADER_START
NAMESPACES ///.
Definition: abc_global.h:105
ABC_NAMESPACE_HEADER_END
#define ABC_NAMESPACE_HEADER_END
Definition: abc_global.h:106