############################################
# 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 SimplifierObj(ctypes.c_void_p):
    def __init__(self, simplifier):
        self._as_parameter_ = simplifier

    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 SolverCallbackObj(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 ParserContextObj(ctypes.c_void_p):
    def __init__(self, pc):
        self._as_parameter_ = pc

    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