3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-07 18:05:21 +00:00

Merge pull request #2103 from alcides/master

Deepcopy works with Python 3.7
This commit is contained in:
Nikolaj Bjorner 2019-01-25 20:07:40 -08:00 committed by GitHub
commit e7cabf3e44
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

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