projects
/
linpy.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Format comments in domains.py
[linpy.git]
/
doc
/
reference.rst
diff --git
a/doc/reference.rst
b/doc/reference.rst
index
5c8da90
..
69f0f45
100644
(file)
--- a/
doc/reference.rst
+++ b/
doc/reference.rst
@@
-517,14
+517,14
@@
The following functions create :class:`Polyhedron` or :class:`Domain` instances
The following functions combine :class:`Polyhedron` or :class:`Domain` instances using logic operators:
The following functions combine :class:`Polyhedron` or :class:`Domain` instances using logic operators:
-.. function:: Or(domain1, domain2[, ...])
-
- Create the union domain of the domains given in arguments.
-
.. function:: And(domain1, domain2[, ...])
Create the intersection domain of the domains given in arguments.
.. function:: And(domain1, domain2[, ...])
Create the intersection domain of the domains given in arguments.
+.. function:: Or(domain1, domain2[, ...])
+
+ Create the union domain of the domains given in arguments.
+
.. function:: Not(domain)
Create the complementary domain of the domain given in argument.
.. function:: Not(domain)
Create the complementary domain of the domain given in argument.