mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-06 06:03:23 +00:00
Code Activity

Issue #406

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2016-01-07 20:10:54 -08:00
parent 0e6aaf0211
commit 023c564839
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -536,7 +536,7 @@ class SortRef(AstRef):
def __hash__(self): def __hash__(self):
""" Hash code. """ """ Hash code. """
AstRef.__hash__(self) return AstRef.__hash__(self)
def is_sort(s): def is_sort(s):
"""Return `True` if `s` is a Z3 sort. """Return `True` if `s` is a Z3 sort.
@ -802,7 +802,7 @@ class ExprRef(AstRef):
def __hash__(self): def __hash__(self):
""" Hash code. """ """ Hash code. """
AstRef.__hash__(self) return AstRef.__hash__(self)
def __ne__(self, other): def __ne__(self, other):
"""Return a Z3 expression that represents the constraint `self != other`. """Return a Z3 expression that represents the constraint `self != other`.