ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
pr.h
Go to the documentation of this file.
1
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
32
36
37
38
39ABC_NAMESPACE_HEADER_START
40
41
45
46typedef struct Pr_Man_t_ Pr_Man_t;
47
51
55
56/*=== pr.c ==========================================================*/
57
58
59
60ABC_NAMESPACE_HEADER_END
61
62
63
64#endif
65
69
ABC_NAMESPACE_HEADER_END
#define ABC_NAMESPACE_HEADER_END
Definition abc_namespaces.h:51
ABC_NAMESPACE_HEADER_START
#define ABC_NAMESPACE_HEADER_START
NAMESPACES ///.
Definition abc_namespaces.h:50
Pr_Man_t
typedefABC_NAMESPACE_HEADER_START struct Pr_Man_t_ Pr_Man_t
INCLUDES ///.
Definition pr.h:46
Pr_Man_t_
Definition pr.c:56