PPL

o*General Information on the PPL

o*GNU General Public License

o*GNU Free Documentation License

o*Deprecated List

o+Modules

o+Class List

|o*Parma_Polyhedra_Library::BD_Shape< T >

|o*Parma_Polyhedra_Library::BD_Shape< T >::Status

|o*Parma_Polyhedra_Library::BHRZ03_Certificate

|o*Parma_Polyhedra_Library::BHRZ03_Certificate::Compare

|o*Parma_Polyhedra_Library::Bit_Matrix

|o*Parma_Polyhedra_Library::Bit_Matrix::Bit_Row_Less_Than

|o*Parma_Polyhedra_Library::Bit_Row

|o*Parma_Polyhedra_Library::Bool< b >

|o*Parma_Polyhedra_Library::Boundary_Value< T, Enable >

|o*Parma_Polyhedra_Library::Boundary_Value< T, typename Enable_If< Is_Same_Or_Derived< Interval_Base, T >::value >::type >

|o*Parma_Polyhedra_Library::Box< ITV >

|o*Parma_Polyhedra_Library::Box< ITV >::Status

|o*Parma_Polyhedra_Library::C_Polyhedron

|o*Parma_Polyhedra_Library::Check_Overflow_Policy< T >

|o*Parma_Polyhedra_Library::Checked_Number< T, Policy >

|o*Parma_Polyhedra_Library::Checked_Number_Default_Policy

|o*Parma_Polyhedra_Library::Checked_Number_Transparent_Policy< T >

|o*Parma_Polyhedra_Library::Coefficient_traits_template< Coefficient >

|o*Parma_Polyhedra_Library::Coefficient_traits_template< GMP_Integer >

|o*Parma_Polyhedra_Library::Compile_Time_Check< true >

|o*Parma_Polyhedra_Library::Congruence

|o*Parma_Polyhedra_Library::Congruence_System

|o*Parma_Polyhedra_Library::Congruence_System::const_iterator

|o*Parma_Polyhedra_Library::const_iterator_to_const< Container >

|o*Parma_Polyhedra_Library::Constant< v, prefer_signed >

|o*Parma_Polyhedra_Library::Constant_< T, v, prefer_signed, Enable >

|o*Parma_Polyhedra_Library::Constant_< T, v, prefer_signed, typename Enable_If<(Fit< typename C_Integer< T >::smaller_signed_type, v >::value &&(prefer_signed||!Fit< typename C_Integer< T >::smaller_unsigned_type, v >::value))>::type >

|o*Parma_Polyhedra_Library::Constant_< T, v, prefer_signed, typename Enable_If<(Fit< typename C_Integer< T >::smaller_unsigned_type, v >::value &&(!prefer_signed||!Fit< typename C_Integer< T >::smaller_signed_type, v >::value))>::type >

|o*Parma_Polyhedra_Library::Constraint

|o*Parma_Polyhedra_Library::Constraint_System

|o*Parma_Polyhedra_Library::Constraint_System::const_iterator

|o*Parma_Polyhedra_Library::Constraints_Reduction< D1, D2 >

|o*Parma_Polyhedra_Library::DB_Matrix< T >

|o*Parma_Polyhedra_Library::DB_Matrix< T >::const_iterator

|o*Parma_Polyhedra_Library::DB_Row< T >

|o*Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >

|o*Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl

|o*Parma_Polyhedra_Library::Determinate< PS >

|o*Parma_Polyhedra_Library::Determinate< PS >::Binary_Operator_Assign_Lifter< Binary_Operator_Assign >

|o*Parma_Polyhedra_Library::Determinate< PS >::Rep

|o*Parma_Polyhedra_Library::Domain_Product< D1, D2 >

|o*Parma_Polyhedra_Library::Enable_If< b, T >

|o*Parma_Polyhedra_Library::Enable_If< true, T >

|o*Parma_Polyhedra_Library::Enable_If_Is< Type, Type, T >

|o*Parma_Polyhedra_Library::Euclidean_Distance_Specialization< Temp >

|o*Parma_Polyhedra_Library::Checked::Extended_Int< Policy, Type >

|o*Parma_Polyhedra_Library::Extended_Number_Policy

|o*Parma_Polyhedra_Library::False

|o*Parma_Polyhedra_Library::Fit< T, v, Enable >

|o*Parma_Polyhedra_Library::Fit< T, v, typename Enable_If< C_Integer< T >::value >::type >

|o*Parma_Polyhedra_Library::Float< T >

|o*Parma_Polyhedra_Library::Checked::Float_2exp

|o*Parma_Polyhedra_Library::float_ieee754_double

|o*Parma_Polyhedra_Library::float_ieee754_quad

|o*Parma_Polyhedra_Library::float_ieee754_single

|o*Parma_Polyhedra_Library::float_intel_double_extended

|o*Parma_Polyhedra_Library::FPU_Related< Checked_Number< T, Policy > >

|o*Parma_Polyhedra_Library::From_Covering_Box

|o*Parma_Polyhedra_Library::Generator

|o*Parma_Polyhedra_Library::Generator_System

|o*Parma_Polyhedra_Library::Generator_System::const_iterator

|o*Parma_Polyhedra_Library::GMP_Integer

|o*Parma_Polyhedra_Library::Grid

|o*Parma_Polyhedra_Library::Grid::Status

|o*Parma_Polyhedra_Library::Grid_Certificate

|o*Parma_Polyhedra_Library::Grid_Certificate::Compare

|o*Parma_Polyhedra_Library::Grid_Generator

|o*Parma_Polyhedra_Library::Grid_Generator_System

|o*Parma_Polyhedra_Library::Grid_Generator_System::const_iterator

|o*Parma_Polyhedra_Library::H79_Certificate

|o*Parma_Polyhedra_Library::H79_Certificate::Compare

|o*Parma_Polyhedra_Library::Has_OK< T, Enable >

|o*Parma_Polyhedra_Library::Has_OK< T, typename Enable_If_Is< bool(T::*)() const,&T::OK >::type >

|o*Parma_Polyhedra_Library::Init

|o*Parma_Polyhedra_Library::Interval< Boundary, Info >

|o*Parma_Polyhedra_Library::Interval_Base

|o*Parma_Polyhedra_Library::Interval_Info_Bitset< T, Policy >

|o*Parma_Polyhedra_Library::Interval_Info_Null< Policy >

|o*Parma_Polyhedra_Library::Interval_Info_Null_Open< Policy >

|o*Parma_Polyhedra_Library::Interval_Restriction_Integer< Base >

|o*Parma_Polyhedra_Library::Interval_Restriction_Integer_Base

|o*Parma_Polyhedra_Library::Interval_Restriction_Integer_Modulo< T, Base >

|o*Parma_Polyhedra_Library::Interval_Restriction_Integer_Modulo_Base

|o*Parma_Polyhedra_Library::Interval_Restriction_None< Base >

|o*Parma_Polyhedra_Library::Interval_Restriction_None_Base

|o*Parma_Polyhedra_Library::Is_Checked< T >

|o*Parma_Polyhedra_Library::Is_Checked< Checked_Number< T, P > >

|o*Parma_Polyhedra_Library::Is_Interval< T >

|o*Parma_Polyhedra_Library::Is_Native< T >

|o*Parma_Polyhedra_Library::Is_Native< mpq_class >

|o*Parma_Polyhedra_Library::Is_Native< mpz_class >

|o*Parma_Polyhedra_Library::Is_Native< signed char >

|o*Parma_Polyhedra_Library::Is_Native< signed int >

|o*Parma_Polyhedra_Library::Is_Native< signed long >

|o*Parma_Polyhedra_Library::Is_Native< signed long long >

|o*Parma_Polyhedra_Library::Is_Native< signed short >

|o*Parma_Polyhedra_Library::Is_Native< unsigned char >

|o*Parma_Polyhedra_Library::Is_Native< unsigned int >

|o*Parma_Polyhedra_Library::Is_Native< unsigned long >

|o*Parma_Polyhedra_Library::Is_Native< unsigned long long >

|o*Parma_Polyhedra_Library::Is_Native< unsigned short >

|o*Parma_Polyhedra_Library::Is_Native_Or_Checked< T >

|o*Parma_Polyhedra_Library::Is_Same< T1, T2 >

|o*Parma_Polyhedra_Library::Is_Same< T, T >

|o*Parma_Polyhedra_Library::Is_Same_Or_Derived< Base, Derived >

|o*Parma_Polyhedra_Library::Is_Same_Or_Derived< Base, Derived >::Any

|o*Parma_Polyhedra_Library::Is_Singleton< T, Enable >

|o*Parma_Polyhedra_Library::Is_Special< T >

|o*Parma_Polyhedra_Library::Is_Special< Minus_Infinity >

|o*Parma_Polyhedra_Library::Is_Special< Not_A_Number >

|o*Parma_Polyhedra_Library::Is_Special< Plus_Infinity >

|o*Parma_Polyhedra_Library::iterator_to_const< Container >

|o*Parma_Polyhedra_Library::L_Infinity_Distance_Specialization< Temp >

|o*Parma_Polyhedra_Library::Checked::Larger< signed char >

|o*Parma_Polyhedra_Library::Checked::Larger< signed int >

|o*Parma_Polyhedra_Library::Checked::Larger< signed long >

|o*Parma_Polyhedra_Library::Checked::Larger< signed long long >

|o*Parma_Polyhedra_Library::Checked::Larger< signed short >

|o*Parma_Polyhedra_Library::Checked::Larger< unsigned char >

|o*Parma_Polyhedra_Library::Checked::Larger< unsigned int >

|o*Parma_Polyhedra_Library::Checked::Larger< unsigned long >

|o*Parma_Polyhedra_Library::Checked::Larger< unsigned long long >

|o*Parma_Polyhedra_Library::Checked::Larger< unsigned short >

|o*Parma_Polyhedra_Library::Limited_Widening_Function< PH, CS >

|o*Parma_Polyhedra_Library::Linear_Expression

|o*Parma_Polyhedra_Library::Linear_Row

|o*Parma_Polyhedra_Library::Linear_Row::Flags

|o*Parma_Polyhedra_Library::Linear_System

|o*Parma_Polyhedra_Library::Linear_System::Row_Less_Than

|o*Parma_Polyhedra_Library::Linear_System::With_Bit_Matrix_iterator

|o*Parma_Polyhedra_Library::Linear_System::With_Pending

|o*Parma_Polyhedra_Library::Matrix

|o*Parma_Polyhedra_Library::Matrix::const_iterator

|o*Parma_Polyhedra_Library::maybe_assign_struct< To, From >

|o*Parma_Polyhedra_Library::maybe_assign_struct< Type, Type >

|o*Parma_Polyhedra_Library::Minus_Infinity

|o*Parma_Polyhedra_Library::MIP_Problem

|o*Parma_Polyhedra_Library::Native_Checked_From_Wrapper< Checked_Number< T, P > >

|o*Parma_Polyhedra_Library::Native_Checked_From_Wrapper< T, typename Enable_If< Is_Native< T >::value >::type >

|o*Parma_Polyhedra_Library::Native_Checked_To_Wrapper< Checked_Number< T, P > >

|o*Parma_Polyhedra_Library::Native_Checked_To_Wrapper< T, typename Enable_If< Is_Native< T >::value >::type >

|o*Parma_Polyhedra_Library::NNC_Polyhedron

|o*Parma_Polyhedra_Library::No_Reduction< D1, D2 >

|o*Parma_Polyhedra_Library::Not_A_Number

|o*Parma_Polyhedra_Library::Checked::number_struct

|o*Parma_Polyhedra_Library::Octagonal_Shape< T >

|o*Parma_Polyhedra_Library::Octagonal_Shape< T >::Status

|o*Parma_Polyhedra_Library::OR_Matrix< T >

|o*Parma_Polyhedra_Library::OR_Matrix< T >::any_row_iterator< U >

|o*Parma_Polyhedra_Library::OR_Matrix< T >::Pseudo_Row< U >

|o*Parma_Polyhedra_Library::Partially_Reduced_Product< D1, D2, R >

|o*Parma_Polyhedra_Library::Plus_Infinity

|o*Parma_Polyhedra_Library::Pointset_Powerset< PS >

|o*Parma_Polyhedra_Library::Poly_Con_Relation

|o*Parma_Polyhedra_Library::Poly_Gen_Relation

|o*Parma_Polyhedra_Library::Polyhedron

|o*Parma_Polyhedra_Library::Polyhedron::Status

|o*Parma_Polyhedra_Library::Powerset< D >

|o*Parma_Polyhedra_Library::Interval_NS::Property

|o*Parma_Polyhedra_Library::Rectilinear_Distance_Specialization< Temp >

|o*Parma_Polyhedra_Library::Recycle_Input

|o*Parma_Polyhedra_Library::Restriction_Integer< From, Base, typename Enable_If< Is_Native_Or_Checked< From >::value >::type >

|o*Parma_Polyhedra_Library::Restriction_Integer< From, Base, typename Enable_If< Is_Same_Or_Derived< Interval_Restriction_Integer_Base, typename From::info_type >::value >::type >

|o*Parma_Polyhedra_Library::Restriction_Integer< From, Base, typename Enable_If< Is_Same_Or_Derived< Interval_Restriction_Integer_Modulo_Base, typename From::info_type >::value >::type >

|o*Parma_Polyhedra_Library::Restriction_Integer< From, Base, typename Enable_If< Is_Same_Or_Derived< Interval_Restriction_None_Base, typename From::info_type >::value >::type >

|o*Parma_Polyhedra_Library::Restriction_Integer_Modulo< From, T, Base, typename Enable_If< Is_Native_Or_Checked< From >::value >::type >

|o*Parma_Polyhedra_Library::Restriction_Integer_Modulo< From, T, Base, typename Enable_If< Is_Same_Or_Derived< Interval_Restriction_Integer_Base, typename From::info_type >::value >::type >

|o*Parma_Polyhedra_Library::Restriction_Integer_Modulo< From, T, Base, typename Enable_If< Is_Same_Or_Derived< Interval_Restriction_Integer_Modulo_Base, typename From::info_type >::value >::type >

|o*Parma_Polyhedra_Library::Restriction_Integer_Modulo< From, T, Base, typename Enable_If< Is_Same_Or_Derived< Interval_Restriction_None_Base, typename From::info_type >::value >::type >

|o*Parma_Polyhedra_Library::Row

|o*Parma_Polyhedra_Library::Row::Flags

|o*Parma_Polyhedra_Library::Row_Impl_Handler

|o*Parma_Polyhedra_Library::Row_Impl_Handler::Impl

|o*Parma_Polyhedra_Library::Checked::Safe_Conversion< T1, T2 >

|o*Parma_Polyhedra_Library::Checked::Safe_Conversion< T, T >

|o*Parma_Polyhedra_Library::Checked::Safe_Int_Comparison< T1, T2, Enable >

|o*Parma_Polyhedra_Library::Checked::Safe_Int_Comparison< T1, T2, typename Enable_If<(C_Integer< T1 >::value &&C_Integer< T2 >::value)>::type >

|o*Parma_Polyhedra_Library::Interval_NS::Scalar_As_Interval_Policy

|o*Parma_Polyhedra_Library::Scalar_Products

|o*Parma_Polyhedra_Library::Select_Temp_Boundary_Type< Interval_Boundary_Type >

|o*Parma_Polyhedra_Library::Select_Temp_Boundary_Type< float >

|o*Parma_Polyhedra_Library::Select_Temp_Boundary_Type< signed char >

|o*Parma_Polyhedra_Library::Select_Temp_Boundary_Type< signed int >

|o*Parma_Polyhedra_Library::Select_Temp_Boundary_Type< signed long >

|o*Parma_Polyhedra_Library::Select_Temp_Boundary_Type< signed short >

|o*Parma_Polyhedra_Library::Select_Temp_Boundary_Type< unsigned char >

|o*Parma_Polyhedra_Library::Select_Temp_Boundary_Type< unsigned int >

|o*Parma_Polyhedra_Library::Select_Temp_Boundary_Type< unsigned long >

|o*Parma_Polyhedra_Library::Select_Temp_Boundary_Type< unsigned long long >

|o*Parma_Polyhedra_Library::Select_Temp_Boundary_Type< unsigned short >

|o*Parma_Polyhedra_Library::Simple_Restriction_Integer

|o*Parma_Polyhedra_Library::Simple_Restriction_Integer_Modulo< T >

|o*Parma_Polyhedra_Library::Slow_Copy< Checked_Number< T, P > >

|o*Parma_Polyhedra_Library::Slow_Copy< Interval_Restriction_Integer_Modulo< T, Base > >

|o*Parma_Polyhedra_Library::Smash_Reduction< D1, D2 >

|o*Status

|o*Parma_Polyhedra_Library::stdiobuf

|o*Parma_Polyhedra_Library::TConstant< T, v >

|o*Parma_Polyhedra_Library::Throwable

|o*Parma_Polyhedra_Library::Topology_Adjusted_Scalar_Product_Sign

|o*Parma_Polyhedra_Library::True

|o*Parma_Polyhedra_Library::Variable

|o*Parma_Polyhedra_Library::Variable::Compare

|o*Parma_Polyhedra_Library::Widening_Function< PH >

|\*Parma_Polyhedra_Library::WRD_Extended_Number_Policy

o+Class Hierarchy

|o*Parma_Polyhedra_Library::BD_Shape< T >

|o*Parma_Polyhedra_Library::BD_Shape< T >::Status

|o*Parma_Polyhedra_Library::BHRZ03_Certificate

|o*Parma_Polyhedra_Library::BHRZ03_Certificate::Compare

|o*Parma_Polyhedra_Library::Bit_Matrix

|o*Parma_Polyhedra_Library::Bit_Matrix::Bit_Row_Less_Than

|o*Parma_Polyhedra_Library::Bit_Row

|o+Parma_Polyhedra_Library::Bool< b >

|o*Parma_Polyhedra_Library::is_signed||sizeof(T1)< sizeof(T2)||sizeof(T1)< sizeof(int)))>

|o+Parma_Polyhedra_Library::Bool< false >

|o*Parma_Polyhedra_Library::Bool< Parma_Polyhedra_Library::Is_Native< T >::value||Parma_Polyhedra_Library::Is_Checked< T >::value >

|o+Parma_Polyhedra_Library::Bool< Slow_Copy< T >::value >

|o+Parma_Polyhedra_Library::Bool< true >

|o*Parma_Polyhedra_Library::Boundary_Value< T, Enable >

|o*Parma_Polyhedra_Library::Boundary_Value< T, typename Enable_If< Is_Same_Or_Derived< Interval_Base, T >::value >::type >

|o*Parma_Polyhedra_Library::Box< ITV >

|o*Parma_Polyhedra_Library::Box< ITV >::Status

|o*Parma_Polyhedra_Library::Check_Overflow_Policy< T >

|o*Parma_Polyhedra_Library::Checked_Number< T, Policy >

|o*Parma_Polyhedra_Library::Checked_Number_Default_Policy

|o*Parma_Polyhedra_Library::Checked_Number_Transparent_Policy< T >

|o*Parma_Polyhedra_Library::Coefficient_traits_template< Coefficient >

|o*Parma_Polyhedra_Library::Coefficient_traits_template< GMP_Integer >

|o*Parma_Polyhedra_Library::Compile_Time_Check< true >

|o*Parma_Polyhedra_Library::Congruence_System::const_iterator

|o*Parma_Polyhedra_Library::const_iterator_to_const< Container >

|o*Parma_Polyhedra_Library::Constraint_System::const_iterator

|o*Parma_Polyhedra_Library::Constraints_Reduction< D1, D2 >

|o*Parma_Polyhedra_Library::DB_Matrix< T >

|o*Parma_Polyhedra_Library::DB_Matrix< T >::const_iterator

|o+Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >

|o*Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl

|o*Parma_Polyhedra_Library::Determinate< PS >

|o*Parma_Polyhedra_Library::Determinate< PS >::Binary_Operator_Assign_Lifter< Binary_Operator_Assign >

|o*Parma_Polyhedra_Library::Determinate< PS >::Rep

|o*Parma_Polyhedra_Library::Domain_Product< D1, D2 >

|o*Parma_Polyhedra_Library::Enable_If< b, T >

|o*Parma_Polyhedra_Library::Enable_If< true, T >

|o*Parma_Polyhedra_Library::Enable_If_Is< Type, Type, T >

|o*Parma_Polyhedra_Library::Euclidean_Distance_Specialization< Temp >

|o*Parma_Polyhedra_Library::Checked::Extended_Int< Policy, Type >

|o*Parma_Polyhedra_Library::Extended_Number_Policy

|o*Parma_Polyhedra_Library::Fit< T, v, typename Enable_If< C_Integer< T >::value >::type >

|o*Parma_Polyhedra_Library::Checked::Float_2exp

|o*Parma_Polyhedra_Library::float_ieee754_double

|o*Parma_Polyhedra_Library::float_ieee754_quad

|o*Parma_Polyhedra_Library::float_ieee754_single

|o*Parma_Polyhedra_Library::float_intel_double_extended

|o*Parma_Polyhedra_Library::FPU_Related< Checked_Number< T, Policy > >

|o*Parma_Polyhedra_Library::From_Covering_Box

|o+Parma_Polyhedra_Library::Generator_System::const_iterator

|o*Parma_Polyhedra_Library::GMP_Integer

|o*Parma_Polyhedra_Library::Grid

|o*Parma_Polyhedra_Library::Grid::Status

|o*Parma_Polyhedra_Library::Grid_Certificate

|o*Parma_Polyhedra_Library::Grid_Certificate::Compare

|o*Parma_Polyhedra_Library::H79_Certificate

|o*Parma_Polyhedra_Library::H79_Certificate::Compare

|o*Parma_Polyhedra_Library::Init

|o+Parma_Polyhedra_Library::Interval_Base

|o*Parma_Polyhedra_Library::Interval_Info_Bitset< T, Policy >

|o+Parma_Polyhedra_Library::Interval_Info_Null< Policy >

|o+Parma_Polyhedra_Library::Interval_Restriction_Integer_Base

|o+Parma_Polyhedra_Library::Interval_Restriction_Integer_Modulo_Base

|o+Parma_Polyhedra_Library::Interval_Restriction_None_Base

|o+Parma_Polyhedra_Library::Is_Same_Or_Derived< Base, Derived >

|o*Parma_Polyhedra_Library::Is_Same_Or_Derived< Base, Derived >::Any

|o*Parma_Polyhedra_Library::Is_Same_Or_Derived< Parma_Polyhedra_Library::Interval_Base, T >

|o*Parma_Polyhedra_Library::iterator_to_const< Container >

|o*Parma_Polyhedra_Library::L_Infinity_Distance_Specialization< Temp >

|o*Parma_Polyhedra_Library::Checked::Larger< signed char >

|o*Parma_Polyhedra_Library::Checked::Larger< signed int >

|o*Parma_Polyhedra_Library::Checked::Larger< signed long >

|o*Parma_Polyhedra_Library::Checked::Larger< signed long long >

|o*Parma_Polyhedra_Library::Checked::Larger< signed short >

|o*Parma_Polyhedra_Library::Checked::Larger< unsigned char >

|o*Parma_Polyhedra_Library::Checked::Larger< unsigned int >

|o*Parma_Polyhedra_Library::Checked::Larger< unsigned long >

|o*Parma_Polyhedra_Library::Checked::Larger< unsigned long long >

|o*Parma_Polyhedra_Library::Checked::Larger< unsigned short >

|o*Parma_Polyhedra_Library::Limited_Widening_Function< PH, CS >

|o*Parma_Polyhedra_Library::Linear_System::Row_Less_Than

|o*Parma_Polyhedra_Library::Linear_System::With_Bit_Matrix_iterator

|o*Parma_Polyhedra_Library::Linear_System::With_Pending

|o+Parma_Polyhedra_Library::Matrix

|o*Parma_Polyhedra_Library::Matrix::const_iterator

|o*Parma_Polyhedra_Library::maybe_assign_struct< To, From >

|o*Parma_Polyhedra_Library::maybe_assign_struct< Type, Type >

|o*Parma_Polyhedra_Library::Minus_Infinity

|o*Parma_Polyhedra_Library::MIP_Problem

|o*Parma_Polyhedra_Library::Native_Checked_From_Wrapper< Checked_Number< T, P > >

|o*Parma_Polyhedra_Library::Native_Checked_From_Wrapper< T, typename Enable_If< Is_Native< T >::value >::type >

|o*Parma_Polyhedra_Library::Native_Checked_To_Wrapper< Checked_Number< T, P > >

|o*Parma_Polyhedra_Library::Native_Checked_To_Wrapper< T, typename Enable_If< Is_Native< T >::value >::type >

|o*Parma_Polyhedra_Library::No_Reduction< D1, D2 >

|o*Parma_Polyhedra_Library::Not_A_Number

|o*Parma_Polyhedra_Library::Checked::number_struct

|o*Parma_Polyhedra_Library::Octagonal_Shape< T >

|o*Parma_Polyhedra_Library::Octagonal_Shape< T >::Status

|o*Parma_Polyhedra_Library::OR_Matrix< T >

|o*Parma_Polyhedra_Library::OR_Matrix< T >::any_row_iterator< U >

|o*Parma_Polyhedra_Library::OR_Matrix< T >::Pseudo_Row< U >

|o*Parma_Polyhedra_Library::Partially_Reduced_Product< D1, D2, R >

|o*Parma_Polyhedra_Library::Plus_Infinity

|o*Parma_Polyhedra_Library::Poly_Con_Relation

|o*Parma_Polyhedra_Library::Poly_Gen_Relation

|o+Parma_Polyhedra_Library::Polyhedron

|o*Parma_Polyhedra_Library::Polyhedron::Status

|o*Parma_Polyhedra_Library::Powerset< D >

|o+Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PS > >

|o*Parma_Polyhedra_Library::Interval_NS::Property

|o*Parma_Polyhedra_Library::Rectilinear_Distance_Specialization< Temp >

|o*Parma_Polyhedra_Library::Recycle_Input

|o*Parma_Polyhedra_Library::Restriction_Integer< From, Base, typename Enable_If< Is_Native_Or_Checked< From >::value >::type >

|o*Parma_Polyhedra_Library::Restriction_Integer< From, Base, typename Enable_If< Is_Same_Or_Derived< Interval_Restriction_Integer_Base, typename From::info_type >::value >::type >

|o*Parma_Polyhedra_Library::Restriction_Integer< From, Base, typename Enable_If< Is_Same_Or_Derived< Interval_Restriction_Integer_Modulo_Base, typename From::info_type >::value >::type >

|o*Parma_Polyhedra_Library::Restriction_Integer< From, Base, typename Enable_If< Is_Same_Or_Derived< Interval_Restriction_None_Base, typename From::info_type >::value >::type >

|o*Parma_Polyhedra_Library::Restriction_Integer_Modulo< From, T, Base, typename Enable_If< Is_Native_Or_Checked< From >::value >::type >

|o*Parma_Polyhedra_Library::Restriction_Integer_Modulo< From, T, Base, typename Enable_If< Is_Same_Or_Derived< Interval_Restriction_Integer_Base, typename From::info_type >::value >::type >

|o*Parma_Polyhedra_Library::Restriction_Integer_Modulo< From, T, Base, typename Enable_If< Is_Same_Or_Derived< Interval_Restriction_Integer_Modulo_Base, typename From::info_type >::value >::type >

|o*Parma_Polyhedra_Library::Restriction_Integer_Modulo< From, T, Base, typename Enable_If< Is_Same_Or_Derived< Interval_Restriction_None_Base, typename From::info_type >::value >::type >

|o+Parma_Polyhedra_Library::Row::Flags

|o+Parma_Polyhedra_Library::Row_Impl_Handler

|o*Parma_Polyhedra_Library::Row_Impl_Handler::Impl

|o*Parma_Polyhedra_Library::Interval_NS::Scalar_As_Interval_Policy

|o*Parma_Polyhedra_Library::Scalar_Products

|o*Parma_Polyhedra_Library::Select_Temp_Boundary_Type< Interval_Boundary_Type >

|o*Parma_Polyhedra_Library::Select_Temp_Boundary_Type< float >

|o*Parma_Polyhedra_Library::Select_Temp_Boundary_Type< signed char >

|o*Parma_Polyhedra_Library::Select_Temp_Boundary_Type< signed int >

|o*Parma_Polyhedra_Library::Select_Temp_Boundary_Type< signed long >

|o*Parma_Polyhedra_Library::Select_Temp_Boundary_Type< signed short >

|o*Parma_Polyhedra_Library::Select_Temp_Boundary_Type< unsigned char >

|o*Parma_Polyhedra_Library::Select_Temp_Boundary_Type< unsigned int >

|o*Parma_Polyhedra_Library::Select_Temp_Boundary_Type< unsigned long >

|o*Parma_Polyhedra_Library::Select_Temp_Boundary_Type< unsigned long long >

|o*Parma_Polyhedra_Library::Select_Temp_Boundary_Type< unsigned short >

|o*Parma_Polyhedra_Library::Smash_Reduction< D1, D2 >

|o*Status

|o*Parma_Polyhedra_Library::stdiobuf

|o+Parma_Polyhedra_Library::TConstant< T, v >

|o+Parma_Polyhedra_Library::TConstant< C_Integer< T >::smaller_signed_type, v >

|o+Parma_Polyhedra_Library::TConstant< C_Integer< T >::smaller_unsigned_type, v >

|o+Parma_Polyhedra_Library::TConstant< long long, v >

|o*Parma_Polyhedra_Library::Throwable

|o*Parma_Polyhedra_Library::Topology_Adjusted_Scalar_Product_Sign

|o*Parma_Polyhedra_Library::Variable

|o*Parma_Polyhedra_Library::Variable::Compare

|o*Parma_Polyhedra_Library::Widening_Function< PH >

|\*Parma_Polyhedra_Library::WRD_Extended_Number_Policy

o*Class Members

o*Graphical Class Hierarchy

o+Namespace List

o*Namespace Members

o+File List

|o*algorithms.hh

|o*BD_Shape.cc

|o*BD_Shape.defs.hh

|o*BD_Shape.inlines.hh

|o*BD_Shape.templates.hh

|o*BD_Shape.types.hh

|o*BHRZ03_Certificate.cc

|o*BHRZ03_Certificate.defs.hh

|o*BHRZ03_Certificate.inlines.hh

|o*BHRZ03_Certificate.types.hh

|o*Bit_Matrix.cc

|o*Bit_Matrix.defs.hh

|o*Bit_Matrix.inlines.hh

|o*Bit_Matrix.types.hh

|o*Bit_Row.cc

|o*Bit_Row.defs.hh

|o*Bit_Row.inlines.hh

|o*Bit_Row.types.hh

|o*Box.cc

|o*Box.defs.hh

|o*Box.inlines.hh

|o*Box.templates.hh

|o*Box.types.hh

|o*C_Polyhedron.cc

|o*C_Polyhedron.defs.hh

|o*C_Polyhedron.inlines.hh

|o*C_Polyhedron.types.hh

|o*checked.cc

|o*checked.defs.hh

|o*checked.inlines.hh

|o*checked_float.inlines.hh

|o*checked_int.inlines.hh

|o*checked_mpq.inlines.hh

|o*checked_mpz.inlines.hh

|o*Checked_Number.cc

|o*Checked_Number.defs.hh

|o*Checked_Number.inlines.hh

|o*Checked_Number.types.hh

|o*Coefficient.cc

|o*Coefficient.defs.hh

|o*Coefficient.inlines.hh

|o*Coefficient.types.hh

|o*Coefficient_traits_template.hh

|o*Congruence.cc

|o*Congruence.defs.hh

|o*Congruence.inlines.hh

|o*Congruence.types.hh

|o*Congruence_System.cc

|o*Congruence_System.defs.hh

|o*Congruence_System.inlines.hh

|o*Congruence_System.types.hh

|o*Constraint.cc

|o*Constraint.defs.hh

|o*Constraint.inlines.hh

|o*Constraint.types.hh

|o*Constraint_System.cc

|o*Constraint_System.defs.hh

|o*Constraint_System.inlines.hh

|o*Constraint_System.types.hh

|o*conversion.cc

|o*DB_Matrix.defs.hh

|o*DB_Matrix.inlines.hh

|o*DB_Matrix.templates.hh

|o*DB_Matrix.types.hh

|o*DB_Row.defs.hh

|o*DB_Row.inlines.hh

|o*DB_Row.templates.hh

|o*DB_Row.types.hh

|o*Determinate.defs.hh

|o*Determinate.inlines.hh

|o*distances.defs.hh

|o*distances.inlines.hh

|o*distances.types.hh

|o*Float.cc

|o*Float.defs.hh

|o*Float.inlines.hh

|o*Generator.cc

|o*Generator.defs.hh

|o*Generator.inlines.hh

|o*Generator.types.hh

|o*Generator_System.cc

|o*Generator_System.defs.hh

|o*Generator_System.inlines.hh

|o*Generator_System.types.hh

|o*globals.cc

|o*globals.defs.hh

|o*globals.inlines.hh

|o*globals.types.hh

|o*GMP_Integer.defs.hh

|o*GMP_Integer.inlines.hh

|o*GMP_Integer.types.hh

|o*Grid.defs.hh

|o*Grid.inlines.hh

|o*Grid.templates.hh

|o*Grid.types.hh

|o*Grid_Certificate.cc

|o*Grid_Certificate.defs.hh

|o*Grid_Certificate.inlines.hh

|o*Grid_Certificate.types.hh

|o*Grid_chdims.cc

|o*Grid_conversion.cc

|o*Grid_Generator.cc

|o*Grid_Generator.defs.hh

|o*Grid_Generator.inlines.hh

|o*Grid_Generator.types.hh

|o*Grid_Generator_System.cc

|o*Grid_Generator_System.defs.hh

|o*Grid_Generator_System.inlines.hh

|o*Grid_Generator_System.types.hh

|o*Grid_nonpublic.cc

|o*Grid_public.cc

|o*Grid_simplify.cc

|o*Grid_widenings.cc

|o*H79_Certificate.cc

|o*H79_Certificate.defs.hh

|o*H79_Certificate.inlines.hh

|o*H79_Certificate.types.hh

|o*Init.cc

|o*Init.defs.hh

|o*Init.inlines.hh

|o*Init.types.hh

|o*initializer.hh

|o*Interval.defs.hh

|o*Interval.inlines.hh

|o*Interval.types.hh

|o*Interval_Info.defs.hh

|o*Interval_Info.inlines.hh

|o*Interval_Info.types.hh

|o*Interval_Restriction.defs.hh

|o*iterator_to_const.defs.hh

|o*iterator_to_const.inlines.hh

|o*iterator_to_const.types.hh

|o*Linear_Expression.cc

|o*Linear_Expression.defs.hh

|o*Linear_Expression.inlines.hh

|o*Linear_Expression.types.hh

|o*Linear_Row.cc

|o*Linear_Row.defs.hh

|o*Linear_Row.inlines.hh

|o*Linear_Row.types.hh

|o*Linear_System.cc

|o*Linear_System.defs.hh

|o*Linear_System.inlines.hh

|o*Linear_System.types.hh

|o*math_utilities.defs.hh

|o*math_utilities.inlines.hh

|o*Matrix.cc

|o*Matrix.defs.hh

|o*Matrix.inlines.hh

|o*Matrix.types.hh

|o*meta_programming.hh

|o*minimize.cc

|o*MIP_Problem.cc

|o*MIP_Problem.defs.hh

|o*MIP_Problem.inlines.hh

|o*MIP_Problem.types.hh

|o*namespaces.hh

|o*NNC_Polyhedron.cc

|o*NNC_Polyhedron.defs.hh

|o*NNC_Polyhedron.inlines.hh

|o*NNC_Polyhedron.types.hh

|o*Octagonal_Shape.cc

|o*Octagonal_Shape.defs.hh

|o*Octagonal_Shape.inlines.hh

|o*Octagonal_Shape.templates.hh

|o*Octagonal_Shape.types.hh

|o*OR_Matrix.defs.hh

|o*OR_Matrix.inlines.hh

|o*OR_Matrix.templates.hh

|o*OR_Matrix.types.hh

|o*Partially_Reduced_Product.defs.hh

|o*Partially_Reduced_Product.inlines.hh

|o*Partially_Reduced_Product.templates.hh

|o*Partially_Reduced_Product.types.hh

|o*Ph_Status.cc

|o*Ph_Status.idefs.hh

|o*Ph_Status.inlines.hh

|o*Pointset_Powerset.cc

|o*Pointset_Powerset.defs.hh

|o*Pointset_Powerset.inlines.hh

|o*Pointset_Powerset.templates.hh

|o*Pointset_Powerset.types.hh

|o*Poly_Con_Relation.cc

|o*Poly_Con_Relation.defs.hh

|o*Poly_Con_Relation.inlines.hh

|o*Poly_Con_Relation.types.hh

|o*Poly_Gen_Relation.cc

|o*Poly_Gen_Relation.defs.hh

|o*Poly_Gen_Relation.inlines.hh

|o*Poly_Gen_Relation.types.hh

|o*Polyhedron.defs.hh

|o*Polyhedron.inlines.hh

|o*Polyhedron.templates.hh

|o*Polyhedron.types.hh

|o*Polyhedron_chdims.cc

|o*Polyhedron_nonpublic.cc

|o*Polyhedron_public.cc

|o*Polyhedron_widenings.cc

|o*Powerset.defs.hh

|o*Powerset.inlines.hh

|o*Powerset.templates.hh

|o*Powerset.types.hh

|o*Row.cc

|o*Row.defs.hh

|o*Row.inlines.hh

|o*Row.types.hh

|o*Scalar_Products.cc

|o*Scalar_Products.defs.hh

|o*Scalar_Products.inlines.hh

|o*Scalar_Products.types.hh

|o*simplify.cc

|o*stdiobuf.cc

|o*stdiobuf.defs.hh

|o*stdiobuf.inlines.hh

|o*stdiobuf.types.hh

|o*Topology.hh

|o*Variable.cc

|o*Variable.defs.hh

|o*Variable.inlines.hh

|o*Variable.types.hh

|o*version.cc

|o*version.hh

|o*Widening_Function.defs.hh

|o*Widening_Function.inlines.hh

|\*Widening_Function.types.hh

\*File Members