abc-master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
m114p_types.h
Go to the documentation of this file.
1 // C-language header for MiniSat 1.14p
2 
3 #ifndef ABC__sat__psat__m114p_types_h
4 #define ABC__sat__psat__m114p_types_h
5 
6 
7 ABC_NAMESPACE_HEADER_START
8 
9 typedef int M114p_Solver_t;
10 
11 ABC_NAMESPACE_HEADER_END
12 
13 #endif
M114p_Solver_t
ABC_NAMESPACE_HEADER_START typedef int M114p_Solver_t
Definition: m114p_types.h:9
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