Linear Programming interface based on PPL
lpi.
C_Polyhedron
add_constraint
add_constraint_system
add_constraints
add_dimensions
contains
contains_integer_point
expand_space_dimension
extrapolation_assign
get_constraints
get_dimension
get_generators
get_integer_point
get_point
get_relative_interior_point
int_maximize
int_minimize
intersection_assign
is_bounded
is_disjoint_from
is_empty
is_implied
is_sat
maximize
minimize
minimized_constraints
poly_hull_assign
remove_dimensions
toString
unconstraint
upper_bound_assign
widening_assign