.. 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.
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:: isbounded(self)
- Return ``True`` if a domain is bounded
+ Return ``True`` if a domain is bounded.
.. 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:: 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)