Z3
Public Member Functions | Data Fields
ScopedConstructorList 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 4201 of file z3py.py.

Constructor & Destructor Documentation

def __init__ (   self,
  c,
  ctx 
)

Definition at line 4203 of file z3py.py.

4203  def __init__(self, c, ctx):
4204  self.c = c
4205  self.ctx = ctx
def __init__(self, c, ctx)
Definition: z3py.py:4203
def __del__ (   self)

Definition at line 4206 of file z3py.py.

4206  def __del__(self):
4207  Z3_del_constructor_list(self.ctx.ref(), self.c)
4208 
void Z3_API Z3_del_constructor_list(__in Z3_context c, __in Z3_constructor_list clist)
Reclaim memory allocated for constructor list.

Field Documentation

c

Definition at line 4204 of file z3py.py.

Referenced by ScopedConstructorList.__del__().

ctx