cvc4-1.4
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 * Context
void * Expr
void * Flags
void * Op
void * Type
void * ExprManager
void * VC
void * Proof
Macros that should be defined everywhere during the building of the libraries and driver binary,...