X-Git-Url: https://scm.cri.ensmp.fr/git/linpy.git/blobdiff_plain/b4f536e238161d59db61f4bb5fc6e87d4b7baffe..b4bd8f7aa081b9296c6089310d286c3b7359a5cc:/doc/reference.rst diff --git a/doc/reference.rst b/doc/reference.rst index 5c8da90..e649227 100644 --- a/doc/reference.rst +++ b/doc/reference.rst @@ -505,7 +505,7 @@ The following functions create :class:`Polyhedron` or :class:`Domain` instances .. function:: Ne(expr1, expr2[, expr3, ...]) Create the domain such that ``expr1 != expr2 != expr3 ...``. - The result is a :class:`Domain`, not a :class:`Polyhedron`. + The result is a :class:`Domain` object, not a :class:`Polyhedron`. .. function:: Ge(expr1, expr2[, expr3, ...]) @@ -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: -.. 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:: 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.