All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Macros Groups Pages
Public Member Functions | Data Fields
ScopedConstructorList Class Reference

Public Member Functions

def __init__
def __del__

Data Fields


Detailed Description

Auxiliary object used to create Z3 datatypes.

Definition at line 4117 of file z3py.py.

Constructor & Destructor Documentation

def __init__ (   self,

Definition at line 4119 of file z3py.py.

4120  def __init__(self, c, ctx):
4121  self.c = c
self.ctx = ctx
def __del__ (   self)

Definition at line 4122 of file z3py.py.

4123  def __del__(self):
4124  Z3_del_constructor_list(self.ctx.ref(), self.c)

Field Documentation


Definition at line 4120 of file z3py.py.

Referenced by ScopedConstructorList.__del__().


Definition at line 4121 of file z3py.py.

Referenced by Probe.__eq__(), Probe.__ge__(), ApplyResult.__getitem__(), Probe.__gt__(), Probe.__le__(), Probe.__lt__(), Probe.__ne__(), Tactic.apply(), ApplyResult.as_expr(), ApplyResult.convert_model(), Fixedpoint.get_assertions(), Fixedpoint.get_cover_delta(), Fixedpoint.get_rules(), Tactic.param_descrs(), Fixedpoint.parse_file(), Fixedpoint.parse_string(), Tactic.solver(), and Fixedpoint.statistics().