z3.z3types
index
/home/vsts/work/1/s/build/python/z3/z3types.py

############################################
# 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