############################################
# Copyright (c) 2012 Microsoft Corporation
#
# Z3 Python interface
#
# Author: Leonardo de Moura (leonardo)
############################################

Modules
		ctypes

Classes
		ctypes.c_void_p(_ctypes._SimpleCData) ApplyResultObj Ast AstMapObj AstVectorObj Config Constructor ConstructorList ContextObj FixedpointObj FuncDecl FuncEntryObj FuncInterpObj GoalObj Literals Model ModelObj OptimizeObj ParamDescrs Params Pattern ProbeObj RCFNumObj SolverCallbackObj SolverObj Sort StatsObj Symbol TacticObj exceptions.Exception(exceptions.BaseException) Z3Exception   class ApplyResultObj(ctypes.c_void_p)       Method resolution order: ApplyResultObj ctypes.c_void_p _ctypes._SimpleCData _ctypes._CData __builtin__.object Methods defined here: __init__(self, obj) from_param(obj) Data descriptors inherited from ctypes.c_void_p: __dict__ dictionary for instance variables (if defined) __weakref__ list of weak references to the object (if defined) Methods inherited from _ctypes._SimpleCData: __ctypes_from_outparam__(...) __nonzero__(...) x.__nonzero__() <==> x != 0 __repr__(...) x.__repr__() <==> repr(x) Data descriptors inherited from _ctypes._SimpleCData: value current value Data and other attributes inherited from _ctypes._SimpleCData: __new__ = <built-in method __new__ of _ctypes.PyCSimpleType object> T.__new__(S, ...) -> a new object with type S, a subtype of T Methods inherited from _ctypes._CData: __hash__(...) x.__hash__() <==> hash(x) __reduce__(...) __setstate__(...)   class Ast(ctypes.c_void_p)       Method resolution order: Ast ctypes.c_void_p _ctypes._SimpleCData _ctypes._CData __builtin__.object Methods defined here: __init__(self, ast) from_param(obj) Data descriptors inherited from ctypes.c_void_p: __dict__ dictionary for instance variables (if defined) __weakref__ list of weak references to the object (if defined) Methods inherited from _ctypes._SimpleCData: __ctypes_from_outparam__(...) __nonzero__(...) x.__nonzero__() <==> x != 0 __repr__(...) x.__repr__() <==> repr(x) Data descriptors inherited from _ctypes._SimpleCData: value current value Data and other attributes inherited from _ctypes._SimpleCData: __new__ = <built-in method __new__ of _ctypes.PyCSimpleType object> T.__new__(S, ...) -> a new object with type S, a subtype of T Methods inherited from _ctypes._CData: __hash__(...) x.__hash__() <==> hash(x) __reduce__(...) __setstate__(...)   class AstMapObj(ctypes.c_void_p)       Method resolution order: AstMapObj ctypes.c_void_p _ctypes._SimpleCData _ctypes._CData __builtin__.object Methods defined here: __init__(self, ast_map) from_param(obj) Data descriptors inherited from ctypes.c_void_p: __dict__ dictionary for instance variables (if defined) __weakref__ list of weak references to the object (if defined) Methods inherited from _ctypes._SimpleCData: __ctypes_from_outparam__(...) __nonzero__(...) x.__nonzero__() <==> x != 0 __repr__(...) x.__repr__() <==> repr(x) Data descriptors inherited from _ctypes._SimpleCData: value current value Data and other attributes inherited from _ctypes._SimpleCData: __new__ = <built-in method __new__ of _ctypes.PyCSimpleType object> T.__new__(S, ...) -> a new object with type S, a subtype of T Methods inherited from _ctypes._CData: __hash__(...) x.__hash__() <==> hash(x) __reduce__(...) __setstate__(...)   class AstVectorObj(ctypes.c_void_p)       Method resolution order: AstVectorObj ctypes.c_void_p _ctypes._SimpleCData _ctypes._CData __builtin__.object Methods defined here: __init__(self, vector) from_param(obj) Data descriptors inherited from ctypes.c_void_p: __dict__ dictionary for instance variables (if defined) __weakref__ list of weak references to the object (if defined) Methods inherited from _ctypes._SimpleCData: __ctypes_from_outparam__(...) __nonzero__(...) x.__nonzero__() <==> x != 0 __repr__(...) x.__repr__() <==> repr(x) Data descriptors inherited from _ctypes._SimpleCData: value current value Data and other attributes inherited from _ctypes._SimpleCData: __new__ = <built-in method __new__ of _ctypes.PyCSimpleType object> T.__new__(S, ...) -> a new object with type S, a subtype of T Methods inherited from _ctypes._CData: __hash__(...) x.__hash__() <==> hash(x) __reduce__(...) __setstate__(...)   class Config(ctypes.c_void_p)       Method resolution order: Config ctypes.c_void_p _ctypes._SimpleCData _ctypes._CData __builtin__.object Methods defined here: __init__(self, config) from_param(obj) Data descriptors inherited from ctypes.c_void_p: __dict__ dictionary for instance variables (if defined) __weakref__ list of weak references to the object (if defined) Methods inherited from _ctypes._SimpleCData: __ctypes_from_outparam__(...) __nonzero__(...) x.__nonzero__() <==> x != 0 __repr__(...) x.__repr__() <==> repr(x) Data descriptors inherited from _ctypes._SimpleCData: value current value Data and other attributes inherited from _ctypes._SimpleCData: __new__ = <built-in method __new__ of _ctypes.PyCSimpleType object> T.__new__(S, ...) -> a new object with type S, a subtype of T Methods inherited from _ctypes._CData: __hash__(...) x.__hash__() <==> hash(x) __reduce__(...) __setstate__(...)   class Constructor(ctypes.c_void_p)       Method resolution order: Constructor ctypes.c_void_p _ctypes._SimpleCData _ctypes._CData __builtin__.object Methods defined here: __init__(self, constructor) from_param(obj) Data descriptors inherited from ctypes.c_void_p: __dict__ dictionary for instance variables (if defined) __weakref__ list of weak references to the object (if defined) Methods inherited from _ctypes._SimpleCData: __ctypes_from_outparam__(...) __nonzero__(...) x.__nonzero__() <==> x != 0 __repr__(...) x.__repr__() <==> repr(x) Data descriptors inherited from _ctypes._SimpleCData: value current value Data and other attributes inherited from _ctypes._SimpleCData: __new__ = <built-in method __new__ of _ctypes.PyCSimpleType object> T.__new__(S, ...) -> a new object with type S, a subtype of T Methods inherited from _ctypes._CData: __hash__(...) x.__hash__() <==> hash(x) __reduce__(...) __setstate__(...)   class ConstructorList(ctypes.c_void_p)       Method resolution order: ConstructorList ctypes.c_void_p _ctypes._SimpleCData _ctypes._CData __builtin__.object Methods defined here: __init__(self, constructor_list) from_param(obj) Data descriptors inherited from ctypes.c_void_p: __dict__ dictionary for instance variables (if defined) __weakref__ list of weak references to the object (if defined) Methods inherited from _ctypes._SimpleCData: __ctypes_from_outparam__(...) __nonzero__(...) x.__nonzero__() <==> x != 0 __repr__(...) x.__repr__() <==> repr(x) Data descriptors inherited from _ctypes._SimpleCData: value current value Data and other attributes inherited from _ctypes._SimpleCData: __new__ = <built-in method __new__ of _ctypes.PyCSimpleType object> T.__new__(S, ...) -> a new object with type S, a subtype of T Methods inherited from _ctypes._CData: __hash__(...) x.__hash__() <==> hash(x) __reduce__(...) __setstate__(...)   class ContextObj(ctypes.c_void_p)       Method resolution order: ContextObj ctypes.c_void_p _ctypes._SimpleCData _ctypes._CData __builtin__.object Methods defined here: __init__(self, context) from_param(obj) Data descriptors inherited from ctypes.c_void_p: __dict__ dictionary for instance variables (if defined) __weakref__ list of weak references to the object (if defined) Methods inherited from _ctypes._SimpleCData: __ctypes_from_outparam__(...) __nonzero__(...) x.__nonzero__() <==> x != 0 __repr__(...) x.__repr__() <==> repr(x) Data descriptors inherited from _ctypes._SimpleCData: value current value Data and other attributes inherited from _ctypes._SimpleCData: __new__ = <built-in method __new__ of _ctypes.PyCSimpleType object> T.__new__(S, ...) -> a new object with type S, a subtype of T Methods inherited from _ctypes._CData: __hash__(...) x.__hash__() <==> hash(x) __reduce__(...) __setstate__(...)   class FixedpointObj(ctypes.c_void_p)       Method resolution order: FixedpointObj ctypes.c_void_p _ctypes._SimpleCData _ctypes._CData __builtin__.object Methods defined here: __init__(self, fixedpoint) from_param(obj) Data descriptors inherited from ctypes.c_void_p: __dict__ dictionary for instance variables (if defined) __weakref__ list of weak references to the object (if defined) Methods inherited from _ctypes._SimpleCData: __ctypes_from_outparam__(...) __nonzero__(...) x.__nonzero__() <==> x != 0 __repr__(...) x.__repr__() <==> repr(x) Data descriptors inherited from _ctypes._SimpleCData: value current value Data and other attributes inherited from _ctypes._SimpleCData: __new__ = <built-in method __new__ of _ctypes.PyCSimpleType object> T.__new__(S, ...) -> a new object with type S, a subtype of T Methods inherited from _ctypes._CData: __hash__(...) x.__hash__() <==> hash(x) __reduce__(...) __setstate__(...)   class FuncDecl(ctypes.c_void_p)       Method resolution order: FuncDecl ctypes.c_void_p _ctypes._SimpleCData _ctypes._CData __builtin__.object Methods defined here: __init__(self, decl) from_param(obj) Data descriptors inherited from ctypes.c_void_p: __dict__ dictionary for instance variables (if defined) __weakref__ list of weak references to the object (if defined) Methods inherited from _ctypes._SimpleCData: __ctypes_from_outparam__(...) __nonzero__(...) x.__nonzero__() <==> x != 0 __repr__(...) x.__repr__() <==> repr(x) Data descriptors inherited from _ctypes._SimpleCData: value current value Data and other attributes inherited from _ctypes._SimpleCData: __new__ = <built-in method __new__ of _ctypes.PyCSimpleType object> T.__new__(S, ...) -> a new object with type S, a subtype of T Methods inherited from _ctypes._CData: __hash__(...) x.__hash__() <==> hash(x) __reduce__(...) __setstate__(...)   class FuncEntryObj(ctypes.c_void_p)       Method resolution order: FuncEntryObj ctypes.c_void_p _ctypes._SimpleCData _ctypes._CData __builtin__.object Methods defined here: __init__(self, e) from_param(obj) Data descriptors inherited from ctypes.c_void_p: __dict__ dictionary for instance variables (if defined) __weakref__ list of weak references to the object (if defined) Methods inherited from _ctypes._SimpleCData: __ctypes_from_outparam__(...) __nonzero__(...) x.__nonzero__() <==> x != 0 __repr__(...) x.__repr__() <==> repr(x) Data descriptors inherited from _ctypes._SimpleCData: value current value Data and other attributes inherited from _ctypes._SimpleCData: __new__ = <built-in method __new__ of _ctypes.PyCSimpleType object> T.__new__(S, ...) -> a new object with type S, a subtype of T Methods inherited from _ctypes._CData: __hash__(...) x.__hash__() <==> hash(x) __reduce__(...) __setstate__(...)   class FuncInterpObj(ctypes.c_void_p)       Method resolution order: FuncInterpObj ctypes.c_void_p _ctypes._SimpleCData _ctypes._CData __builtin__.object Methods defined here: __init__(self, f) from_param(obj) Data descriptors inherited from ctypes.c_void_p: __dict__ dictionary for instance variables (if defined) __weakref__ list of weak references to the object (if defined) Methods inherited from _ctypes._SimpleCData: __ctypes_from_outparam__(...) __nonzero__(...) x.__nonzero__() <==> x != 0 __repr__(...) x.__repr__() <==> repr(x) Data descriptors inherited from _ctypes._SimpleCData: value current value Data and other attributes inherited from _ctypes._SimpleCData: __new__ = <built-in method __new__ of _ctypes.PyCSimpleType object> T.__new__(S, ...) -> a new object with type S, a subtype of T Methods inherited from _ctypes._CData: __hash__(...) x.__hash__() <==> hash(x) __reduce__(...) __setstate__(...)   class GoalObj(ctypes.c_void_p)       Method resolution order: GoalObj ctypes.c_void_p _ctypes._SimpleCData _ctypes._CData __builtin__.object Methods defined here: __init__(self, goal) from_param(obj) Data descriptors inherited from ctypes.c_void_p: __dict__ dictionary for instance variables (if defined) __weakref__ list of weak references to the object (if defined) Methods inherited from _ctypes._SimpleCData: __ctypes_from_outparam__(...) __nonzero__(...) x.__nonzero__() <==> x != 0 __repr__(...) x.__repr__() <==> repr(x) Data descriptors inherited from _ctypes._SimpleCData: value current value Data and other attributes inherited from _ctypes._SimpleCData: __new__ = <built-in method __new__ of _ctypes.PyCSimpleType object> T.__new__(S, ...) -> a new object with type S, a subtype of T Methods inherited from _ctypes._CData: __hash__(...) x.__hash__() <==> hash(x) __reduce__(...) __setstate__(...)   class Literals(ctypes.c_void_p)       Method resolution order: Literals ctypes.c_void_p _ctypes._SimpleCData _ctypes._CData __builtin__.object Methods defined here: __init__(self, literals) from_param(obj) Data descriptors inherited from ctypes.c_void_p: __dict__ dictionary for instance variables (if defined) __weakref__ list of weak references to the object (if defined) Methods inherited from _ctypes._SimpleCData: __ctypes_from_outparam__(...) __nonzero__(...) x.__nonzero__() <==> x != 0 __repr__(...) x.__repr__() <==> repr(x) Data descriptors inherited from _ctypes._SimpleCData: value current value Data and other attributes inherited from _ctypes._SimpleCData: __new__ = <built-in method __new__ of _ctypes.PyCSimpleType object> T.__new__(S, ...) -> a new object with type S, a subtype of T Methods inherited from _ctypes._CData: __hash__(...) x.__hash__() <==> hash(x) __reduce__(...) __setstate__(...)   class Model(ctypes.c_void_p)       Method resolution order: Model ctypes.c_void_p _ctypes._SimpleCData _ctypes._CData __builtin__.object Methods defined here: __init__(self, model) from_param(obj) Data descriptors inherited from ctypes.c_void_p: __dict__ dictionary for instance variables (if defined) __weakref__ list of weak references to the object (if defined) Methods inherited from _ctypes._SimpleCData: __ctypes_from_outparam__(...) __nonzero__(...) x.__nonzero__() <==> x != 0 __repr__(...) x.__repr__() <==> repr(x) Data descriptors inherited from _ctypes._SimpleCData: value current value Data and other attributes inherited from _ctypes._SimpleCData: __new__ = <built-in method __new__ of _ctypes.PyCSimpleType object> T.__new__(S, ...) -> a new object with type S, a subtype of T Methods inherited from _ctypes._CData: __hash__(...) x.__hash__() <==> hash(x) __reduce__(...) __setstate__(...)   class ModelObj(ctypes.c_void_p)       Method resolution order: ModelObj ctypes.c_void_p _ctypes._SimpleCData _ctypes._CData __builtin__.object Methods defined here: __init__(self, model) from_param(obj) Data descriptors inherited from ctypes.c_void_p: __dict__ dictionary for instance variables (if defined) __weakref__ list of weak references to the object (if defined) Methods inherited from _ctypes._SimpleCData: __ctypes_from_outparam__(...) __nonzero__(...) x.__nonzero__() <==> x != 0 __repr__(...) x.__repr__() <==> repr(x) Data descriptors inherited from _ctypes._SimpleCData: value current value Data and other attributes inherited from _ctypes._SimpleCData: __new__ = <built-in method __new__ of _ctypes.PyCSimpleType object> T.__new__(S, ...) -> a new object with type S, a subtype of T Methods inherited from _ctypes._CData: __hash__(...) x.__hash__() <==> hash(x) __reduce__(...) __setstate__(...)   class OptimizeObj(ctypes.c_void_p)       Method resolution order: OptimizeObj ctypes.c_void_p _ctypes._SimpleCData _ctypes._CData __builtin__.object Methods defined here: __init__(self, optimize) from_param(obj) Data descriptors inherited from ctypes.c_void_p: __dict__ dictionary for instance variables (if defined) __weakref__ list of weak references to the object (if defined) Methods inherited from _ctypes._SimpleCData: __ctypes_from_outparam__(...) __nonzero__(...) x.__nonzero__() <==> x != 0 __repr__(...) x.__repr__() <==> repr(x) Data descriptors inherited from _ctypes._SimpleCData: value current value Data and other attributes inherited from _ctypes._SimpleCData: __new__ = <built-in method __new__ of _ctypes.PyCSimpleType object> T.__new__(S, ...) -> a new object with type S, a subtype of T Methods inherited from _ctypes._CData: __hash__(...) x.__hash__() <==> hash(x) __reduce__(...) __setstate__(...)   class ParamDescrs(ctypes.c_void_p)       Method resolution order: ParamDescrs ctypes.c_void_p _ctypes._SimpleCData _ctypes._CData __builtin__.object Methods defined here: __init__(self, paramdescrs) from_param(obj) Data descriptors inherited from ctypes.c_void_p: __dict__ dictionary for instance variables (if defined) __weakref__ list of weak references to the object (if defined) Methods inherited from _ctypes._SimpleCData: __ctypes_from_outparam__(...) __nonzero__(...) x.__nonzero__() <==> x != 0 __repr__(...) x.__repr__() <==> repr(x) Data descriptors inherited from _ctypes._SimpleCData: value current value Data and other attributes inherited from _ctypes._SimpleCData: __new__ = <built-in method __new__ of _ctypes.PyCSimpleType object> T.__new__(S, ...) -> a new object with type S, a subtype of T Methods inherited from _ctypes._CData: __hash__(...) x.__hash__() <==> hash(x) __reduce__(...) __setstate__(...)   class Params(ctypes.c_void_p)       Method resolution order: Params ctypes.c_void_p _ctypes._SimpleCData _ctypes._CData __builtin__.object Methods defined here: __init__(self, params) from_param(obj) Data descriptors inherited from ctypes.c_void_p: __dict__ dictionary for instance variables (if defined) __weakref__ list of weak references to the object (if defined) Methods inherited from _ctypes._SimpleCData: __ctypes_from_outparam__(...) __nonzero__(...) x.__nonzero__() <==> x != 0 __repr__(...) x.__repr__() <==> repr(x) Data descriptors inherited from _ctypes._SimpleCData: value current value Data and other attributes inherited from _ctypes._SimpleCData: __new__ = <built-in method __new__ of _ctypes.PyCSimpleType object> T.__new__(S, ...) -> a new object with type S, a subtype of T Methods inherited from _ctypes._CData: __hash__(...) x.__hash__() <==> hash(x) __reduce__(...) __setstate__(...)   class Pattern(ctypes.c_void_p)       Method resolution order: Pattern ctypes.c_void_p _ctypes._SimpleCData _ctypes._CData __builtin__.object Methods defined here: __init__(self, pattern) from_param(obj) Data descriptors inherited from ctypes.c_void_p: __dict__ dictionary for instance variables (if defined) __weakref__ list of weak references to the object (if defined) Methods inherited from _ctypes._SimpleCData: __ctypes_from_outparam__(...) __nonzero__(...) x.__nonzero__() <==> x != 0 __repr__(...) x.__repr__() <==> repr(x) Data descriptors inherited from _ctypes._SimpleCData: value current value Data and other attributes inherited from _ctypes._SimpleCData: __new__ = <built-in method __new__ of _ctypes.PyCSimpleType object> T.__new__(S, ...) -> a new object with type S, a subtype of T Methods inherited from _ctypes._CData: __hash__(...) x.__hash__() <==> hash(x) __reduce__(...) __setstate__(...)   class ProbeObj(ctypes.c_void_p)       Method resolution order: ProbeObj ctypes.c_void_p _ctypes._SimpleCData _ctypes._CData __builtin__.object Methods defined here: __init__(self, probe) from_param(obj) Data descriptors inherited from ctypes.c_void_p: __dict__ dictionary for instance variables (if defined) __weakref__ list of weak references to the object (if defined) Methods inherited from _ctypes._SimpleCData: __ctypes_from_outparam__(...) __nonzero__(...) x.__nonzero__() <==> x != 0 __repr__(...) x.__repr__() <==> repr(x) Data descriptors inherited from _ctypes._SimpleCData: value current value Data and other attributes inherited from _ctypes._SimpleCData: __new__ = <built-in method __new__ of _ctypes.PyCSimpleType object> T.__new__(S, ...) -> a new object with type S, a subtype of T Methods inherited from _ctypes._CData: __hash__(...) x.__hash__() <==> hash(x) __reduce__(...) __setstate__(...)   class RCFNumObj(ctypes.c_void_p)       Method resolution order: RCFNumObj ctypes.c_void_p _ctypes._SimpleCData _ctypes._CData __builtin__.object Methods defined here: __init__(self, e) from_param(obj) Data descriptors inherited from ctypes.c_void_p: __dict__ dictionary for instance variables (if defined) __weakref__ list of weak references to the object (if defined) Methods inherited from _ctypes._SimpleCData: __ctypes_from_outparam__(...) __nonzero__(...) x.__nonzero__() <==> x != 0 __repr__(...) x.__repr__() <==> repr(x) Data descriptors inherited from _ctypes._SimpleCData: value current value Data and other attributes inherited from _ctypes._SimpleCData: __new__ = <built-in method __new__ of _ctypes.PyCSimpleType object> T.__new__(S, ...) -> a new object with type S, a subtype of T Methods inherited from _ctypes._CData: __hash__(...) x.__hash__() <==> hash(x) __reduce__(...) __setstate__(...)   class SolverCallbackObj(ctypes.c_void_p)       Method resolution order: SolverCallbackObj ctypes.c_void_p _ctypes._SimpleCData _ctypes._CData __builtin__.object Methods defined here: __init__(self, solver) from_param(obj) Data descriptors inherited from ctypes.c_void_p: __dict__ dictionary for instance variables (if defined) __weakref__ list of weak references to the object (if defined) Methods inherited from _ctypes._SimpleCData: __ctypes_from_outparam__(...) __nonzero__(...) x.__nonzero__() <==> x != 0 __repr__(...) x.__repr__() <==> repr(x) Data descriptors inherited from _ctypes._SimpleCData: value current value Data and other attributes inherited from _ctypes._SimpleCData: __new__ = <built-in method __new__ of _ctypes.PyCSimpleType object> T.__new__(S, ...) -> a new object with type S, a subtype of T Methods inherited from _ctypes._CData: __hash__(...) x.__hash__() <==> hash(x) __reduce__(...) __setstate__(...)   class SolverObj(ctypes.c_void_p)       Method resolution order: SolverObj ctypes.c_void_p _ctypes._SimpleCData _ctypes._CData __builtin__.object Methods defined here: __init__(self, solver) from_param(obj) Data descriptors inherited from ctypes.c_void_p: __dict__ dictionary for instance variables (if defined) __weakref__ list of weak references to the object (if defined) Methods inherited from _ctypes._SimpleCData: __ctypes_from_outparam__(...) __nonzero__(...) x.__nonzero__() <==> x != 0 __repr__(...) x.__repr__() <==> repr(x) Data descriptors inherited from _ctypes._SimpleCData: value current value Data and other attributes inherited from _ctypes._SimpleCData: __new__ = <built-in method __new__ of _ctypes.PyCSimpleType object> T.__new__(S, ...) -> a new object with type S, a subtype of T Methods inherited from _ctypes._CData: __hash__(...) x.__hash__() <==> hash(x) __reduce__(...) __setstate__(...)   class Sort(ctypes.c_void_p)       Method resolution order: Sort ctypes.c_void_p _ctypes._SimpleCData _ctypes._CData __builtin__.object Methods defined here: __init__(self, sort) from_param(obj) Data descriptors inherited from ctypes.c_void_p: __dict__ dictionary for instance variables (if defined) __weakref__ list of weak references to the object (if defined) Methods inherited from _ctypes._SimpleCData: __ctypes_from_outparam__(...) __nonzero__(...) x.__nonzero__() <==> x != 0 __repr__(...) x.__repr__() <==> repr(x) Data descriptors inherited from _ctypes._SimpleCData: value current value Data and other attributes inherited from _ctypes._SimpleCData: __new__ = <built-in method __new__ of _ctypes.PyCSimpleType object> T.__new__(S, ...) -> a new object with type S, a subtype of T Methods inherited from _ctypes._CData: __hash__(...) x.__hash__() <==> hash(x) __reduce__(...) __setstate__(...)   class StatsObj(ctypes.c_void_p)       Method resolution order: StatsObj ctypes.c_void_p _ctypes._SimpleCData _ctypes._CData __builtin__.object Methods defined here: __init__(self, statistics) from_param(obj) Data descriptors inherited from ctypes.c_void_p: __dict__ dictionary for instance variables (if defined) __weakref__ list of weak references to the object (if defined) Methods inherited from _ctypes._SimpleCData: __ctypes_from_outparam__(...) __nonzero__(...) x.__nonzero__() <==> x != 0 __repr__(...) x.__repr__() <==> repr(x) Data descriptors inherited from _ctypes._SimpleCData: value current value Data and other attributes inherited from _ctypes._SimpleCData: __new__ = <built-in method __new__ of _ctypes.PyCSimpleType object> T.__new__(S, ...) -> a new object with type S, a subtype of T Methods inherited from _ctypes._CData: __hash__(...) x.__hash__() <==> hash(x) __reduce__(...) __setstate__(...)   class Symbol(ctypes.c_void_p)       Method resolution order: Symbol ctypes.c_void_p _ctypes._SimpleCData _ctypes._CData __builtin__.object Methods defined here: __init__(self, symbol) from_param(obj) Data descriptors inherited from ctypes.c_void_p: __dict__ dictionary for instance variables (if defined) __weakref__ list of weak references to the object (if defined) Methods inherited from _ctypes._SimpleCData: __ctypes_from_outparam__(...) __nonzero__(...) x.__nonzero__() <==> x != 0 __repr__(...) x.__repr__() <==> repr(x) Data descriptors inherited from _ctypes._SimpleCData: value current value Data and other attributes inherited from _ctypes._SimpleCData: __new__ = <built-in method __new__ of _ctypes.PyCSimpleType object> T.__new__(S, ...) -> a new object with type S, a subtype of T Methods inherited from _ctypes._CData: __hash__(...) x.__hash__() <==> hash(x) __reduce__(...) __setstate__(...)   class TacticObj(ctypes.c_void_p)       Method resolution order: TacticObj ctypes.c_void_p _ctypes._SimpleCData _ctypes._CData __builtin__.object Methods defined here: __init__(self, tactic) from_param(obj) Data descriptors inherited from ctypes.c_void_p: __dict__ dictionary for instance variables (if defined) __weakref__ list of weak references to the object (if defined) Methods inherited from _ctypes._SimpleCData: __ctypes_from_outparam__(...) __nonzero__(...) x.__nonzero__() <==> x != 0 __repr__(...) x.__repr__() <==> repr(x) Data descriptors inherited from _ctypes._SimpleCData: value current value Data and other attributes inherited from _ctypes._SimpleCData: __new__ = <built-in method __new__ of _ctypes.PyCSimpleType object> T.__new__(S, ...) -> a new object with type S, a subtype of T Methods inherited from _ctypes._CData: __hash__(...) x.__hash__() <==> hash(x) __reduce__(...) __setstate__(...)   class Z3Exception(exceptions.Exception)       Method resolution order: Z3Exception exceptions.Exception exceptions.BaseException __builtin__.object Methods defined here: __init__(self, value) __str__(self) Data descriptors defined here: __weakref__ list of weak references to the object (if defined) Data and other attributes inherited from exceptions.Exception: __new__ = <built-in method __new__ of type object> T.__new__(S, ...) -> a new object with type S, a subtype of T Methods inherited from exceptions.BaseException: __delattr__(...) x.__delattr__('name') <==> del x.name __getattribute__(...) x.__getattribute__('name') <==> x.name __getitem__(...) x.__getitem__(y) <==> x[y] __getslice__(...) x.__getslice__(i, j) <==> x[i:j]   Use of negative indices is not supported. __reduce__(...) __repr__(...) x.__repr__() <==> repr(x) __setattr__(...) x.__setattr__('name', value) <==> x.name = value __setstate__(...) __unicode__(...) Data descriptors inherited from exceptions.BaseException: __dict__ args message