-
- Subsitute expression into given set and returns the result.
-
- .. py:method:: Lt(left, right)
-
- Assert first set is less than the second set.
-
- .. py:method:: Le(left, right)
-
- Assert first set is less than or equal to the second set.
-
- .. py:method:: Eq(left, right)
-
- Assert first set is equal to the second set.
-
- .. py:method:: Ne(left, right)
-
- Assert first set is not equal to the second set.
-
- .. py:method:: Gt(left, right)
-
- Assert first set is greater than the second set.
-
- .. py:method:: Ge(left, right)
-
- Assert first set is greater than or equal to the second set.
+
+ Subsitutes an expression into a polyhedron and returns the result.
+
+To create a polyhedron, the user must use the folloing functions to define equalities and inequalities as the contraints.
+
+.. py:function:: Eq(left, right)
+
+ Create a constraint by setting *left* equal to *right*.
+
+.. py:function:: Ne(left, right)
+
+ Create a constraint by setting *left* not equal to *right*.
+
+.. py:function:: Lt(left, right)
+
+ Create a constraint by setting *left* less than *right*.
+
+.. py:function:: Le(left, right)
+
+ Create a constraint by setting *left* less than or equal to *right*.
+
+.. py:function:: Gt(left, right)
+
+ Create a constraint by setting *left* greater than *right*.
+
+.. py:function:: Ge(left, right)
+
+ Create a constraint by setting *left* greater than or equal to *right*.