abc70930: src/sat/proof/pr.h Source File

00001 
00021 #ifndef __PR_H__
00022 #define __PR_H__
00023 
00024 #ifdef __cplusplus
00025 extern "C" {
00026 #endif
00027 
00028 #ifdef _WIN32
00029 #define inline __inline // compatible with MS VS 6.0
00030 #endif
00031 
00035 
00039 
00043 
00044 typedef struct Pr_Man_t_ Pr_Man_t;
00045 
00049 
00053 
00054 /*=== pr.c ==========================================================*/
00055  
00056 #ifdef __cplusplus
00057 }
00058 #endif
00059 
00060 #endif
00061 
00065