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