z3.z3types
index
/builddir/build/BUILD/z3-z3-4.8.10/ppc64le-redhat-linux-gnu/python/z3/z3types.py

############################################
# Copyright (c) 2012 Microsoft Corporation

# Z3 Python interface
#
# Author: Leonardo de Moura (leonardo)
############################################

 
Modules
       
ctypes

 
Classes
       
builtins.Exception(builtins.BaseException)
Z3Exception
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

 
class ApplyResultObj(ctypes.c_void_p)
    ApplyResultObj(obj)
 

 
 
Method resolution order:
ApplyResultObj
ctypes.c_void_p
_ctypes._SimpleCData
_ctypes._CData
builtins.object

Methods defined here:
__init__(self, obj)
Initialize self.  See help(type(self)) for accurate signature.
from_param(obj)
Convert a Python object into a function call parameter.

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:
__bool__(self, /)
self != 0
__ctypes_from_outparam__(...)
__repr__(self, /)
Return repr(self).

Static methods inherited from _ctypes._SimpleCData:
__new__(*args, **kwargs) from _ctypes.PyCSimpleType
Create and return a new object.  See help(type) for accurate signature.

Data descriptors inherited from _ctypes._SimpleCData:
value
current value

Methods inherited from _ctypes._CData:
__hash__(self, /)
Return hash(self).
__reduce__(...)
Helper for pickle.
__setstate__(...)

 
class Ast(ctypes.c_void_p)
    Ast(ast)
 

 
 
Method resolution order:
Ast
ctypes.c_void_p
_ctypes._SimpleCData
_ctypes._CData
builtins.object

Methods defined here:
__init__(self, ast)
Initialize self.  See help(type(self)) for accurate signature.
from_param(obj)
Convert a Python object into a function call parameter.

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:
__bool__(self, /)
self != 0
__ctypes_from_outparam__(...)
__repr__(self, /)
Return repr(self).

Static methods inherited from _ctypes._SimpleCData:
__new__(*args, **kwargs) from _ctypes.PyCSimpleType
Create and return a new object.  See help(type) for accurate signature.

Data descriptors inherited from _ctypes._SimpleCData:
value
current value

Methods inherited from _ctypes._CData:
__hash__(self, /)
Return hash(self).
__reduce__(...)
Helper for pickle.
__setstate__(...)

 
class AstMapObj(ctypes.c_void_p)
    AstMapObj(ast_map)
 

 
 
Method resolution order:
AstMapObj
ctypes.c_void_p
_ctypes._SimpleCData
_ctypes._CData
builtins.object

Methods defined here:
__init__(self, ast_map)
Initialize self.  See help(type(self)) for accurate signature.
from_param(obj)
Convert a Python object into a function call parameter.

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:
__bool__(self, /)
self != 0
__ctypes_from_outparam__(...)
__repr__(self, /)
Return repr(self).

Static methods inherited from _ctypes._SimpleCData:
__new__(*args, **kwargs) from _ctypes.PyCSimpleType
Create and return a new object.  See help(type) for accurate signature.

Data descriptors inherited from _ctypes._SimpleCData:
value
current value

Methods inherited from _ctypes._CData:
__hash__(self, /)
Return hash(self).
__reduce__(...)
Helper for pickle.
__setstate__(...)

 
class AstVectorObj(ctypes.c_void_p)
    AstVectorObj(vector)
 

 
 
Method resolution order:
AstVectorObj
ctypes.c_void_p
_ctypes._SimpleCData
_ctypes._CData
builtins.object

Methods defined here:
__init__(self, vector)
Initialize self.  See help(type(self)) for accurate signature.
from_param(obj)
Convert a Python object into a function call parameter.

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:
__bool__(self, /)
self != 0
__ctypes_from_outparam__(...)
__repr__(self, /)
Return repr(self).

Static methods inherited from _ctypes._SimpleCData:
__new__(*args, **kwargs) from _ctypes.PyCSimpleType
Create and return a new object.  See help(type) for accurate signature.

Data descriptors inherited from _ctypes._SimpleCData:
value
current value

Methods inherited from _ctypes._CData:
__hash__(self, /)
Return hash(self).
__reduce__(...)
Helper for pickle.
__setstate__(...)

 
class Config(ctypes.c_void_p)
    Config(config)
 

 
 
Method resolution order:
Config
ctypes.c_void_p
_ctypes._SimpleCData
_ctypes._CData
builtins.object

Methods defined here:
__init__(self, config)
Initialize self.  See help(type(self)) for accurate signature.
from_param(obj)
Convert a Python object into a function call parameter.

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:
__bool__(self, /)
self != 0
__ctypes_from_outparam__(...)
__repr__(self, /)
Return repr(self).

Static methods inherited from _ctypes._SimpleCData:
__new__(*args, **kwargs) from _ctypes.PyCSimpleType
Create and return a new object.  See help(type) for accurate signature.

Data descriptors inherited from _ctypes._SimpleCData:
value
current value

Methods inherited from _ctypes._CData:
__hash__(self, /)
Return hash(self).
__reduce__(...)
Helper for pickle.
__setstate__(...)

 
class Constructor(ctypes.c_void_p)
    Constructor(constructor)
 

 
 
Method resolution order:
Constructor
ctypes.c_void_p
_ctypes._SimpleCData
_ctypes._CData
builtins.object

Methods defined here:
__init__(self, constructor)
Initialize self.  See help(type(self)) for accurate signature.
from_param(obj)
Convert a Python object into a function call parameter.

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:
__bool__(self, /)
self != 0
__ctypes_from_outparam__(...)
__repr__(self, /)
Return repr(self).

Static methods inherited from _ctypes._SimpleCData:
__new__(*args, **kwargs) from _ctypes.PyCSimpleType
Create and return a new object.  See help(type) for accurate signature.

Data descriptors inherited from _ctypes._SimpleCData:
value
current value

Methods inherited from _ctypes._CData:
__hash__(self, /)
Return hash(self).
__reduce__(...)
Helper for pickle.
__setstate__(...)

 
class ConstructorList(ctypes.c_void_p)
    ConstructorList(constructor_list)
 

 
 
Method resolution order:
ConstructorList
ctypes.c_void_p
_ctypes._SimpleCData
_ctypes._CData
builtins.object

Methods defined here:
__init__(self, constructor_list)
Initialize self.  See help(type(self)) for accurate signature.
from_param(obj)
Convert a Python object into a function call parameter.

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:
__bool__(self, /)
self != 0
__ctypes_from_outparam__(...)
__repr__(self, /)
Return repr(self).

Static methods inherited from _ctypes._SimpleCData:
__new__(*args, **kwargs) from _ctypes.PyCSimpleType
Create and return a new object.  See help(type) for accurate signature.

Data descriptors inherited from _ctypes._SimpleCData:
value
current value

Methods inherited from _ctypes._CData:
__hash__(self, /)
Return hash(self).
__reduce__(...)
Helper for pickle.
__setstate__(...)

 
class ContextObj(ctypes.c_void_p)
    ContextObj(context)
 

 
 
Method resolution order:
ContextObj
ctypes.c_void_p
_ctypes._SimpleCData
_ctypes._CData
builtins.object

Methods defined here:
__init__(self, context)
Initialize self.  See help(type(self)) for accurate signature.
from_param(obj)
Convert a Python object into a function call parameter.

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:
__bool__(self, /)
self != 0
__ctypes_from_outparam__(...)
__repr__(self, /)
Return repr(self).

Static methods inherited from _ctypes._SimpleCData:
__new__(*args, **kwargs) from _ctypes.PyCSimpleType
Create and return a new object.  See help(type) for accurate signature.

Data descriptors inherited from _ctypes._SimpleCData:
value
current value

Methods inherited from _ctypes._CData:
__hash__(self, /)
Return hash(self).
__reduce__(...)
Helper for pickle.
__setstate__(...)

 
class FixedpointObj(ctypes.c_void_p)
    FixedpointObj(fixedpoint)
 

 
 
Method resolution order:
FixedpointObj
ctypes.c_void_p
_ctypes._SimpleCData
_ctypes._CData
builtins.object

Methods defined here:
__init__(self, fixedpoint)
Initialize self.  See help(type(self)) for accurate signature.
from_param(obj)
Convert a Python object into a function call parameter.

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:
__bool__(self, /)
self != 0
__ctypes_from_outparam__(...)
__repr__(self, /)
Return repr(self).

Static methods inherited from _ctypes._SimpleCData:
__new__(*args, **kwargs) from _ctypes.PyCSimpleType
Create and return a new object.  See help(type) for accurate signature.

Data descriptors inherited from _ctypes._SimpleCData:
value
current value

Methods inherited from _ctypes._CData:
__hash__(self, /)
Return hash(self).
__reduce__(...)
Helper for pickle.
__setstate__(...)

 
class FuncDecl(ctypes.c_void_p)
    FuncDecl(decl)
 

 
 
Method resolution order:
FuncDecl
ctypes.c_void_p
_ctypes._SimpleCData
_ctypes._CData
builtins.object

Methods defined here:
__init__(self, decl)
Initialize self.  See help(type(self)) for accurate signature.
from_param(obj)
Convert a Python object into a function call parameter.

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:
__bool__(self, /)
self != 0
__ctypes_from_outparam__(...)
__repr__(self, /)
Return repr(self).

Static methods inherited from _ctypes._SimpleCData:
__new__(*args, **kwargs) from _ctypes.PyCSimpleType
Create and return a new object.  See help(type) for accurate signature.

Data descriptors inherited from _ctypes._SimpleCData:
value
current value

Methods inherited from _ctypes._CData:
__hash__(self, /)
Return hash(self).
__reduce__(...)
Helper for pickle.
__setstate__(...)

 
class FuncEntryObj(ctypes.c_void_p)
    FuncEntryObj(e)
 

 
 
Method resolution order:
FuncEntryObj
ctypes.c_void_p
_ctypes._SimpleCData
_ctypes._CData
builtins.object

Methods defined here:
__init__(self, e)
Initialize self.  See help(type(self)) for accurate signature.
from_param(obj)
Convert a Python object into a function call parameter.

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:
__bool__(self, /)
self != 0
__ctypes_from_outparam__(...)
__repr__(self, /)
Return repr(self).

Static methods inherited from _ctypes._SimpleCData:
__new__(*args, **kwargs) from _ctypes.PyCSimpleType
Create and return a new object.  See help(type) for accurate signature.

Data descriptors inherited from _ctypes._SimpleCData:
value
current value

Methods inherited from _ctypes._CData:
__hash__(self, /)
Return hash(self).
__reduce__(...)
Helper for pickle.
__setstate__(...)

 
class FuncInterpObj(ctypes.c_void_p)
    FuncInterpObj(f)
 

 
 
Method resolution order:
FuncInterpObj
ctypes.c_void_p
_ctypes._SimpleCData
_ctypes._CData
builtins.object

Methods defined here:
__init__(self, f)
Initialize self.  See help(type(self)) for accurate signature.
from_param(obj)
Convert a Python object into a function call parameter.

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:
__bool__(self, /)
self != 0
__ctypes_from_outparam__(...)
__repr__(self, /)
Return repr(self).

Static methods inherited from _ctypes._SimpleCData:
__new__(*args, **kwargs) from _ctypes.PyCSimpleType
Create and return a new object.  See help(type) for accurate signature.

Data descriptors inherited from _ctypes._SimpleCData:
value
current value

Methods inherited from _ctypes._CData:
__hash__(self, /)
Return hash(self).
__reduce__(...)
Helper for pickle.
__setstate__(...)

 
class GoalObj(ctypes.c_void_p)
    GoalObj(goal)
 

 
 
Method resolution order:
GoalObj
ctypes.c_void_p
_ctypes._SimpleCData
_ctypes._CData
builtins.object

Methods defined here:
__init__(self, goal)
Initialize self.  See help(type(self)) for accurate signature.
from_param(obj)
Convert a Python object into a function call parameter.

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:
__bool__(self, /)
self != 0
__ctypes_from_outparam__(...)
__repr__(self, /)
Return repr(self).

Static methods inherited from _ctypes._SimpleCData:
__new__(*args, **kwargs) from _ctypes.PyCSimpleType
Create and return a new object.  See help(type) for accurate signature.

Data descriptors inherited from _ctypes._SimpleCData:
value
current value

Methods inherited from _ctypes._CData:
__hash__(self, /)
Return hash(self).
__reduce__(...)
Helper for pickle.
__setstate__(...)

 
class Literals(ctypes.c_void_p)
    Literals(literals)
 

 
 
Method resolution order:
Literals
ctypes.c_void_p
_ctypes._SimpleCData
_ctypes._CData
builtins.object

Methods defined here:
__init__(self, literals)
Initialize self.  See help(type(self)) for accurate signature.
from_param(obj)
Convert a Python object into a function call parameter.

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:
__bool__(self, /)
self != 0
__ctypes_from_outparam__(...)
__repr__(self, /)
Return repr(self).

Static methods inherited from _ctypes._SimpleCData:
__new__(*args, **kwargs) from _ctypes.PyCSimpleType
Create and return a new object.  See help(type) for accurate signature.

Data descriptors inherited from _ctypes._SimpleCData:
value
current value

Methods inherited from _ctypes._CData:
__hash__(self, /)
Return hash(self).
__reduce__(...)
Helper for pickle.
__setstate__(...)

 
class Model(ctypes.c_void_p)
    Model(model)
 

 
 
Method resolution order:
Model
ctypes.c_void_p
_ctypes._SimpleCData
_ctypes._CData
builtins.object

Methods defined here:
__init__(self, model)
Initialize self.  See help(type(self)) for accurate signature.
from_param(obj)
Convert a Python object into a function call parameter.

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:
__bool__(self, /)
self != 0
__ctypes_from_outparam__(...)
__repr__(self, /)
Return repr(self).

Static methods inherited from _ctypes._SimpleCData:
__new__(*args, **kwargs) from _ctypes.PyCSimpleType
Create and return a new object.  See help(type) for accurate signature.

Data descriptors inherited from _ctypes._SimpleCData:
value
current value

Methods inherited from _ctypes._CData:
__hash__(self, /)
Return hash(self).
__reduce__(...)
Helper for pickle.
__setstate__(...)

 
class ModelObj(ctypes.c_void_p)
    ModelObj(model)
 

 
 
Method resolution order:
ModelObj
ctypes.c_void_p
_ctypes._SimpleCData
_ctypes._CData
builtins.object

Methods defined here:
__init__(self, model)
Initialize self.  See help(type(self)) for accurate signature.
from_param(obj)
Convert a Python object into a function call parameter.

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:
__bool__(self, /)
self != 0
__ctypes_from_outparam__(...)
__repr__(self, /)
Return repr(self).

Static methods inherited from _ctypes._SimpleCData:
__new__(*args, **kwargs) from _ctypes.PyCSimpleType
Create and return a new object.  See help(type) for accurate signature.

Data descriptors inherited from _ctypes._SimpleCData:
value
current value

Methods inherited from _ctypes._CData:
__hash__(self, /)
Return hash(self).
__reduce__(...)
Helper for pickle.
__setstate__(...)

 
class OptimizeObj(ctypes.c_void_p)
    OptimizeObj(optimize)
 

 
 
Method resolution order:
OptimizeObj
ctypes.c_void_p
_ctypes._SimpleCData
_ctypes._CData
builtins.object

Methods defined here:
__init__(self, optimize)
Initialize self.  See help(type(self)) for accurate signature.
from_param(obj)
Convert a Python object into a function call parameter.

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:
__bool__(self, /)
self != 0
__ctypes_from_outparam__(...)
__repr__(self, /)
Return repr(self).

Static methods inherited from _ctypes._SimpleCData:
__new__(*args, **kwargs) from _ctypes.PyCSimpleType
Create and return a new object.  See help(type) for accurate signature.

Data descriptors inherited from _ctypes._SimpleCData:
value
current value

Methods inherited from _ctypes._CData:
__hash__(self, /)
Return hash(self).
__reduce__(...)
Helper for pickle.
__setstate__(...)

 
class ParamDescrs(ctypes.c_void_p)
    ParamDescrs(paramdescrs)
 

 
 
Method resolution order:
ParamDescrs
ctypes.c_void_p
_ctypes._SimpleCData
_ctypes._CData
builtins.object

Methods defined here:
__init__(self, paramdescrs)
Initialize self.  See help(type(self)) for accurate signature.
from_param(obj)
Convert a Python object into a function call parameter.

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:
__bool__(self, /)
self != 0
__ctypes_from_outparam__(...)
__repr__(self, /)
Return repr(self).

Static methods inherited from _ctypes._SimpleCData:
__new__(*args, **kwargs) from _ctypes.PyCSimpleType
Create and return a new object.  See help(type) for accurate signature.

Data descriptors inherited from _ctypes._SimpleCData:
value
current value

Methods inherited from _ctypes._CData:
__hash__(self, /)
Return hash(self).
__reduce__(...)
Helper for pickle.
__setstate__(...)

 
class Params(ctypes.c_void_p)
    Params(params)
 

 
 
Method resolution order:
Params
ctypes.c_void_p
_ctypes._SimpleCData
_ctypes._CData
builtins.object

Methods defined here:
__init__(self, params)
Initialize self.  See help(type(self)) for accurate signature.
from_param(obj)
Convert a Python object into a function call parameter.

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:
__bool__(self, /)
self != 0
__ctypes_from_outparam__(...)
__repr__(self, /)
Return repr(self).

Static methods inherited from _ctypes._SimpleCData:
__new__(*args, **kwargs) from _ctypes.PyCSimpleType
Create and return a new object.  See help(type) for accurate signature.

Data descriptors inherited from _ctypes._SimpleCData:
value
current value

Methods inherited from _ctypes._CData:
__hash__(self, /)
Return hash(self).
__reduce__(...)
Helper for pickle.
__setstate__(...)

 
class Pattern(ctypes.c_void_p)
    Pattern(pattern)
 

 
 
Method resolution order:
Pattern
ctypes.c_void_p
_ctypes._SimpleCData
_ctypes._CData
builtins.object

Methods defined here:
__init__(self, pattern)
Initialize self.  See help(type(self)) for accurate signature.
from_param(obj)
Convert a Python object into a function call parameter.

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:
__bool__(self, /)
self != 0
__ctypes_from_outparam__(...)
__repr__(self, /)
Return repr(self).

Static methods inherited from _ctypes._SimpleCData:
__new__(*args, **kwargs) from _ctypes.PyCSimpleType
Create and return a new object.  See help(type) for accurate signature.

Data descriptors inherited from _ctypes._SimpleCData:
value
current value

Methods inherited from _ctypes._CData:
__hash__(self, /)
Return hash(self).
__reduce__(...)
Helper for pickle.
__setstate__(...)

 
class ProbeObj(ctypes.c_void_p)
    ProbeObj(probe)
 

 
 
Method resolution order:
ProbeObj
ctypes.c_void_p
_ctypes._SimpleCData
_ctypes._CData
builtins.object

Methods defined here:
__init__(self, probe)
Initialize self.  See help(type(self)) for accurate signature.
from_param(obj)
Convert a Python object into a function call parameter.

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:
__bool__(self, /)
self != 0
__ctypes_from_outparam__(...)
__repr__(self, /)
Return repr(self).

Static methods inherited from _ctypes._SimpleCData:
__new__(*args, **kwargs) from _ctypes.PyCSimpleType
Create and return a new object.  See help(type) for accurate signature.

Data descriptors inherited from _ctypes._SimpleCData:
value
current value

Methods inherited from _ctypes._CData:
__hash__(self, /)
Return hash(self).
__reduce__(...)
Helper for pickle.
__setstate__(...)

 
class RCFNumObj(ctypes.c_void_p)
    RCFNumObj(e)
 

 
 
Method resolution order:
RCFNumObj
ctypes.c_void_p
_ctypes._SimpleCData
_ctypes._CData
builtins.object

Methods defined here:
__init__(self, e)
Initialize self.  See help(type(self)) for accurate signature.
from_param(obj)
Convert a Python object into a function call parameter.

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:
__bool__(self, /)
self != 0
__ctypes_from_outparam__(...)
__repr__(self, /)
Return repr(self).

Static methods inherited from _ctypes._SimpleCData:
__new__(*args, **kwargs) from _ctypes.PyCSimpleType
Create and return a new object.  See help(type) for accurate signature.

Data descriptors inherited from _ctypes._SimpleCData:
value
current value

Methods inherited from _ctypes._CData:
__hash__(self, /)
Return hash(self).
__reduce__(...)
Helper for pickle.
__setstate__(...)

 
class SolverCallbackObj(ctypes.c_void_p)
    SolverCallbackObj(solver)
 

 
 
Method resolution order:
SolverCallbackObj
ctypes.c_void_p
_ctypes._SimpleCData
_ctypes._CData
builtins.object

Methods defined here:
__init__(self, solver)
Initialize self.  See help(type(self)) for accurate signature.
from_param(obj)
Convert a Python object into a function call parameter.

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:
__bool__(self, /)
self != 0
__ctypes_from_outparam__(...)
__repr__(self, /)
Return repr(self).

Static methods inherited from _ctypes._SimpleCData:
__new__(*args, **kwargs) from _ctypes.PyCSimpleType
Create and return a new object.  See help(type) for accurate signature.

Data descriptors inherited from _ctypes._SimpleCData:
value
current value

Methods inherited from _ctypes._CData:
__hash__(self, /)
Return hash(self).
__reduce__(...)
Helper for pickle.
__setstate__(...)

 
class SolverObj(ctypes.c_void_p)
    SolverObj(solver)
 

 
 
Method resolution order:
SolverObj
ctypes.c_void_p
_ctypes._SimpleCData
_ctypes._CData
builtins.object

Methods defined here:
__init__(self, solver)
Initialize self.  See help(type(self)) for accurate signature.
from_param(obj)
Convert a Python object into a function call parameter.

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:
__bool__(self, /)
self != 0
__ctypes_from_outparam__(...)
__repr__(self, /)
Return repr(self).

Static methods inherited from _ctypes._SimpleCData:
__new__(*args, **kwargs) from _ctypes.PyCSimpleType
Create and return a new object.  See help(type) for accurate signature.

Data descriptors inherited from _ctypes._SimpleCData:
value
current value

Methods inherited from _ctypes._CData:
__hash__(self, /)
Return hash(self).
__reduce__(...)
Helper for pickle.
__setstate__(...)

 
class Sort(ctypes.c_void_p)
    Sort(sort)
 

 
 
Method resolution order:
Sort
ctypes.c_void_p
_ctypes._SimpleCData
_ctypes._CData
builtins.object

Methods defined here:
__init__(self, sort)
Initialize self.  See help(type(self)) for accurate signature.
from_param(obj)
Convert a Python object into a function call parameter.

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:
__bool__(self, /)
self != 0
__ctypes_from_outparam__(...)
__repr__(self, /)
Return repr(self).

Static methods inherited from _ctypes._SimpleCData:
__new__(*args, **kwargs) from _ctypes.PyCSimpleType
Create and return a new object.  See help(type) for accurate signature.

Data descriptors inherited from _ctypes._SimpleCData:
value
current value

Methods inherited from _ctypes._CData:
__hash__(self, /)
Return hash(self).
__reduce__(...)
Helper for pickle.
__setstate__(...)

 
class StatsObj(ctypes.c_void_p)
    StatsObj(statistics)
 

 
 
Method resolution order:
StatsObj
ctypes.c_void_p
_ctypes._SimpleCData
_ctypes._CData
builtins.object

Methods defined here:
__init__(self, statistics)
Initialize self.  See help(type(self)) for accurate signature.
from_param(obj)
Convert a Python object into a function call parameter.

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:
__bool__(self, /)
self != 0
__ctypes_from_outparam__(...)
__repr__(self, /)
Return repr(self).

Static methods inherited from _ctypes._SimpleCData:
__new__(*args, **kwargs) from _ctypes.PyCSimpleType
Create and return a new object.  See help(type) for accurate signature.

Data descriptors inherited from _ctypes._SimpleCData:
value
current value

Methods inherited from _ctypes._CData:
__hash__(self, /)
Return hash(self).
__reduce__(...)
Helper for pickle.
__setstate__(...)

 
class Symbol(ctypes.c_void_p)
    Symbol(symbol)
 

 
 
Method resolution order:
Symbol
ctypes.c_void_p
_ctypes._SimpleCData
_ctypes._CData
builtins.object

Methods defined here:
__init__(self, symbol)
Initialize self.  See help(type(self)) for accurate signature.
from_param(obj)
Convert a Python object into a function call parameter.

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:
__bool__(self, /)
self != 0
__ctypes_from_outparam__(...)
__repr__(self, /)
Return repr(self).

Static methods inherited from _ctypes._SimpleCData:
__new__(*args, **kwargs) from _ctypes.PyCSimpleType
Create and return a new object.  See help(type) for accurate signature.

Data descriptors inherited from _ctypes._SimpleCData:
value
current value

Methods inherited from _ctypes._CData:
__hash__(self, /)
Return hash(self).
__reduce__(...)
Helper for pickle.
__setstate__(...)

 
class TacticObj(ctypes.c_void_p)
    TacticObj(tactic)
 

 
 
Method resolution order:
TacticObj
ctypes.c_void_p
_ctypes._SimpleCData
_ctypes._CData
builtins.object

Methods defined here:
__init__(self, tactic)
Initialize self.  See help(type(self)) for accurate signature.
from_param(obj)
Convert a Python object into a function call parameter.

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:
__bool__(self, /)
self != 0
__ctypes_from_outparam__(...)
__repr__(self, /)
Return repr(self).

Static methods inherited from _ctypes._SimpleCData:
__new__(*args, **kwargs) from _ctypes.PyCSimpleType
Create and return a new object.  See help(type) for accurate signature.

Data descriptors inherited from _ctypes._SimpleCData:
value
current value

Methods inherited from _ctypes._CData:
__hash__(self, /)
Return hash(self).
__reduce__(...)
Helper for pickle.
__setstate__(...)

 
class Z3Exception(builtins.Exception)
    Z3Exception(value)
 

 
 
Method resolution order:
Z3Exception
builtins.Exception
builtins.BaseException
builtins.object

Methods defined here:
__init__(self, value)
Initialize self.  See help(type(self)) for accurate signature.
__str__(self)
Return str(self).

Data descriptors defined here:
__weakref__
list of weak references to the object (if defined)

Static methods inherited from builtins.Exception:
__new__(*args, **kwargs) from builtins.type
Create and return a new object.  See help(type) for accurate signature.

Methods inherited from builtins.BaseException:
__delattr__(self, name, /)
Implement delattr(self, name).
__getattribute__(self, name, /)
Return getattr(self, name).
__reduce__(...)
Helper for pickle.
__repr__(self, /)
Return repr(self).
__setattr__(self, name, value, /)
Implement setattr(self, name, value).
__setstate__(...)
with_traceback(...)
Exception.with_traceback(tb) --
set self.__traceback__ to tb and return self.

Data descriptors inherited from builtins.BaseException:
__cause__
exception cause
__context__
exception context
__dict__
__suppress_context__
__traceback__
args