Here is a list of all class members with links to the classes they belong to:
- i
: Parma_Polyhedra_Library::Coefficient_free_list_element
, Parma_Polyhedra_Library::Matrix::const_iterator
, Parma_Polyhedra_Library::Congruence_System::const_iterator
, Parma_Polyhedra_Library::Generator_System::const_iterator
, Parma_Polyhedra_Library::Constraint_System::const_iterator
, Parma_Polyhedra_Library::DB_Matrix< T >::const_iterator
, PPL_integer_out_of_range
- i1
: Parma_Polyhedra_Library::Linear_System::With_Saturation_Matrix_iterator
- i2
: Parma_Polyhedra_Library::Linear_System::With_Saturation_Matrix_iterator
- id()
: Parma_Polyhedra_Library::Variable
- Impl()
: Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl
- impl
: Parma_Polyhedra_Library::Row_Impl_Handler
, Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >
- Impl()
: Parma_Polyhedra_Library::Row_Impl_Handler::Impl
- implies()
: Parma_Polyhedra_Library::Poly_Con_Relation
, Parma_Polyhedra_Library::Poly_Gen_Relation
- inc()
: Parma_Polyhedra_Library::float_ieee754_single
, Parma_Polyhedra_Library::float_ieee754_double
, Parma_Polyhedra_Library::float_intel_double_extended
, Parma_Polyhedra_Library::float_ieee754_quad
- increase_space_dimension()
: Parma_Polyhedra_Library::Congruence_System
- index_first_pending
: Parma_Polyhedra_Library::Linear_System
- inhomogeneous_term()
: Parma_Polyhedra_Library::Linear_Row
, Parma_Polyhedra_Library::Linear_Expression
, Parma_Polyhedra_Library::Constraint
, Parma_Polyhedra_Library::Congruence
- Init
: Parma_Polyhedra_Library::Variable
, Parma_Polyhedra_Library::Init
- input()
: Parma_Polyhedra_Library::Checked_Number< T, Policy >
- input_cs
: Parma_Polyhedra_Library::LP_Problem
- input_obj_function
: Parma_Polyhedra_Library::LP_Problem
- insert()
: Parma_Polyhedra_Library::Linear_System
, Parma_Polyhedra_Library::Constraint_System
, Parma_Polyhedra_Library::Congruence_System
, Parma_Polyhedra_Library::Generator_System
, Parma_Polyhedra_Library::Grid_Generator_System
- insert_pending()
: Parma_Polyhedra_Library::Linear_System
, Parma_Polyhedra_Library::Constraint_System
, Parma_Polyhedra_Library::Generator_System
- insert_verbatim()
: Parma_Polyhedra_Library::Congruence_System
- integer()
: Parma_Polyhedra_Library::Coefficient_free_list_element
- internal_exception()
: internal_exception
- intersection_assign()
: Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::Polyhedra_Powerset< PH >
, Parma_Polyhedra_Library::BD_Shape< T >
- intersection_assign_and_minimize()
: Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::BD_Shape< T >
- Interval()
: Parma_Polyhedra_Library::Interval
- IO_Operators::operator<<
: Parma_Polyhedra_Library::Grid_Generator
- is_bottom()
: Parma_Polyhedra_Library::Determinate< PH >
, Parma_Polyhedra_Library::Powerset< D >
- is_bounded()
: Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Grid
- is_cert_multiset_stabilizing()
: Parma_Polyhedra_Library::Polyhedra_Powerset< PH >
- is_closed()
: Parma_Polyhedra_Library::Boundary
- is_closure_point()
: Parma_Polyhedra_Library::Generator
- is_definitely_equivalent_to()
: Parma_Polyhedra_Library::Determinate< PH >
- is_discrete()
: Parma_Polyhedra_Library::Grid
- is_disjoint()
: Parma_Polyhedra_Library::Poly_Con_Relation
- IS_DISJOINT
: Parma_Polyhedra_Library::Poly_Con_Relation
- is_disjoint_from()
: Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Grid
- is_empty()
: Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::Interval
, Parma_Polyhedra_Library::Bounding_Box
, Parma_Polyhedra_Library::BD_Shape< T >
- is_equal_at_dimension()
: Parma_Polyhedra_Library::Congruence
- is_equal_to()
: Parma_Polyhedra_Library::Grid_Generator
, Parma_Polyhedra_Library::Congruence_System
, Parma_Polyhedra_Library::Grid_Generator_System
- is_equality()
: Parma_Polyhedra_Library::Constraint
, Parma_Polyhedra_Library::Congruence
- is_equivalent_to()
: Parma_Polyhedra_Library::Constraint
, Parma_Polyhedra_Library::Generator
, Parma_Polyhedra_Library::Grid_Generator
- is_in_base()
: Parma_Polyhedra_Library::LP_Problem
- is_included()
: Parma_Polyhedra_Library::Poly_Con_Relation
- IS_INCLUDED
: Parma_Polyhedra_Library::Poly_Con_Relation
- is_included_in()
: Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::Polyhedron
- is_inconsistent()
: Parma_Polyhedra_Library::Constraint
- is_inequality()
: Parma_Polyhedra_Library::Constraint
- is_inf()
: Parma_Polyhedra_Library::float_ieee754_double
, Parma_Polyhedra_Library::float_ieee754_single
, Parma_Polyhedra_Library::float_intel_double_extended
, Parma_Polyhedra_Library::float_ieee754_quad
- is_line()
: Parma_Polyhedra_Library::Generator
, Parma_Polyhedra_Library::Grid_Generator
- is_line_or_equality()
: Parma_Polyhedra_Library::Linear_Row::Flags
, Parma_Polyhedra_Library::Linear_Row
- is_line_or_parameter()
: Parma_Polyhedra_Library::Grid_Generator
- is_line_or_ray()
: Parma_Polyhedra_Library::Generator
- is_matching_closure_point()
: Parma_Polyhedra_Library::Generator
- is_nan()
: Parma_Polyhedra_Library::float_ieee754_single
, Parma_Polyhedra_Library::float_ieee754_double
, Parma_Polyhedra_Library::float_ieee754_quad
, Parma_Polyhedra_Library::float_intel_double_extended
- is_necessarily_closed()
: Parma_Polyhedra_Library::Linear_Row::Flags
, Parma_Polyhedra_Library::Linear_Row
, Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Linear_System
- is_nonstrict_inequality()
: Parma_Polyhedra_Library::Constraint
- is_not_necessarily_closed()
: Parma_Polyhedra_Library::Linear_Row::Flags
, Parma_Polyhedra_Library::Linear_Row
- is_omega_reduced()
: Parma_Polyhedra_Library::Powerset< D >
- is_parameter()
: Parma_Polyhedra_Library::Grid_Generator
- is_parameter_or_point()
: Parma_Polyhedra_Library::Grid_Generator
- is_point()
: Parma_Polyhedra_Library::Generator
, Parma_Polyhedra_Library::Grid_Generator
- is_proper_congruence()
: Parma_Polyhedra_Library::Congruence
- is_ray()
: Parma_Polyhedra_Library::Generator
- is_ray_or_point()
: Parma_Polyhedra_Library::Generator
- is_ray_or_point_or_inequality()
: Parma_Polyhedra_Library::Linear_Row
, Parma_Polyhedra_Library::Linear_Row::Flags
- is_satisfiable()
: Parma_Polyhedra_Library::LP_Problem
- is_shared()
: Parma_Polyhedra_Library::Determinate< PH >::Rep
- is_shortest_path_reduced()
: Parma_Polyhedra_Library::BD_Shape< T >
- is_sorted()
: Parma_Polyhedra_Library::Linear_System
- is_stabilizing()
: Parma_Polyhedra_Library::BHRZ03_Certificate
, Parma_Polyhedra_Library::Grid_Certificate
- is_strict_inequality()
: Parma_Polyhedra_Library::Constraint
- is_tautological()
: Parma_Polyhedra_Library::Constraint
- is_top()
: Parma_Polyhedra_Library::Determinate< PH >
, Parma_Polyhedra_Library::Powerset< D >
- is_topologically_closed()
: Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Grid
- is_trivial_false()
: Parma_Polyhedra_Library::Congruence
- is_trivial_true()
: Parma_Polyhedra_Library::Congruence
- is_universe()
: Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::BD_Shape< T >
- is_zero()
: Parma_Polyhedra_Library::float_ieee754_double
, Parma_Polyhedra_Library::float_ieee754_quad
, Parma_Polyhedra_Library::float_intel_double_extended
, Parma_Polyhedra_Library::float_ieee754_single
- Iter
: Parma_Polyhedra_Library::DB_Matrix< T >::const_iterator
, Parma_Polyhedra_Library::Matrix::const_iterator
- Iter1
: Parma_Polyhedra_Library::Linear_System::With_Saturation_Matrix_iterator
- Iter2
: Parma_Polyhedra_Library::Linear_System::With_Saturation_Matrix_iterator
- iter_swap()
: Parma_Polyhedra_Library::Saturation_Row
, Parma_Polyhedra_Library::Linear_Row
, Parma_Polyhedra_Library::Linear_System::With_Saturation_Matrix_iterator
, Parma_Polyhedra_Library::Row
, Parma_Polyhedra_Library::Linear_System::With_Saturation_Matrix_iterator
, Parma_Polyhedra_Library::DB_Row< T >
- iterator
: Parma_Polyhedra_Library::DB_Row< T >
, Parma_Polyhedra_Library::Polyhedra_Powerset< PH >
, Parma_Polyhedra_Library::Powerset< D >
- iterator_category
: Parma_Polyhedra_Library::Linear_System::With_Saturation_Matrix_iterator
, Parma_Polyhedra_Library::Powerset< D >::omega_const_iterator
, Parma_Polyhedra_Library::DB_Matrix< T >::const_iterator
, Parma_Polyhedra_Library::Powerset< D >::omega_iterator
, Parma_Polyhedra_Library::Matrix::const_iterator