projects
/
linpy.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Change pypol to linpy
[linpy.git]
/
doc
/
domain.rst
diff --git
a/doc/domain.rst
b/doc/domain.rst
index
91b96f8
..
7098c32
100644
(file)
--- a/
doc/domain.rst
+++ b/
doc/domain.rst
@@
-3,12
+3,8
@@
Domains Module
.. py:class :: Domain
.. py:class :: Domain
- .. py:method:: polyhedra(self)
-
- Return .
-
-Domain Properties
------------------
+ The properties of a domain can be are found using the following
+
.. py:method:: symbols
Returns a tuple of the symbols that exsist in a domain.
.. py:method:: symbols
Returns a tuple of the symbols that exsist in a domain.
@@
-29,8
+25,8
@@
Domain Properties
Returns ``True`` if a domain depends on the given dimensions.
Returns ``True`` if a domain depends on the given dimensions.
-Unary Properties
-----------------
+ The unary properties of a domain can be inspected using the following methods.
+
.. py:method:: isempty(self)
Return ``True`` is a domain is empty.
.. py:method:: isempty(self)
Return ``True`` is a domain is empty.
@@
-41,14
+37,13
@@
Unary Properties
.. py:method:: isbounded(self)
.. py:method:: isbounded(self)
- Return ``True`` if a domain is bounded
+ Return ``True`` if a domain is bounded
.
.. py:method:: disjoint(self)
.. py:method:: disjoint(self)
-
Returns
a domain as disjoint.
+
It is not guarenteed that a domain is disjoint. If it is necessary, this method will return
a domain as disjoint.
-Binary Properties
------------------
+ The following methods compare two domains to find the binary properties.
.. py:method:: isdisjoint(self, other)
.. py:method:: isdisjoint(self, other)
@@
-144,7
+139,7
@@
Binary Properties
.. py:method:: points(self)
.. py:method:: points(self)
- Return a list of the points contained in a domain.
+ Return a list of the points contained in a domain
as :class:`Points` objects
.
.. py:method:: vertices(self)
.. py:method:: vertices(self)