polytope: PropagatedPolytope Properties
Polytope Propagation
SUM_PRODUCT_GRAPH
:
graph
Directed graph to define the propagated polytope. There is a vector assigned to each arc. We assume that this graph is acyclic with a unique sink.
Properties inherited from parent classes
See also property descriptions for
RationalPolytope
,
Polytope