- id()
: Parma_Polyhedra_Library::Variable
- Impl()
: Parma_Polyhedra_Library::Row_Impl_Handler::Impl
, Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl
, Parma_Polyhedra_Library::Row_Impl_Handler::Impl
, Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl
- implies()
: Parma_Polyhedra_Library::Poly_Con_Relation
, Parma_Polyhedra_Library::Poly_Gen_Relation
, Parma_Polyhedra_Library::Poly_Con_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
- incremental_strong_closure_assign()
: Parma_Polyhedra_Library::Octagonal_Shape< T >
- index()
: Parma_Polyhedra_Library::OR_Matrix< T >::any_row_iterator< U >
- info()
: Parma_Polyhedra_Library::Interval< Boundary, Info >
- inhomogeneous_term()
: Parma_Polyhedra_Library::Linear_Row
, Parma_Polyhedra_Library::Linear_Expression
, Parma_Polyhedra_Library::Constraint
, Parma_Polyhedra_Library::Congruence
- Init()
: Parma_Polyhedra_Library::Init
- initialize()
: Parma_Polyhedra_Library::Generator_System
, Parma_Polyhedra_Library::Grid_Generator_System
, Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Linear_Expression
, Parma_Polyhedra_Library::Constraint
, Parma_Polyhedra_Library::Congruence
, Parma_Polyhedra_Library::Generator
, Parma_Polyhedra_Library::Grid_Generator
, Parma_Polyhedra_Library::Constraint_System
, Parma_Polyhedra_Library::Congruence_System
- input()
: Parma_Polyhedra_Library::Checked_Number< T, Policy >
- 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_space_dimensions()
: Parma_Polyhedra_Library::MIP_Problem
- intersect_assign()
: Parma_Polyhedra_Library::Interval< Boundary, Info >
- intersection_assign()
: Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::Pointset_Powerset< PS >
, Parma_Polyhedra_Library::Partially_Reduced_Product< D1, D2, R >
, Parma_Polyhedra_Library::Box< ITV >
, Parma_Polyhedra_Library::BD_Shape< T >
, Parma_Polyhedra_Library::Octagonal_Shape< T >
- intersection_assign_and_minimize()
: Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::Pointset_Powerset< PS >
, Parma_Polyhedra_Library::BD_Shape< T >
- intersection_preserving_enlarge_element()
: Parma_Polyhedra_Library::Pointset_Powerset< PS >
- Interval()
: Parma_Polyhedra_Library::Interval< Boundary, Info >
- Interval_Info_Bitset()
: Parma_Polyhedra_Library::Interval_Info_Bitset< T, Policy >
- Interval_Info_Null_Open()
: Parma_Polyhedra_Library::Interval_Info_Null_Open< Policy >
- Interval_Restriction_Integer()
: Parma_Polyhedra_Library::Interval_Restriction_Integer< Base >
- Interval_Restriction_Integer_Modulo()
: Parma_Polyhedra_Library::Interval_Restriction_Integer_Modulo< T, Base >
- Interval_Restriction_None()
: Parma_Polyhedra_Library::Interval_Restriction_None< Base >
- invalidate_cardinality_cache()
: Parma_Polyhedra_Library::Interval< Boundary, Info >
- is_bottom()
: Parma_Polyhedra_Library::Determinate< PS >
, Parma_Polyhedra_Library::Powerset< D >
- is_bounded()
: Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::Pointset_Powerset< PS >
, Parma_Polyhedra_Library::Partially_Reduced_Product< D1, D2, R >
, Parma_Polyhedra_Library::Box< ITV >
, Parma_Polyhedra_Library::BD_Shape< T >
, Parma_Polyhedra_Library::Octagonal_Shape< T >
- is_cert_multiset_stabilizing()
: Parma_Polyhedra_Library::Pointset_Powerset< PS >
- is_closure_point()
: Parma_Polyhedra_Library::Generator
- is_definitely_equivalent_to()
: Parma_Polyhedra_Library::Determinate< PS >
- is_discrete()
: Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::Pointset_Powerset< PS >
, Parma_Polyhedra_Library::Partially_Reduced_Product< D1, D2, R >
, Parma_Polyhedra_Library::Box< ITV >
, Parma_Polyhedra_Library::BD_Shape< T >
, Parma_Polyhedra_Library::Octagonal_Shape< T >
- is_disjoint()
: Parma_Polyhedra_Library::Poly_Con_Relation
- is_disjoint_from()
: Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::Interval< Boundary, Info >
, Parma_Polyhedra_Library::Pointset_Powerset< PS >
, Parma_Polyhedra_Library::Partially_Reduced_Product< D1, D2, R >
, Parma_Polyhedra_Library::Box< ITV >
, Parma_Polyhedra_Library::BD_Shape< T >
, Parma_Polyhedra_Library::Octagonal_Shape< T >
- is_empty()
: Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::Interval< Boundary, Info >
, Parma_Polyhedra_Library::Pointset_Powerset< PS >
, Parma_Polyhedra_Library::Partially_Reduced_Product< D1, D2, R >
, Parma_Polyhedra_Library::Box< ITV >
, Parma_Polyhedra_Library::BD_Shape< T >
, Parma_Polyhedra_Library::Octagonal_Shape< T >
- is_empty_cached()
: Parma_Polyhedra_Library::Interval< Boundary, Info >
- is_empty_nocache()
: Parma_Polyhedra_Library::Interval< Boundary, Info >
- is_equal_at_dimension()
: Parma_Polyhedra_Library::Congruence
, Parma_Polyhedra_Library::Grid_Generator
- 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::MIP_Problem
- is_included()
: Parma_Polyhedra_Library::Poly_Con_Relation
- is_included_in()
: Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Grid
- is_inconsistent()
: Parma_Polyhedra_Library::Constraint
, Parma_Polyhedra_Library::Congruence
- is_inequality()
: Parma_Polyhedra_Library::Constraint
- is_inf()
: Parma_Polyhedra_Library::float_intel_double_extended
, Parma_Polyhedra_Library::float_ieee754_quad
, Parma_Polyhedra_Library::float_ieee754_double
, Parma_Polyhedra_Library::float_ieee754_single
- is_infinity()
: Parma_Polyhedra_Library::Interval< Boundary, Info >
, Parma_Polyhedra_Library::Checked_Number< T, Policy >
- is_integer()
: Parma_Polyhedra_Library::Checked_Number< T, Policy >
- is_line()
: Parma_Polyhedra_Library::Generator
, Parma_Polyhedra_Library::Grid_Generator
- is_line_or_equality()
: Parma_Polyhedra_Library::Linear_Row
, Parma_Polyhedra_Library::Linear_Row::Flags
- is_line_or_parameter()
: Parma_Polyhedra_Library::Grid_Generator
- is_line_or_ray()
: Parma_Polyhedra_Library::Generator
- is_lp_satisfiable()
: Parma_Polyhedra_Library::MIP_Problem
- is_matching_closure_point()
: Parma_Polyhedra_Library::Generator
- is_minus_infinity()
: Parma_Polyhedra_Library::Checked_Number< T, Policy >
- is_mip_satisfiable()
: Parma_Polyhedra_Library::MIP_Problem
- is_nan()
: Parma_Polyhedra_Library::float_ieee754_double
, Parma_Polyhedra_Library::float_intel_double_extended
, Parma_Polyhedra_Library::float_ieee754_quad
, Parma_Polyhedra_Library::float_ieee754_single
- is_necessarily_closed()
: Parma_Polyhedra_Library::Linear_Row::Flags
, Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Linear_Row
, Parma_Polyhedra_Library::Linear_System
- is_nonstrict_inequality()
: Parma_Polyhedra_Library::Constraint
- is_not_a_number()
: Parma_Polyhedra_Library::Checked_Number< T, Policy >
- is_not_necessarily_closed()
: Parma_Polyhedra_Library::Linear_Row
, Parma_Polyhedra_Library::Linear_Row::Flags
- 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_plus_infinity()
: Parma_Polyhedra_Library::Checked_Number< T, Policy >
- is_point()
: Parma_Polyhedra_Library::Grid_Generator
, Parma_Polyhedra_Library::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::Flags
, Parma_Polyhedra_Library::Linear_Row
- is_reduced()
: Parma_Polyhedra_Library::Partially_Reduced_Product< D1, D2, R >
- is_satisfiable()
: Parma_Polyhedra_Library::MIP_Problem
- is_satisfied()
: Parma_Polyhedra_Library::MIP_Problem
- is_saturated()
: Parma_Polyhedra_Library::MIP_Problem
- is_shared()
: Parma_Polyhedra_Library::Determinate< PS >::Rep
- is_shortest_path_reduced()
: Parma_Polyhedra_Library::BD_Shape< T >
- is_singleton()
: Parma_Polyhedra_Library::Interval< Boundary, Info >
- is_singleton_cached()
: Parma_Polyhedra_Library::Interval< Boundary, Info >
- is_singleton_nocache()
: Parma_Polyhedra_Library::Interval< Boundary, Info >
- 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_strong_coherent()
: Parma_Polyhedra_Library::Octagonal_Shape< T >
- is_strongly_reduced()
: Parma_Polyhedra_Library::Octagonal_Shape< T >
- is_tautological()
: Parma_Polyhedra_Library::Congruence
, Parma_Polyhedra_Library::Constraint
- is_top()
: Parma_Polyhedra_Library::Determinate< PS >
, Parma_Polyhedra_Library::Powerset< D >
- is_topologically_closed()
: Parma_Polyhedra_Library::BD_Shape< T >
, Parma_Polyhedra_Library::Box< ITV >
, Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Partially_Reduced_Product< D1, D2, R >
, Parma_Polyhedra_Library::Octagonal_Shape< T >
, Parma_Polyhedra_Library::Pointset_Powerset< PS >
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::Interval< Boundary, Info >
- is_unbounded()
: Parma_Polyhedra_Library::Interval< Boundary, Info >
- is_universe()
: Parma_Polyhedra_Library::Pointset_Powerset< PS >
, Parma_Polyhedra_Library::Interval< Boundary, Info >
, Parma_Polyhedra_Library::Box< ITV >
, Parma_Polyhedra_Library::BD_Shape< T >
, Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Octagonal_Shape< T >
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::Partially_Reduced_Product< D1, D2, R >
- is_zero()
: Parma_Polyhedra_Library::float_ieee754_double
, Parma_Polyhedra_Library::float_intel_double_extended
, Parma_Polyhedra_Library::float_ieee754_quad
, Parma_Polyhedra_Library::float_ieee754_single
- iter_swap()
: Parma_Polyhedra_Library::Row
, Parma_Polyhedra_Library::DB_Row< T >
, Parma_Polyhedra_Library::Linear_Row
, Parma_Polyhedra_Library::Linear_System::With_Bit_Matrix_iterator
, Parma_Polyhedra_Library::Bit_Row
- iterator_to_const()
: Parma_Polyhedra_Library::iterator_to_const< Container >
Generated on Sat Oct 11 10:40:49 2008 for PPL by
1.5.6