projects
/
linpy.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (from parent 1:
b60eea3
)
Fix docstrings of And(), Or(), Not()
author
Vivien Maisonneuve
<v.maisonneuve@gmail.com>
Tue, 19 Aug 2014 14:51:30 +0000
(16:51 +0200)
committer
Vivien Maisonneuve
<v.maisonneuve@gmail.com>
Tue, 19 Aug 2014 14:51:30 +0000
(16:51 +0200)
linpy/domains.py
patch
|
blob
|
history
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__