Index

A

add_constraint() (ppl.mip_problem.MIP_Problem method) (ppl.polyhedron.Polyhedron method) add_constraints() (ppl.mip_problem.MIP_Problem method) (ppl.polyhedron.Polyhedron method) add_generator() (ppl.polyhedron.Polyhedron method) add_generators() (ppl.polyhedron.Polyhedron method) add_space_dimensions_and_embed() (ppl.mip_problem.MIP_Problem method) (ppl.polyhedron.Polyhedron method) add_space_dimensions_and_project() (ppl.polyhedron.Polyhedron method) add_to_integer_space_dimensions() (ppl.mip_problem.MIP_Problem method) affine_dimension() (ppl.polyhedron.Polyhedron method) affine_image() (ppl.polyhedron.Polyhedron method)

affine_preimage() (ppl.polyhedron.Polyhedron method) all_homogeneous_terms_are_zero() (ppl.linear_algebra.Linear_Expression method) ascii_dump() (ppl.congruence.Congruence_System method) (ppl.constraint.Constraint method) (ppl.constraint.Constraint_System method) (ppl.constraint.Poly_Con_Relation method) (ppl.generator.Generator method) (ppl.generator.Generator_System method) (ppl.generator.Poly_Gen_Relation method) (ppl.linear_algebra.Linear_Expression method) (ppl.linear_algebra.Variables_Set method) (ppl.polyhedron.Polyhedron method)

B

BHRZ03_widening_assign() (ppl.polyhedron.Polyhedron method) bounded_BHRZ03_extrapolation_assign() (ppl.polyhedron.Polyhedron method)

bounded_H79_extrapolation_assign() (ppl.polyhedron.Polyhedron method) bounds_from_above() (ppl.polyhedron.Polyhedron method) bounds_from_below() (ppl.polyhedron.Polyhedron method)

C

C_Polyhedron (class in ppl.polyhedron) clear() (ppl.congruence.Congruence_System method) (ppl.constraint.Constraint_System method) (ppl.generator.Generator_System method) (ppl.mip_problem.MIP_Problem method) closure_point() (ppl.generator.Generator class method) coefficient() (ppl.congruence.Congruence method) (ppl.constraint.Constraint method) (ppl.generator.Generator method) (ppl.linear_algebra.Linear_Expression method) coefficients() (ppl.congruence.Congruence method) (ppl.constraint.Constraint method) (ppl.generator.Generator method) (ppl.linear_algebra.Linear_Expression method)

concatenate_assign() (ppl.polyhedron.Polyhedron method) Congruence (class in ppl.congruence) congruence() (in module ppl.congruence) Congruence_System (class in ppl.congruence) constrains() (ppl.polyhedron.Polyhedron method) Constraint (class in ppl.constraint) Constraint_System (class in ppl.constraint) constraints() (ppl.mip_problem.MIP_Problem method) (ppl.polyhedron.Polyhedron method) contains() (ppl.polyhedron.Polyhedron method) contains_integer_point() (ppl.polyhedron.Polyhedron method)

D

difference_assign() (ppl.polyhedron.Polyhedron method)

divisor() (ppl.generator.Generator method) drop_some_non_integer_points() (ppl.polyhedron.Polyhedron method)

E

empty() (ppl.constraint.Constraint_System method) (ppl.generator.Generator_System method)

equation() (in module ppl.constraint) evaluate_objective_function() (ppl.mip_problem.MIP_Problem method)

G

Generator (class in ppl.generator)

Generator_System (class in ppl.generator) generators() (ppl.polyhedron.Polyhedron method)

H

H79_widening_assign() (ppl.polyhedron.Polyhedron method) has_equalities() (ppl.constraint.Constraint_System method)

has_strict_inequalities() (ppl.constraint.Constraint_System method) hash_code() (ppl.polyhedron.Polyhedron method)

I

id() (ppl.linear_algebra.Variable method) implies() (ppl.constraint.Poly_Con_Relation method) (ppl.generator.Poly_Gen_Relation method) inequality() (in module ppl.constraint) inhomogeneous_term() (ppl.congruence.Congruence method) (ppl.constraint.Constraint method) (ppl.linear_algebra.Linear_Expression method) insert() (ppl.congruence.Congruence_System method) (ppl.constraint.Constraint_System method) (ppl.generator.Generator_System method) (ppl.linear_algebra.Variables_Set method) intersection_assign() (ppl.polyhedron.Polyhedron method) is_bounded() (ppl.polyhedron.Polyhedron method) is_closure_point() (ppl.generator.Generator method) is_discrete() (ppl.polyhedron.Polyhedron method) is_disjoint() (ppl.constraint.Poly_Con_Relation class method) is_disjoint_from() (ppl.polyhedron.Polyhedron method) is_empty() (ppl.polyhedron.Polyhedron method)

is_equal() (ppl.congruence.Congruence method) is_equal_to() (ppl.linear_algebra.Linear_Expression method) is_equality() (ppl.constraint.Constraint method) is_equivalent_to() (ppl.constraint.Constraint method) (ppl.generator.Generator method) is_included() (ppl.constraint.Poly_Con_Relation class method) is_inconsistent() (ppl.constraint.Constraint method) is_inequality() (ppl.constraint.Constraint method) is_line() (ppl.generator.Generator method) is_line_or_ray() (ppl.generator.Generator method) is_nonstrict_inequality() (ppl.constraint.Constraint method) is_point() (ppl.generator.Generator method) is_ray() (ppl.generator.Generator method) is_satisfiable() (ppl.mip_problem.MIP_Problem method) is_strict_inequality() (ppl.constraint.Constraint method) is_tautological() (ppl.constraint.Constraint method) is_topologically_closed() (ppl.polyhedron.Polyhedron method) is_universe() (ppl.polyhedron.Polyhedron method) is_zero() (ppl.linear_algebra.Linear_Expression method)

L

limited_BHRZ03_extrapolation_assign() (ppl.polyhedron.Polyhedron method) limited_H79_extrapolation_assign() (ppl.polyhedron.Polyhedron method)

line() (ppl.generator.Generator class method) Linear_Expression (class in ppl.linear_algebra)

M

max_space_dimension() (ppl.polyhedron.Polyhedron method) maximize() (ppl.polyhedron.Polyhedron method) minimize() (ppl.polyhedron.Polyhedron method) minimized_constraints() (ppl.polyhedron.Polyhedron method) minimized_generators() (ppl.polyhedron.Polyhedron method) MIP_Problem (class in ppl.mip_problem) module ppl ppl.congruence ppl.constraint ppl.generator ppl.linear_algebra ppl.mip_problem ppl.polyhedron

modulus() (ppl.congruence.Congruence method)

N

NNC_Polyhedron (class in ppl.polyhedron)

nothing() (ppl.constraint.Poly_Con_Relation class method) (ppl.generator.Poly_Gen_Relation class method)

O

objective_function() (ppl.mip_problem.MIP_Problem method) optimal_value() (ppl.mip_problem.MIP_Problem method)

optimization_mode() (ppl.mip_problem.MIP_Problem method) optimizing_point() (ppl.mip_problem.MIP_Problem method)

P

permute_space_dimensions() (ppl.constraint.Constraint method) (ppl.generator.Generator method) (ppl.linear_algebra.Linear_Expression method) point() (ppl.generator.Generator class method) Poly_Con_Relation (class in ppl.constraint) poly_difference_assign() (ppl.polyhedron.Polyhedron method) Poly_Gen_Relation (class in ppl.generator) poly_hull_assign() (ppl.polyhedron.Polyhedron method) Polyhedron (class in ppl.polyhedron) ppl module

ppl.congruence module ppl.constraint module ppl.generator module ppl.linear_algebra module ppl.mip_problem module ppl.polyhedron module

R

ray() (ppl.generator.Generator class method) relation_with() (ppl.polyhedron.Polyhedron method)

remove_higher_space_dimensions() (ppl.polyhedron.Polyhedron method) remove_space_dimensions() (ppl.linear_algebra.Linear_Expression method)

S

saturates() (ppl.constraint.Poly_Con_Relation class method) set_coefficient() (ppl.linear_algebra.Linear_Expression method) set_inhomogeneous_term() (ppl.linear_algebra.Linear_Expression method) set_objective_function() (ppl.mip_problem.MIP_Problem method) set_optimization_mode() (ppl.mip_problem.MIP_Problem method) set_space_dimension() (ppl.generator.Generator method) (ppl.generator.Generator_System method) (ppl.linear_algebra.Linear_Expression method) shift_space_dimensions() (ppl.linear_algebra.Linear_Expression method) solve() (ppl.mip_problem.MIP_Problem method) space_dimension() (ppl.congruence.Congruence method) (ppl.constraint.Constraint method) (ppl.constraint.Constraint_System method) (ppl.generator.Generator method) (ppl.generator.Generator_System method) (ppl.linear_algebra.Linear_Expression method) (ppl.linear_algebra.Variable method) (ppl.linear_algebra.Variables_Set method) (ppl.mip_problem.MIP_Problem method) (ppl.polyhedron.Polyhedron method)

strict_inequality() (in module ppl.constraint) strictly_contains() (ppl.polyhedron.Polyhedron method) strictly_intersects() (ppl.constraint.Poly_Con_Relation class method) subsumes() (ppl.generator.Poly_Gen_Relation class method) swap_space_dimensions() (ppl.linear_algebra.Linear_Expression method)

T

topological_closure_assign() (ppl.polyhedron.Polyhedron method)

type() (ppl.constraint.Constraint method) (ppl.generator.Generator method)

U

unconstrain() (ppl.polyhedron.Polyhedron method)

upper_bound_assign() (ppl.polyhedron.Polyhedron method)

V

Variable (class in ppl.linear_algebra)

Variables_Set (class in ppl.linear_algebra)

W

widening_assign() (ppl.polyhedron.Polyhedron method)