cvc4-1.3
Main Page
Related Pages
Namespaces
Data Structures
Files
File List
Globals
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
Flags
void * Flags
Definition:
c_interface_defs.h:44
Expr
void * Expr
Definition:
c_interface_defs.h:46
VC
void * VC
Definition:
c_interface_defs.h:41
ExprManager
void * ExprManager
Definition:
c_interface_defs.h:43
cvc4_public.h
Macros that should be defined everywhere during the building of the libraries and driver binary...
Op
void * Op
Definition:
c_interface_defs.h:47
Proof
void * Proof
Definition:
c_interface_defs.h:49
Context
void * Context
Definition:
c_interface_defs.h:42
Type
void * Type
Definition:
c_interface_defs.h:48
src
bindings
compat
c
c_interface_defs.h
Generated by
1.8.7