cvc4-1.3
c_interface_defs.h
Go to the documentation of this file.
1 /*****************************************************************************/
19 /*****************************************************************************/
20 
21 #include "cvc4_public.h"
22 
23 #ifndef _cvc3__include__c_interface_defs_h_
24 #define _cvc3__include__c_interface_defs_h_
25 
26 //#include "kinds.h"
27 
28 #ifdef CVC3_STRONG_TYPING
29 
30  typedef struct _cvc_VC *VC;
31  typedef struct _cvc_Context *Context;
32  typedef struct _cvc_ExprManager *ExprManager;
33  typedef struct _cvc_Flags *Flags;
34 
35  typedef struct _cvc_Expr * Expr;
36  typedef struct _cvc_Op * Op;
37  typedef struct _cvc_Type* Type;
38 #else
39 
40  //This gives absolutely no static pointer typing.
41  typedef void* VC;
42  typedef void* Context;
43  typedef void* ExprManager;
44  typedef void* Flags;
45 
46  typedef void* Expr;
47  typedef void* Op;
48  typedef void* Type;
49  typedef void* Proof;
50 
51 #endif
52 #endif
53 
void * Flags
void * Expr
void * VC
void * ExprManager
Macros that should be defined everywhere during the building of the libraries and driver binary...
void * Op
void * Proof
void * Context
void * Type