Here is a list of all class members with links to the classes they belong to:
- add_and_minimize()
: Parma_Polyhedra_Library::Polyhedron
- add_congruence()
: Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::Polyhedron
- add_congruence_and_minimize()
: Parma_Polyhedra_Library::Grid
- add_congruences()
: Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Grid
- add_congruences_and_minimize()
: Parma_Polyhedra_Library::Grid
- add_constraint()
: Parma_Polyhedra_Library::LP_Problem
, Parma_Polyhedra_Library::BD_Shape< T >
, Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::Polyhedra_Powerset< PH >
- add_constraint_and_minimize()
: Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::Polyhedra_Powerset< PH >
, Parma_Polyhedra_Library::BD_Shape< T >
- add_constraints()
: Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::Polyhedra_Powerset< PH >
, Parma_Polyhedra_Library::LP_Problem
, Parma_Polyhedra_Library::BD_Shape< T >
- add_constraints_and_minimize()
: Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::Polyhedra_Powerset< PH >
, Parma_Polyhedra_Library::BD_Shape< T >
- add_corresponding_closure_points()
: Parma_Polyhedra_Library::Generator_System
- add_corresponding_points()
: Parma_Polyhedra_Library::Generator_System
- add_dbm_constraint()
: Parma_Polyhedra_Library::BD_Shape< T >
- add_disjunct()
: Parma_Polyhedra_Library::Powerset< D >
, Parma_Polyhedra_Library::Polyhedra_Powerset< PH >
- add_generator()
: Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Grid
- add_generator_and_minimize()
: Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Grid
- add_generators()
: Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Grid
- add_generators_and_minimize()
: Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Grid
- add_low_level_constraints()
: Parma_Polyhedra_Library::Constraint_System
- add_mul_assign()
: Parma_Polyhedra_Library::Checked_Number< T, Policy >
, Parma_Polyhedra_Library::GMP_Integer
- add_non_bottom_disjunct()
: Parma_Polyhedra_Library::Powerset< D >
- add_pending_row()
: Parma_Polyhedra_Library::Linear_System
- add_pending_rows()
: Parma_Polyhedra_Library::Linear_System
- add_recycled_congruences()
: Parma_Polyhedra_Library::Grid
- add_recycled_congruences_and_minimize()
: Parma_Polyhedra_Library::Grid
- add_recycled_constraints()
: Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Grid
- add_recycled_constraints_and_minimize()
: Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Grid
- add_recycled_generators()
: Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Grid
- add_recycled_generators_and_minimize()
: Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::Polyhedron
- add_recycled_row()
: Parma_Polyhedra_Library::Matrix
- add_row()
: Parma_Polyhedra_Library::Matrix
, Parma_Polyhedra_Library::Linear_System
, Parma_Polyhedra_Library::Saturation_Matrix
- add_rows()
: Parma_Polyhedra_Library::Linear_System
- add_rows_and_columns()
: Parma_Polyhedra_Library::Linear_System
- add_space_dimensions()
: Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Grid
- add_space_dimensions_and_embed()
: Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::Polyhedra_Powerset< PH >
, Parma_Polyhedra_Library::BD_Shape< T >
- add_space_dimensions_and_project()
: Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::Polyhedra_Powerset< PH >
, Parma_Polyhedra_Library::BD_Shape< T >
- add_unit_rows_and_columns()
: Parma_Polyhedra_Library::Congruence_System
- add_universe_rows_and_columns()
: Parma_Polyhedra_Library::Grid_Generator_System
- add_zero_columns()
: Parma_Polyhedra_Library::Matrix
- add_zero_rows()
: Parma_Polyhedra_Library::Matrix
- add_zero_rows_and_columns()
: Parma_Polyhedra_Library::Matrix
- adjust_topology_and_space_dimension()
: Parma_Polyhedra_Library::Constraint_System
, Parma_Polyhedra_Library::Generator_System
- affine_dim
: Parma_Polyhedra_Library::BHRZ03_Certificate
, Parma_Polyhedra_Library::H79_Certificate
- affine_dimension()
: Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::BD_Shape< T >
- affine_image()
: Parma_Polyhedra_Library::Generator_System
, Parma_Polyhedra_Library::Grid_Generator_System
, Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::BD_Shape< T >
- affine_preimage()
: Parma_Polyhedra_Library::BD_Shape< T >
, Parma_Polyhedra_Library::Constraint_System
, Parma_Polyhedra_Library::Congruence_System
, Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Grid
- all_homogeneous_terms_are_zero()
: Parma_Polyhedra_Library::Linear_Row
, Parma_Polyhedra_Library::Grid_Generator
- allocate()
: Parma_Polyhedra_Library::DB_Row< T >
, Parma_Polyhedra_Library::Row
- ascii_dump()
: Parma_Polyhedra_Library::DB_Matrix< T >
, Parma_Polyhedra_Library::Congruence
, Parma_Polyhedra_Library::Constraint_System
, Parma_Polyhedra_Library::Grid_Generator
, Parma_Polyhedra_Library::Constraint_System
, Parma_Polyhedra_Library::Poly_Con_Relation
, Parma_Polyhedra_Library::Congruence_System
, Parma_Polyhedra_Library::BD_Shape< T >::Status
, Parma_Polyhedra_Library::BD_Shape< T >
, Parma_Polyhedra_Library::Generator
, Parma_Polyhedra_Library::Poly_Gen_Relation
, Parma_Polyhedra_Library::Grid_Generator_System
, Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Generator
, Parma_Polyhedra_Library::Polyhedron::Status
, Parma_Polyhedra_Library::BD_Shape< T >
, Parma_Polyhedra_Library::Grid::Status
, Parma_Polyhedra_Library::Poly_Con_Relation
, Parma_Polyhedra_Library::Constraint
, Parma_Polyhedra_Library::Linear_System
, Parma_Polyhedra_Library::LP_Problem
, Parma_Polyhedra_Library::Generator_System
, Parma_Polyhedra_Library::Congruence
, Parma_Polyhedra_Library::Constraint
, Parma_Polyhedra_Library::Saturation_Matrix
, Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Linear_Row
, Parma_Polyhedra_Library::Linear_Row::Flags
, Parma_Polyhedra_Library::Linear_System
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::Row::Flags
, Parma_Polyhedra_Library::LP_Problem
, Parma_Polyhedra_Library::Linear_Row::Flags
, Parma_Polyhedra_Library::Row
, Parma_Polyhedra_Library::DB_Matrix< T >
, Parma_Polyhedra_Library::Row
, Parma_Polyhedra_Library::Poly_Gen_Relation
, Parma_Polyhedra_Library::Polyhedra_Powerset< PH >
, Parma_Polyhedra_Library::Grid::Status
, Parma_Polyhedra_Library::Polyhedron::Status
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::Row::Flags
, Parma_Polyhedra_Library::Grid_Generator_System
, Parma_Polyhedra_Library::Matrix
, Parma_Polyhedra_Library::Linear_Row
, Parma_Polyhedra_Library::Congruence_System
, Parma_Polyhedra_Library::Saturation_Matrix
, Parma_Polyhedra_Library::Generator_System
- ascii_load()
: Parma_Polyhedra_Library::Grid::Status
, Parma_Polyhedra_Library::BD_Shape< T >::Status
, Parma_Polyhedra_Library::Linear_Row
, Parma_Polyhedra_Library::Grid_Generator_System
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::Linear_System
, Parma_Polyhedra_Library::Congruence_System
, Parma_Polyhedra_Library::Generator
, Parma_Polyhedra_Library::Matrix
, Parma_Polyhedra_Library::Linear_Row::Flags
, Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Polyhedron::Status
, Parma_Polyhedra_Library::DB_Matrix< T >
, Parma_Polyhedra_Library::Grid_Generator
, Status
, Parma_Polyhedra_Library::Row::Flags
, Parma_Polyhedra_Library::Row
, Parma_Polyhedra_Library::BD_Shape< T >
, Parma_Polyhedra_Library::Constraint
, Parma_Polyhedra_Library::Constraint_System
, Parma_Polyhedra_Library::Saturation_Matrix
, Parma_Polyhedra_Library::Generator_System
, Parma_Polyhedra_Library::LP_Problem
, Parma_Polyhedra_Library::Congruence
, Parma_Polyhedra_Library::Polyhedra_Powerset< PH >
- assign()
: Parma_Polyhedra_Library::DB_Row< T >
, Parma_Polyhedra_Library::Row
, Parma_Polyhedra_Library::Scalar_Products
- assign_with_pending()
: Parma_Polyhedra_Library::Linear_System