mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-11-04 05:19:11 +00:00
Code Activity

Updated deepcopy to the latest Python API

Browse source
This commit is contained in:
Alcides Fonseca 2019-01-25 14:42:22 +00:00
parent 8566d88b99
commit a785ffe0ba
1 changed files with 5 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

10
src/api/python/z3/z3.py
View file

@ -5340,7 +5340,7 @@ class Goal(Z3PPObject):
def __copy__(self): def __copy__(self):
return self.translate(self.ctx) return self.translate(self.ctx)
def __deepcopy__(self): def __deepcopy__(self, memo={}):
return self.translate(self.ctx) return self.translate(self.ctx)
def simplify(self, *arguments, **keywords): def simplify(self, *arguments, **keywords):
@ -5528,7 +5528,7 @@ class AstVector(Z3PPObject):
def __copy__(self): def __copy__(self):
return self.translate(self.ctx) return self.translate(self.ctx)
def __deepcopy__(self): def __deepcopy__(self, memo={}):
return self.translate(self.ctx) return self.translate(self.ctx)
def __repr__(self): def __repr__(self):
@ -5872,7 +5872,7 @@ class FuncInterp(Z3PPObject):
def __copy__(self): def __copy__(self):
return self.translate(self.ctx) return self.translate(self.ctx)
def __deepcopy__(self): def __deepcopy__(self, memo={}):
return self.translate(self.ctx) return self.translate(self.ctx)
def as_list(self): def as_list(self):
@ -6168,7 +6168,7 @@ class ModelRef(Z3PPObject):
def __copy__(self): def __copy__(self):
return self.translate(self.ctx) return self.translate(self.ctx)
def __deepcopy__(self): def __deepcopy__(self, memo={}):
return self.translate(self.ctx) return self.translate(self.ctx)
def Model(ctx = None): def Model(ctx = None):
@ -6786,7 +6786,7 @@ class Solver(Z3PPObject):
def __copy__(self): def __copy__(self):
return self.translate(self.ctx) return self.translate(self.ctx)
def __deepcopy__(self): def __deepcopy__(self, memo={}):
return self.translate(self.ctx) return self.translate(self.ctx)
def sexpr(self): def sexpr(self):