Z3
Public Member Functions | Data Fields
ScopedConstructor Class Reference

Public Member Functions

def __init__ (self, c, ctx)
 
def __del__ (self)
 

Data Fields

 c
 
 ctx
 

Detailed Description

Auxiliary object used to create Z3 datatypes.

Definition at line 4367 of file z3py.py.

Constructor & Destructor Documentation

§ __init__()

def __init__ (   self,
  c,
  ctx 
)

Definition at line 4369 of file z3py.py.

4369  def __init__(self, c, ctx):
4370  self.c = c
4371  self.ctx = ctx

§ __del__()

def __del__ (   self)

Definition at line 4372 of file z3py.py.

4372  def __del__(self):
4373  if self.ctx.ref() is not None:
4374  Z3_del_constructor(self.ctx.ref(), self.c)
4375 
void Z3_API Z3_del_constructor(Z3_context c, Z3_constructor constr)
Reclaim memory allocated to constructor.

Field Documentation

§ c

c

Definition at line 4370 of file z3py.py.

§ ctx

ctx