mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 12:08:18 +00:00
Code Activity

Python example: removed function that has no body.

Browse source 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
This commit is contained in:
Christoph M. Wintersteiger 2015-01-16 17:40:28 +00:00
parent bb722b24c1
commit 67e04c5dfb
1 changed files with 0 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
examples/python/complex/complex.py
View file

@ -65,9 +65,6 @@ class ComplexExpr:
def __neq__(self, other): def __neq__(self, other):
return Not(self.__eq__(other)) return Not(self.__eq__(other))
def __pow__(self, k):
def simplify(self): def simplify(self):
return ComplexExpr(simplify(self.r), simplify(self.i)) return ComplexExpr(simplify(self.r), simplify(self.i))