From 4540f520e6ae625c360c50ea2f4abf07d6811780 Mon Sep 17 00:00:00 2001
From: Vivien Maisonneuve <v.maisonneuve@gmail.com>
Date: Tue, 19 Aug 2014 16:51:30 +0200
Subject: [PATCH 1/1] Fix docstrings of And(), Or(), Not()
---
linpy/domains.py | 3 ---
1 file changed, 3 deletions(-)
diff --git a/linpy/domains.py b/linpy/domains.py
index 0da0a49..799b99d 100644
--- a/linpy/domains.py
+++ b/linpy/domains.py
@@ -772,7 +772,6 @@ def And(*domains):
return Universe
else:
return domains[0].intersection(*domains[1:])
-And.__doc__ = Domain.intersection.__doc__
def Or(*domains):
"""
@@ -783,11 +782,9 @@ def Or(*domains):
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
-Not.__doc__ = Domain.complement.__doc__
--
2.20.1