pyLPi’s documentation!

Linear Programming interface based on PPL

class lpi.C_Polyhedron(constraint_system=None, dim=-1)[source]
add_constraint(constraint)[source]
add_constraint_system(constraint_system)[source]
add_constraints(constraints)[source]
add_dimensions(dim)[source]
contains(other)[source]
contains_integer_point()[source]
expand_space_dimension(var, m)[source]
extrapolation_assign(other, cs, tp=0, limited=False)[source]
get_constraints(use_z3=False)[source]
get_dimension()[source]
get_generators()[source]
get_integer_point()[source]
get_point(use_z3=False)[source]
get_relative_interior_point(variables=None)[source]
int_maximize(something)[source]
int_minimize(something)[source]
intersection_assign(other)[source]
is_bounded()[source]
is_disjoint_from(polyhedron)[source]
is_empty()[source]
is_implied(constraint)[source]
is_sat()[source]
maximize(expression)[source]
minimize(expression)[source]
minimized_constraints()[source]
poly_hull_assign(other)[source]
remove_dimensions(var_set)[source]
toString(vars_name=None, eq_symb='==', geq_symb='>=')[source]
unconstraint(var)[source]
upper_bound_assign(other)[source]
widening_assign(other, tp=0)[source]

Indices and tables