From d529e4c065d880f5fdf6e10cb0996a45e739bb51 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Tue, 27 Sep 2011 00:34:30 +0000
Subject: more interface work; adding legacy C interface

---
 src/bindings/compat/c/c_interface_defs.h | 51 ++++++++++++++++++++++++++++++++
 1 file changed, 51 insertions(+)
 create mode 100644 src/bindings/compat/c/c_interface_defs.h

(limited to 'src/bindings/compat/c/c_interface_defs.h')

diff --git a/src/bindings/compat/c/c_interface_defs.h b/src/bindings/compat/c/c_interface_defs.h
new file mode 100644
index 000000000..9b59fce56
--- /dev/null
+++ b/src/bindings/compat/c/c_interface_defs.h
@@ -0,0 +1,51 @@
+/*****************************************************************************/
+/*!
+ * \file c_interface_defs.h
+ * 
+ * Author: Clark Barrett
+ * 
+ * Created: Thu Jun  5 13:16:26 2003
+ *
+ * <hr>
+ *
+ * License to use, copy, modify, sell and/or distribute this software
+ * and its documentation for any purpose is hereby granted without
+ * royalty, subject to the terms and conditions defined in the \ref
+ * LICENSE file provided with this distribution.
+ * 
+ * <hr>
+ * 
+ */
+/*****************************************************************************/
+
+#ifndef _cvc3__include__c_interface_defs_h_
+#define _cvc3__include__c_interface__defs_h_
+
+//#include "kinds.h"
+
+#ifdef CVC3_STRONG_TYPING
+
+        typedef struct _cvc_VC *VC;
+        typedef struct _cvc_Context *Context;
+        typedef struct _cvc_ExprManager *ExprManager;
+        typedef struct _cvc_Flags *Flags;
+
+        typedef struct _cvc_Expr * Expr;
+        typedef struct _cvc_Op * Op;
+        typedef struct _cvc_Type* Type;
+#else
+
+        //This gives absolutely no static pointer typing.
+        typedef void* VC;
+        typedef void* Context;
+        typedef void* ExprManager;
+        typedef void* Flags;
+
+        typedef void* Expr;
+        typedef void* Op;
+        typedef void* Type;
+        typedef void* Proof;
+
+#endif
+#endif
+
-- 
cgit v1.2.3