1 files changed, 123 insertions, 0 deletions
diff --git a/rba.tool.editor.endpoint/lib/linux/z3/bin/python/z3/z3types.py b/rba.tool.editor.endpoint/lib/linux/z3/bin/python/z3/z3types.py
new file mode 100644
index 0000000..4788ec3
--- /dev/null
+++ b/rba.tool.editor.endpoint/lib/linux/z3/bin/python/z3/z3types.py
@@ -0,0 +1,123 @@
+############################################
+# Copyright (c) 2012 Microsoft Corporation
+# 
+# Z3 Python interface
+#
+# Author: Leonardo de Moura (leonardo)
+############################################
+
+import ctypes
+
+class Z3Exception(Exception):
+    def __init__(self, value):
+        self.value = value
+    def __str__(self):
+        return str(self.value)
+
+class ContextObj(ctypes.c_void_p):
+  def __init__(self, context): self._as_parameter_ = context
+  def from_param(obj): return obj
+
+class Config(ctypes.c_void_p):
+  def __init__(self, config): self._as_parameter_ = config
+  def from_param(obj): return obj
+
+class Symbol(ctypes.c_void_p):
+  def __init__(self, symbol): self._as_parameter_ = symbol
+  def from_param(obj): return obj
+
+class Sort(ctypes.c_void_p):
+  def __init__(self, sort): self._as_parameter_ = sort
+  def from_param(obj): return obj
+
+class FuncDecl(ctypes.c_void_p):
+  def __init__(self, decl): self._as_parameter_ = decl
+  def from_param(obj): return obj
+
+class Ast(ctypes.c_void_p):
+  def __init__(self, ast): self._as_parameter_ = ast
+  def from_param(obj): return obj
+
+class Pattern(ctypes.c_void_p):
+  def __init__(self, pattern): self._as_parameter_ = pattern
+  def from_param(obj): return obj
+
+class Model(ctypes.c_void_p):
+  def __init__(self, model): self._as_parameter_ = model
+  def from_param(obj): return obj
+
+class Literals(ctypes.c_void_p):
+  def __init__(self, literals): self._as_parameter_ = literals
+  def from_param(obj): return obj
+
+class Constructor(ctypes.c_void_p):
+  def __init__(self, constructor): self._as_parameter_ = constructor
+  def from_param(obj): return obj
+
+class ConstructorList(ctypes.c_void_p):
+  def __init__(self, constructor_list): self._as_parameter_ = constructor_list
+  def from_param(obj): return obj
+
+class GoalObj(ctypes.c_void_p):
+  def __init__(self, goal): self._as_parameter_ = goal
+  def from_param(obj): return obj
+
+class TacticObj(ctypes.c_void_p):
+  def __init__(self, tactic): self._as_parameter_ = tactic
+  def from_param(obj): return obj
+
+class ProbeObj(ctypes.c_void_p):
+  def __init__(self, probe): self._as_parameter_ = probe
+  def from_param(obj): return obj
+
+class ApplyResultObj(ctypes.c_void_p):
+  def __init__(self, obj): self._as_parameter_ = obj
+  def from_param(obj): return obj
+
+class StatsObj(ctypes.c_void_p):
+  def __init__(self, statistics): self._as_parameter_ = statistics
+  def from_param(obj): return obj
+
+class SolverObj(ctypes.c_void_p):
+  def __init__(self, solver): self._as_parameter_ = solver
+  def from_param(obj): return obj
+
+class FixedpointObj(ctypes.c_void_p):
+  def __init__(self, fixedpoint): self._as_parameter_ = fixedpoint
+  def from_param(obj): return obj
+
+class OptimizeObj(ctypes.c_void_p):
+  def __init__(self, optimize): self._as_parameter_ = optimize
+  def from_param(obj): return obj
+
+class ModelObj(ctypes.c_void_p):
+  def __init__(self, model): self._as_parameter_ = model
+  def from_param(obj): return obj
+
+class AstVectorObj(ctypes.c_void_p):
+  def __init__(self, vector): self._as_parameter_ = vector
+  def from_param(obj): return obj
+
+class AstMapObj(ctypes.c_void_p):
+  def __init__(self, ast_map): self._as_parameter_ = ast_map
+  def from_param(obj): return obj
+
+class Params(ctypes.c_void_p):
+  def __init__(self, params): self._as_parameter_ = params
+  def from_param(obj): return obj
+
+class ParamDescrs(ctypes.c_void_p):
+  def __init__(self, paramdescrs): self._as_parameter_ = paramdescrs
+  def from_param(obj): return obj
+
+class FuncInterpObj(ctypes.c_void_p):
+  def __init__(self, f): self._as_parameter_ = f
+  def from_param(obj): return obj
+
+class FuncEntryObj(ctypes.c_void_p):
+  def __init__(self, e): self._as_parameter_ = e
+  def from_param(obj): return obj
+
+class RCFNumObj(ctypes.c_void_p):
+  def __init__(self, e): self._as_parameter_ = e
+  def from_param(obj): return obj