Python: module z3.z3types

z3.z3types

index
/usr/src/azl/BUILD/z3-z3-4.13.3/aarch64-azl-linux/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
ParserContextObj
Pattern
ProbeObj
RCFNumObj
SimplifierObj
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

__weakref__: list of weak references to the object

Methods inherited from _ctypes._SimpleCData:

__bool__(self, /): True if self else False

__buffer__(self, flags, /): Return a buffer object that exposes the underlying memory of the object.

__ctypes_from_outparam__(...)

__repr__(self, /): Return repr(self).

Static methods inherited from _ctypes._SimpleCData:

__new__(*args, **kwargs) class method of _ctypes._SimpleCData: 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

__weakref__: list of weak references to the object

Methods inherited from _ctypes._SimpleCData:

__bool__(self, /): True if self else False

__buffer__(self, flags, /): Return a buffer object that exposes the underlying memory of the object.

__ctypes_from_outparam__(...)

__repr__(self, /): Return repr(self).

Static methods inherited from _ctypes._SimpleCData:

__new__(*args, **kwargs) class method of _ctypes._SimpleCData: 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

__weakref__: list of weak references to the object

Methods inherited from _ctypes._SimpleCData:

__bool__(self, /): True if self else False

__buffer__(self, flags, /): Return a buffer object that exposes the underlying memory of the object.

__ctypes_from_outparam__(...)

__repr__(self, /): Return repr(self).

Static methods inherited from _ctypes._SimpleCData:

__new__(*args, **kwargs) class method of _ctypes._SimpleCData: 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

__weakref__: list of weak references to the object

Methods inherited from _ctypes._SimpleCData:

__bool__(self, /): True if self else False

__buffer__(self, flags, /): Return a buffer object that exposes the underlying memory of the object.

__ctypes_from_outparam__(...)

__repr__(self, /): Return repr(self).

Static methods inherited from _ctypes._SimpleCData:

__new__(*args, **kwargs) class method of _ctypes._SimpleCData: 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

__weakref__: list of weak references to the object

Methods inherited from _ctypes._SimpleCData:

__bool__(self, /): True if self else False

__buffer__(self, flags, /): Return a buffer object that exposes the underlying memory of the object.

__ctypes_from_outparam__(...)

__repr__(self, /): Return repr(self).

Static methods inherited from _ctypes._SimpleCData:

__new__(*args, **kwargs) class method of _ctypes._SimpleCData: 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

__weakref__: list of weak references to the object

Methods inherited from _ctypes._SimpleCData:

__bool__(self, /): True if self else False

__buffer__(self, flags, /): Return a buffer object that exposes the underlying memory of the object.

__ctypes_from_outparam__(...)

__repr__(self, /): Return repr(self).

Static methods inherited from _ctypes._SimpleCData:

__new__(*args, **kwargs) class method of _ctypes._SimpleCData: 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

__weakref__: list of weak references to the object

Methods inherited from _ctypes._SimpleCData:

__bool__(self, /): True if self else False

__buffer__(self, flags, /): Return a buffer object that exposes the underlying memory of the object.

__ctypes_from_outparam__(...)

__repr__(self, /): Return repr(self).

Static methods inherited from _ctypes._SimpleCData:

__new__(*args, **kwargs) class method of _ctypes._SimpleCData: 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

__weakref__: list of weak references to the object

Methods inherited from _ctypes._SimpleCData:

__bool__(self, /): True if self else False

__buffer__(self, flags, /): Return a buffer object that exposes the underlying memory of the object.

__ctypes_from_outparam__(...)

__repr__(self, /): Return repr(self).

Static methods inherited from _ctypes._SimpleCData:

__new__(*args, **kwargs) class method of _ctypes._SimpleCData: 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

__weakref__: list of weak references to the object

Methods inherited from _ctypes._SimpleCData:

__bool__(self, /): True if self else False

__buffer__(self, flags, /): Return a buffer object that exposes the underlying memory of the object.

__ctypes_from_outparam__(...)

__repr__(self, /): Return repr(self).

Static methods inherited from _ctypes._SimpleCData:

__new__(*args, **kwargs) class method of _ctypes._SimpleCData: 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

__weakref__: list of weak references to the object

Methods inherited from _ctypes._SimpleCData:

__bool__(self, /): True if self else False

__buffer__(self, flags, /): Return a buffer object that exposes the underlying memory of the object.

__ctypes_from_outparam__(...)

__repr__(self, /): Return repr(self).

Static methods inherited from _ctypes._SimpleCData:

__new__(*args, **kwargs) class method of _ctypes._SimpleCData: 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

__weakref__: list of weak references to the object

Methods inherited from _ctypes._SimpleCData:

__bool__(self, /): True if self else False

__buffer__(self, flags, /): Return a buffer object that exposes the underlying memory of the object.

__ctypes_from_outparam__(...)

__repr__(self, /): Return repr(self).

Static methods inherited from _ctypes._SimpleCData:

__new__(*args, **kwargs) class method of _ctypes._SimpleCData: 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

__weakref__: list of weak references to the object

Methods inherited from _ctypes._SimpleCData:

__bool__(self, /): True if self else False

__buffer__(self, flags, /): Return a buffer object that exposes the underlying memory of the object.

__ctypes_from_outparam__(...)

__repr__(self, /): Return repr(self).

Static methods inherited from _ctypes._SimpleCData:

__new__(*args, **kwargs) class method of _ctypes._SimpleCData: 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

__weakref__: list of weak references to the object

Methods inherited from _ctypes._SimpleCData:

__bool__(self, /): True if self else False

__buffer__(self, flags, /): Return a buffer object that exposes the underlying memory of the object.

__ctypes_from_outparam__(...)

__repr__(self, /): Return repr(self).

Static methods inherited from _ctypes._SimpleCData:

__new__(*args, **kwargs) class method of _ctypes._SimpleCData: 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

__weakref__: list of weak references to the object

Methods inherited from _ctypes._SimpleCData:

__bool__(self, /): True if self else False

__buffer__(self, flags, /): Return a buffer object that exposes the underlying memory of the object.

__ctypes_from_outparam__(...)

__repr__(self, /): Return repr(self).

Static methods inherited from _ctypes._SimpleCData:

__new__(*args, **kwargs) class method of _ctypes._SimpleCData: 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

__weakref__: list of weak references to the object

Methods inherited from _ctypes._SimpleCData:

__bool__(self, /): True if self else False

__buffer__(self, flags, /): Return a buffer object that exposes the underlying memory of the object.

__ctypes_from_outparam__(...)

__repr__(self, /): Return repr(self).

Static methods inherited from _ctypes._SimpleCData:

__new__(*args, **kwargs) class method of _ctypes._SimpleCData: 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

__weakref__: list of weak references to the object

Methods inherited from _ctypes._SimpleCData:

__bool__(self, /): True if self else False

__buffer__(self, flags, /): Return a buffer object that exposes the underlying memory of the object.

__ctypes_from_outparam__(...)

__repr__(self, /): Return repr(self).

Static methods inherited from _ctypes._SimpleCData:

__new__(*args, **kwargs) class method of _ctypes._SimpleCData: 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

__weakref__: list of weak references to the object

Methods inherited from _ctypes._SimpleCData:

__bool__(self, /): True if self else False

__buffer__(self, flags, /): Return a buffer object that exposes the underlying memory of the object.

__ctypes_from_outparam__(...)

__repr__(self, /): Return repr(self).

Static methods inherited from _ctypes._SimpleCData:

__new__(*args, **kwargs) class method of _ctypes._SimpleCData: 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

__weakref__: list of weak references to the object

Methods inherited from _ctypes._SimpleCData:

__bool__(self, /): True if self else False

__buffer__(self, flags, /): Return a buffer object that exposes the underlying memory of the object.

__ctypes_from_outparam__(...)

__repr__(self, /): Return repr(self).

Static methods inherited from _ctypes._SimpleCData:

__new__(*args, **kwargs) class method of _ctypes._SimpleCData: 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

__weakref__: list of weak references to the object

Methods inherited from _ctypes._SimpleCData:

__bool__(self, /): True if self else False

__buffer__(self, flags, /): Return a buffer object that exposes the underlying memory of the object.

__ctypes_from_outparam__(...)

__repr__(self, /): Return repr(self).

Static methods inherited from _ctypes._SimpleCData:

__new__(*args, **kwargs) class method of _ctypes._SimpleCData: 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 ParserContextObj(ctypes.c_void_p)

ParserContextObj(pc)

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

Methods defined here:

__init__(self, pc): 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

__weakref__: list of weak references to the object

Methods inherited from _ctypes._SimpleCData:

__bool__(self, /): True if self else False

__buffer__(self, flags, /): Return a buffer object that exposes the underlying memory of the object.

__ctypes_from_outparam__(...)

__repr__(self, /): Return repr(self).

Static methods inherited from _ctypes._SimpleCData:

__new__(*args, **kwargs) class method of _ctypes._SimpleCData: 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

__weakref__: list of weak references to the object

Methods inherited from _ctypes._SimpleCData:

__bool__(self, /): True if self else False

__buffer__(self, flags, /): Return a buffer object that exposes the underlying memory of the object.

__ctypes_from_outparam__(...)

__repr__(self, /): Return repr(self).

Static methods inherited from _ctypes._SimpleCData:

__new__(*args, **kwargs) class method of _ctypes._SimpleCData: 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

__weakref__: list of weak references to the object

Methods inherited from _ctypes._SimpleCData:

__bool__(self, /): True if self else False

__buffer__(self, flags, /): Return a buffer object that exposes the underlying memory of the object.

__ctypes_from_outparam__(...)

__repr__(self, /): Return repr(self).

Static methods inherited from _ctypes._SimpleCData:

__new__(*args, **kwargs) class method of _ctypes._SimpleCData: 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

__weakref__: list of weak references to the object

Methods inherited from _ctypes._SimpleCData:

__bool__(self, /): True if self else False

__buffer__(self, flags, /): Return a buffer object that exposes the underlying memory of the object.

__ctypes_from_outparam__(...)

__repr__(self, /): Return repr(self).

Static methods inherited from _ctypes._SimpleCData:

__new__(*args, **kwargs) class method of _ctypes._SimpleCData: 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 SimplifierObj(ctypes.c_void_p)

SimplifierObj(simplifier)

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

Methods defined here:

__init__(self, simplifier): 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

__weakref__: list of weak references to the object

Methods inherited from _ctypes._SimpleCData:

__bool__(self, /): True if self else False

__buffer__(self, flags, /): Return a buffer object that exposes the underlying memory of the object.

__ctypes_from_outparam__(...)

__repr__(self, /): Return repr(self).

Static methods inherited from _ctypes._SimpleCData:

__new__(*args, **kwargs) class method of _ctypes._SimpleCData: 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

__weakref__: list of weak references to the object

Methods inherited from _ctypes._SimpleCData:

__bool__(self, /): True if self else False

__buffer__(self, flags, /): Return a buffer object that exposes the underlying memory of the object.

__ctypes_from_outparam__(...)

__repr__(self, /): Return repr(self).

Static methods inherited from _ctypes._SimpleCData:

__new__(*args, **kwargs) class method of _ctypes._SimpleCData: 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

__weakref__: list of weak references to the object

Methods inherited from _ctypes._SimpleCData:

__bool__(self, /): True if self else False

__buffer__(self, flags, /): Return a buffer object that exposes the underlying memory of the object.

__ctypes_from_outparam__(...)

__repr__(self, /): Return repr(self).

Static methods inherited from _ctypes._SimpleCData:

__new__(*args, **kwargs) class method of _ctypes._SimpleCData: 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

__weakref__: list of weak references to the object

Methods inherited from _ctypes._SimpleCData:

__bool__(self, /): True if self else False

__buffer__(self, flags, /): Return a buffer object that exposes the underlying memory of the object.

__ctypes_from_outparam__(...)

__repr__(self, /): Return repr(self).

Static methods inherited from _ctypes._SimpleCData:

__new__(*args, **kwargs) class method of _ctypes._SimpleCData: 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

__weakref__: list of weak references to the object

Methods inherited from _ctypes._SimpleCData:

__bool__(self, /): True if self else False

__buffer__(self, flags, /): Return a buffer object that exposes the underlying memory of the object.

__ctypes_from_outparam__(...)

__repr__(self, /): Return repr(self).

Static methods inherited from _ctypes._SimpleCData:

__new__(*args, **kwargs) class method of _ctypes._SimpleCData: 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

__weakref__: list of weak references to the object

Methods inherited from _ctypes._SimpleCData:

__bool__(self, /): True if self else False

__buffer__(self, flags, /): Return a buffer object that exposes the underlying memory of the object.

__ctypes_from_outparam__(...)

__repr__(self, /): Return repr(self).

Static methods inherited from _ctypes._SimpleCData:

__new__(*args, **kwargs) class method of _ctypes._SimpleCData: 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

__weakref__: list of weak references to the object

Methods inherited from _ctypes._SimpleCData:

__bool__(self, /): True if self else False

__buffer__(self, flags, /): Return a buffer object that exposes the underlying memory of the object.

__ctypes_from_outparam__(...)

__repr__(self, /): Return repr(self).

Static methods inherited from _ctypes._SimpleCData:

__new__(*args, **kwargs) class method of _ctypes._SimpleCData: 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

Static methods inherited from builtins.Exception:

__new__(*args, **kwargs) class method of builtins.Exception: Create and return a new object. See help(type) for accurate signature.

Methods inherited from builtins.BaseException:

__getattribute__(self, name, /): Return getattr(self, name).

__reduce__(...): Helper for pickle.

__repr__(self, /): Return repr(self).

__setstate__(...)

add_note(...): Exception.add_note(note) --
add a note to the exception

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