projects
/
linpy.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Fix docstrings of And(), Or(), Not()
[linpy.git]
/
linpy
/
domains.py
diff --git
a/linpy/domains.py
b/linpy/domains.py
index
0da0a49
..
799b99d
100644
(file)
--- a/
linpy/domains.py
+++ b/
linpy/domains.py
@@
-772,7
+772,6
@@
def And(*domains):
return Universe
else:
return domains[0].intersection(*domains[1:])
return Universe
else:
return domains[0].intersection(*domains[1:])
-And.__doc__ = Domain.intersection.__doc__
def Or(*domains):
"""
def Or(*domains):
"""
@@
-783,11
+782,9
@@
def Or(*domains):
return Empty
else:
return domains[0].union(*domains[1:])
return Empty
else:
return domains[0].union(*domains[1:])
-Or.__doc__ = Domain.union.__doc__
def Not(domain):
"""
Create the complementary domain of the domain given in argument.
"""
return ~domain
def Not(domain):
"""
Create the complementary domain of the domain given in argument.
"""
return ~domain
-Not.__doc__ = Domain.complement.__doc__