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 5192 of file z3py.py.

Constructor & Destructor Documentation

def __init__ (   self,
  c,
  ctx 
)

Definition at line 5195 of file z3py.py.

5195  def __init__(self, c, ctx):
5196  self.c = c
5197  self.ctx = ctx
5198 
def __init__(self, c, ctx)
Definition: z3py.py:5195
def __del__ (   self)

Definition at line 5199 of file z3py.py.

5199  def __del__(self):
5200  if self.ctx.ref() is not None and Z3_del_constructor_list is not None:
5201  Z3_del_constructor_list(self.ctx.ref(), self.c)
5202 
5203 
void Z3_API Z3_del_constructor_list(Z3_context c, Z3_constructor_list clist)
Reclaim memory allocated for constructor list.

Field Documentation

c

Definition at line 5196 of file z3py.py.

Referenced by ScopedConstructorList.__del__().

ctx

Definition at line 5197 of file z3py.py.

Referenced by Goal.__copy__(), AstVector.__copy__(), FuncInterp.__copy__(), ModelRef.__copy__(), ParamsRef.__deepcopy__(), ParamDescrsRef.__deepcopy__(), Goal.__deepcopy__(), AstVector.__deepcopy__(), AstMap.__deepcopy__(), FuncEntry.__deepcopy__(), FuncInterp.__deepcopy__(), ModelRef.__deepcopy__(), Fixedpoint.__deepcopy__(), Optimize.__deepcopy__(), ApplyResult.__deepcopy__(), Simplifier.__deepcopy__(), Tactic.__deepcopy__(), Probe.__deepcopy__(), Probe.__eq__(), Probe.__ge__(), AstVector.__getitem__(), AstMap.__getitem__(), ModelRef.__getitem__(), ApplyResult.__getitem__(), Probe.__gt__(), Probe.__le__(), Probe.__lt__(), Probe.__ne__(), Simplifier.add(), Fixedpoint.add_rule(), Optimize.add_soft(), Tactic.apply(), FuncEntry.arg_value(), Goal.as_expr(), ApplyResult.as_expr(), Optimize.assert_and_track(), Goal.assert_exprs(), Fixedpoint.assert_exprs(), Optimize.assert_exprs(), Optimize.assertions(), Goal.convert_model(), ModelRef.decls(), FuncInterp.else_value(), FuncInterp.entry(), ModelRef.eval(), ParserContext.from_string(), Goal.get(), Fixedpoint.get_answer(), Fixedpoint.get_assertions(), Fixedpoint.get_cover_delta(), ParamDescrsRef.get_documentation(), Fixedpoint.get_ground_sat_answer(), ModelRef.get_interp(), ParamDescrsRef.get_kind(), ParamDescrsRef.get_name(), Fixedpoint.get_rule_names_along_trace(), Fixedpoint.get_rules(), Fixedpoint.get_rules_along_trace(), ModelRef.get_sort(), ModelRef.get_universe(), AstMap.keys(), Optimize.model(), Optimize.objectives(), Fixedpoint.param_descrs(), Optimize.param_descrs(), Simplifier.param_descrs(), Tactic.param_descrs(), Fixedpoint.parse_file(), Fixedpoint.parse_string(), Fixedpoint.query(), ParamsRef.set(), Fixedpoint.set(), Optimize.set(), Optimize.set_on_model(), Tactic.solver(), Fixedpoint.statistics(), Optimize.statistics(), Solver.to_smt2(), Optimize.unsat_core(), Fixedpoint.update_rule(), Simplifier.using_params(), and FuncEntry.value().