Index

A

add_constraint() (lpi.C_Polyhedron method) add_constraint_system() (lpi.C_Polyhedron method)

add_constraints() (lpi.C_Polyhedron method) add_dimensions() (lpi.C_Polyhedron method)

C

C_Polyhedron (class in lpi)

contains() (lpi.C_Polyhedron method) contains_integer_point() (lpi.C_Polyhedron method)

E

expand_space_dimension() (lpi.C_Polyhedron method)

extrapolation_assign() (lpi.C_Polyhedron method)

G

get_constraints() (lpi.C_Polyhedron method) get_dimension() (lpi.C_Polyhedron method) get_generators() (lpi.C_Polyhedron method)

get_integer_point() (lpi.C_Polyhedron method) get_point() (lpi.C_Polyhedron method) get_relative_interior_point() (lpi.C_Polyhedron method)

I

int_maximize() (lpi.C_Polyhedron method) int_minimize() (lpi.C_Polyhedron method) intersection_assign() (lpi.C_Polyhedron method) is_bounded() (lpi.C_Polyhedron method)

is_disjoint_from() (lpi.C_Polyhedron method) is_empty() (lpi.C_Polyhedron method) is_implied() (lpi.C_Polyhedron method) is_sat() (lpi.C_Polyhedron method)

L

lpi (module)

M

maximize() (lpi.C_Polyhedron method)

minimize() (lpi.C_Polyhedron method) minimized_constraints() (lpi.C_Polyhedron method)

P

poly_hull_assign() (lpi.C_Polyhedron method)

R

remove_dimensions() (lpi.C_Polyhedron method)

T

toString() (lpi.C_Polyhedron method)

U

unconstraint() (lpi.C_Polyhedron method)

upper_bound_assign() (lpi.C_Polyhedron method)

W

widening_assign() (lpi.C_Polyhedron method)