PPL

General Information on the PPL

GNU General Public License

GNU Free Documentation License

Modules

C++ Language Interface

C Language Interface

Prolog Language Interface

Class List

Parma_Polyhedra_Library::BD_Shape< T >

Parma_Polyhedra_Library::BD_Shape< T >::Status

Parma_Polyhedra_Library::BHRZ03_Certificate

Parma_Polyhedra_Library::BHRZ03_Certificate::Compare

Parma_Polyhedra_Library::Boundary

Parma_Polyhedra_Library::Bounding_Box

Parma_Polyhedra_Library::C_Polyhedron

Parma_Polyhedra_Library::Checked::Check_Overflow_Policy

Parma_Polyhedra_Library::Checked_Number< T, Policy >

Parma_Polyhedra_Library::Checked_Number_Default_Policy

Parma_Polyhedra_Library::Checked_Number_Transparent_Policy

Parma_Polyhedra_Library::Coefficient_free_list_element

Parma_Polyhedra_Library::Coefficient_traits_template< Coefficient >

Parma_Polyhedra_Library::Coefficient_traits_template< GMP_Integer >

Parma_Polyhedra_Library::Congruence

Parma_Polyhedra_Library::Congruence_System

Parma_Polyhedra_Library::Congruence_System::const_iterator

Parma_Polyhedra_Library::Constraint

Parma_Polyhedra_Library::Constraint_System

Parma_Polyhedra_Library::Constraint_System::const_iterator

Parma_Polyhedra_Library::DB_Matrix< T >

Parma_Polyhedra_Library::DB_Matrix< T >::const_iterator

Parma_Polyhedra_Library::DB_Row< T >

Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >

Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl

Parma_Polyhedra_Library::Determinate< PH >

Parma_Polyhedra_Library::Determinate< PH >::Binary_Operator_Assign_Lifter< Binary_Operator_Assign >

Parma_Polyhedra_Library::Determinate< PH >::Rep

Parma_Polyhedra_Library::Euclidean_Distance_Specialization< Temp >

Parma_Polyhedra_Library::Checked::Extended_Int< Policy, Type >

Parma_Polyhedra_Library::Extended_Number_Policy

Parma_Polyhedra_Library::Float< T >

Parma_Polyhedra_Library::float_ieee754_double

Parma_Polyhedra_Library::float_ieee754_quad

Parma_Polyhedra_Library::float_ieee754_single

Parma_Polyhedra_Library::float_intel_double_extended

Parma_Polyhedra_Library::From_Bounding_Box

Parma_Polyhedra_Library::From_Covering_Box

Parma_Polyhedra_Library::Generator

Parma_Polyhedra_Library::Generator_System

Parma_Polyhedra_Library::Generator_System::const_iterator

Parma_Polyhedra_Library::GMP_Integer

Parma_Polyhedra_Library::Grid

Parma_Polyhedra_Library::Grid::Status

Parma_Polyhedra_Library::Grid_Certificate

Parma_Polyhedra_Library::Grid_Certificate::Compare

Parma_Polyhedra_Library::Grid_Generator

Parma_Polyhedra_Library::Grid_Generator_System

Parma_Polyhedra_Library::Grid_Generator_System::const_iterator

Parma_Polyhedra_Library::H79_Certificate

Parma_Polyhedra_Library::H79_Certificate::Compare

Parma_Polyhedra_Library::Init

internal_exception

Parma_Polyhedra_Library::Interval

Parma_Polyhedra_Library::L_Infinity_Distance_Specialization< Temp >

Parma_Polyhedra_Library::Checked::Larger< signed char >

Parma_Polyhedra_Library::Checked::Larger< signed int >

Parma_Polyhedra_Library::Checked::Larger< signed long >

Parma_Polyhedra_Library::Checked::Larger< signed long long >

Parma_Polyhedra_Library::Checked::Larger< signed short >

Parma_Polyhedra_Library::Checked::Larger< unsigned char >

Parma_Polyhedra_Library::Checked::Larger< unsigned int >

Parma_Polyhedra_Library::Checked::Larger< unsigned long >

Parma_Polyhedra_Library::Checked::Larger< unsigned long long >

Parma_Polyhedra_Library::Checked::Larger< unsigned short >

Parma_Polyhedra_Library::LBoundary

Parma_Polyhedra_Library::Limited_Widening_Function< PH, CS >

Parma_Polyhedra_Library::Linear_Expression

Parma_Polyhedra_Library::Linear_Row

Parma_Polyhedra_Library::Linear_Row::Flags

Parma_Polyhedra_Library::Linear_System

Parma_Polyhedra_Library::Linear_System::Row_Less_Than

Parma_Polyhedra_Library::Linear_System::With_Pending

Parma_Polyhedra_Library::Linear_System::With_Saturation_Matrix_iterator

Parma_Polyhedra_Library::LP_Problem

Parma_Polyhedra_Library::Matrix

Parma_Polyhedra_Library::Matrix::const_iterator

Parma_Polyhedra_Library::maybe_assign_struct< To, From >

Parma_Polyhedra_Library::maybe_assign_struct< Type, Type >

Parma_Polyhedra_Library::Minus_Infinity

Parma_Polyhedra_Library::Native_Checked_From_Wrapper< T >

Parma_Polyhedra_Library::Native_Checked_From_Wrapper< Checked_Number< T, P > >

Parma_Polyhedra_Library::Native_Checked_To_Wrapper< T >

Parma_Polyhedra_Library::Native_Checked_To_Wrapper< Checked_Number< T, P > >

Parma_Polyhedra_Library::NNC_Polyhedron

non_linear

not_a_complexity_class

not_a_nil_terminated_list

Parma_Polyhedra_Library::Not_A_Number

not_a_polyhedron_handle

not_a_polyhedron_kind

not_a_relation

not_a_variable

not_an_integer

not_an_lp_problem_handle

not_an_optimization_mode

not_universe_or_empty

not_unsigned_integer

Parma_Polyhedra_Library::Checked::number_struct

Parma_Polyhedra_Library::Plus_Infinity

Parma_Polyhedra_Library::Poly_Con_Relation

Parma_Polyhedra_Library::Poly_Gen_Relation

Parma_Polyhedra_Library::Polyhedra_Powerset< PH >

Parma_Polyhedra_Library::Polyhedron

Parma_Polyhedra_Library::Polyhedron::Status

Parma_Polyhedra_Library::Powerset< D >

Parma_Polyhedra_Library::Powerset< D >::omega_const_iterator

Parma_Polyhedra_Library::Powerset< D >::omega_iterator

PPL_integer_out_of_range

Prolog_unsigned_out_of_range

Parma_Polyhedra_Library::Rectilinear_Distance_Specialization< Temp >

Parma_Polyhedra_Library::Row

Parma_Polyhedra_Library::Row::Flags

Parma_Polyhedra_Library::Row_Impl_Handler

Parma_Polyhedra_Library::Row_Impl_Handler::Impl

Parma_Polyhedra_Library::Saturation_Matrix

Parma_Polyhedra_Library::Saturation_Matrix::Saturation_Row_Less_Than

Parma_Polyhedra_Library::Saturation_Row

Parma_Polyhedra_Library::Scalar_Products

Status

Parma_Polyhedra_Library::Temp_Coefficient_Holder

Parma_Polyhedra_Library::Throwable

Parma_Polyhedra_Library::Topology_Adjusted_Scalar_Product_Sign

Parma_Polyhedra_Library::UBoundary

unknown_interface_error

Parma_Polyhedra_Library::Variable

Parma_Polyhedra_Library::Variable::Compare

Parma_Polyhedra_Library::Widening_Function< PH >

Class Hierarchy

Parma_Polyhedra_Library::BD_Shape< T >

Parma_Polyhedra_Library::BD_Shape< T >::Status

Parma_Polyhedra_Library::BHRZ03_Certificate

Parma_Polyhedra_Library::BHRZ03_Certificate::Compare

Parma_Polyhedra_Library::Boundary

Parma_Polyhedra_Library::LBoundary

Parma_Polyhedra_Library::UBoundary

Parma_Polyhedra_Library::Bounding_Box

Parma_Polyhedra_Library::Checked::Check_Overflow_Policy

Parma_Polyhedra_Library::Checked_Number< T, Policy >

Parma_Polyhedra_Library::Checked_Number_Default_Policy

Parma_Polyhedra_Library::Checked_Number_Transparent_Policy

Parma_Polyhedra_Library::Coefficient_free_list_element

Parma_Polyhedra_Library::Coefficient_traits_template< Coefficient >

Parma_Polyhedra_Library::Coefficient_traits_template< GMP_Integer >

Parma_Polyhedra_Library::Congruence_System::const_iterator

Parma_Polyhedra_Library::Constraint_System::const_iterator

Parma_Polyhedra_Library::DB_Matrix< T >

Parma_Polyhedra_Library::DB_Matrix< T >::const_iterator

Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >

Parma_Polyhedra_Library::DB_Row< T >

Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl

Parma_Polyhedra_Library::Determinate< PH >

Parma_Polyhedra_Library::Determinate< PH >::Binary_Operator_Assign_Lifter< Binary_Operator_Assign >

Parma_Polyhedra_Library::Determinate< PH >::Rep

Parma_Polyhedra_Library::Euclidean_Distance_Specialization< Temp >

Parma_Polyhedra_Library::Checked::Extended_Int< Policy, Type >

Parma_Polyhedra_Library::Extended_Number_Policy

Parma_Polyhedra_Library::Float< T >

Parma_Polyhedra_Library::float_ieee754_double

Parma_Polyhedra_Library::float_ieee754_quad

Parma_Polyhedra_Library::float_ieee754_single

Parma_Polyhedra_Library::float_intel_double_extended

Parma_Polyhedra_Library::From_Bounding_Box

Parma_Polyhedra_Library::From_Covering_Box

Parma_Polyhedra_Library::Generator_System::const_iterator

Parma_Polyhedra_Library::Grid_Generator_System::const_iterator

Parma_Polyhedra_Library::GMP_Integer

Parma_Polyhedra_Library::Grid

Parma_Polyhedra_Library::Grid::Status

Parma_Polyhedra_Library::Grid_Certificate

Parma_Polyhedra_Library::Grid_Certificate::Compare

Parma_Polyhedra_Library::H79_Certificate

Parma_Polyhedra_Library::H79_Certificate::Compare

Parma_Polyhedra_Library::Init

internal_exception

non_linear

not_a_complexity_class

not_a_nil_terminated_list

not_a_polyhedron_handle

not_a_polyhedron_kind

not_a_relation

not_a_variable

not_an_integer

not_an_lp_problem_handle

not_an_optimization_mode

not_universe_or_empty

not_unsigned_integer

Prolog_unsigned_out_of_range

Parma_Polyhedra_Library::Interval

Parma_Polyhedra_Library::L_Infinity_Distance_Specialization< Temp >

Parma_Polyhedra_Library::Checked::Larger< signed char >

Parma_Polyhedra_Library::Checked::Larger< signed int >

Parma_Polyhedra_Library::Checked::Larger< signed long >

Parma_Polyhedra_Library::Checked::Larger< signed long long >

Parma_Polyhedra_Library::Checked::Larger< signed short >

Parma_Polyhedra_Library::Checked::Larger< unsigned char >

Parma_Polyhedra_Library::Checked::Larger< unsigned int >

Parma_Polyhedra_Library::Checked::Larger< unsigned long >

Parma_Polyhedra_Library::Checked::Larger< unsigned long long >

Parma_Polyhedra_Library::Checked::Larger< unsigned short >

Parma_Polyhedra_Library::Limited_Widening_Function< PH, CS >

Parma_Polyhedra_Library::Linear_System::Row_Less_Than

Parma_Polyhedra_Library::Linear_System::With_Pending

Parma_Polyhedra_Library::Linear_System::With_Saturation_Matrix_iterator

Parma_Polyhedra_Library::LP_Problem

Parma_Polyhedra_Library::Matrix

Parma_Polyhedra_Library::Congruence_System

Parma_Polyhedra_Library::Linear_System

Parma_Polyhedra_Library::Constraint_System

Parma_Polyhedra_Library::Generator_System

Parma_Polyhedra_Library::Grid_Generator_System

Parma_Polyhedra_Library::Matrix::const_iterator

Parma_Polyhedra_Library::maybe_assign_struct< To, From >

Parma_Polyhedra_Library::maybe_assign_struct< Type, Type >

Parma_Polyhedra_Library::Minus_Infinity

Parma_Polyhedra_Library::Native_Checked_From_Wrapper< T >

Parma_Polyhedra_Library::Native_Checked_From_Wrapper< Checked_Number< T, P > >

Parma_Polyhedra_Library::Native_Checked_To_Wrapper< T >

Parma_Polyhedra_Library::Native_Checked_To_Wrapper< Checked_Number< T, P > >

Parma_Polyhedra_Library::Not_A_Number

Parma_Polyhedra_Library::Checked::number_struct

Parma_Polyhedra_Library::Plus_Infinity

Parma_Polyhedra_Library::Poly_Con_Relation

Parma_Polyhedra_Library::Poly_Gen_Relation

Parma_Polyhedra_Library::Polyhedron

Parma_Polyhedra_Library::C_Polyhedron

Parma_Polyhedra_Library::NNC_Polyhedron

Parma_Polyhedra_Library::Polyhedron::Status

Parma_Polyhedra_Library::Powerset< D >

Parma_Polyhedra_Library::Powerset< D >::omega_const_iterator

Parma_Polyhedra_Library::Powerset< D >::omega_iterator

Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PH > >

Parma_Polyhedra_Library::Polyhedra_Powerset< PH >

PPL_integer_out_of_range

Parma_Polyhedra_Library::Rectilinear_Distance_Specialization< Temp >

Parma_Polyhedra_Library::Row::Flags

Parma_Polyhedra_Library::Linear_Row::Flags

Parma_Polyhedra_Library::Row_Impl_Handler

Parma_Polyhedra_Library::Row

Parma_Polyhedra_Library::Congruence

Parma_Polyhedra_Library::Linear_Row

Parma_Polyhedra_Library::Constraint

Parma_Polyhedra_Library::Generator

Parma_Polyhedra_Library::Grid_Generator

Parma_Polyhedra_Library::Linear_Expression

Parma_Polyhedra_Library::Row_Impl_Handler::Impl

Parma_Polyhedra_Library::Saturation_Matrix

Parma_Polyhedra_Library::Saturation_Matrix::Saturation_Row_Less_Than

Parma_Polyhedra_Library::Saturation_Row

Parma_Polyhedra_Library::Scalar_Products

Status

Parma_Polyhedra_Library::Temp_Coefficient_Holder

Parma_Polyhedra_Library::Throwable

Parma_Polyhedra_Library::Topology_Adjusted_Scalar_Product_Sign

unknown_interface_error

Parma_Polyhedra_Library::Variable

Parma_Polyhedra_Library::Variable::Compare

Parma_Polyhedra_Library::Widening_Function< PH >

Class Members

Graphical Class Hierarchy

Namespace List

Parma_Polyhedra_Library

Parma_Polyhedra_Library::Checked

Parma_Polyhedra_Library::Implementation

Parma_Polyhedra_Library::Implementation::BD_Shapes

Parma_Polyhedra_Library::Implementation::Polyhedra_Powersets

Parma_Polyhedra_Library::IO_Operators

std

Namespace Members

File List

algorithms.hh

BD_Shape.cc

BD_Shape.defs.hh

BD_Shape.inlines.hh

BD_Shape.templates.hh

BD_Shape.types.hh

BHRZ03_Certificate.cc

BHRZ03_Certificate.defs.hh

BHRZ03_Certificate.inlines.hh

BHRZ03_Certificate.types.hh

Bounding_Box.cc

Bounding_Box.defs.hh

Bounding_Box.inlines.hh

Bounding_Box.types.hh

C_Polyhedron.cc

C_Polyhedron.defs.hh

C_Polyhedron.inlines.hh

C_Polyhedron.types.hh

checked.cc

checked.defs.hh

checked.inlines.hh

checked_float.inlines.hh

checked_int.inlines.hh

checked_mpq.inlines.hh

checked_mpz.inlines.hh

Checked_Number.cc

Checked_Number.defs.hh

Checked_Number.inlines.hh

Checked_Number.types.hh

Coefficient.cc

Coefficient.defs.hh

Coefficient.inlines.hh

Coefficient.types.hh

Coefficient_traits_template.hh

Congruence.cc

Congruence.defs.hh

Congruence.inlines.hh

Congruence.types.hh

Congruence_System.cc

Congruence_System.defs.hh

Congruence_System.inlines.hh

Congruence_System.types.hh

Constraint.cc

Constraint.defs.hh

Constraint.inlines.hh

Constraint.types.hh

Constraint_System.cc

Constraint_System.defs.hh

Constraint_System.inlines.hh

Constraint_System.types.hh

conversion.cc

DB_Matrix.defs.hh

DB_Matrix.inlines.hh

DB_Matrix.types.hh

DB_Row.defs.hh

DB_Row.inlines.hh

DB_Row.types.hh

Determinate.defs.hh

Determinate.inlines.hh

exceptions.hh

Float.cc

Float.defs.hh

Float.inlines.hh

Generator.cc

Generator.defs.hh

Generator.inlines.hh

Generator.types.hh

Generator_System.cc

Generator_System.defs.hh

Generator_System.inlines.hh

Generator_System.types.hh

globals.cc

globals.defs.hh

globals.inlines.hh

globals.types.hh

GMP_Integer.defs.hh

GMP_Integer.inlines.hh

GMP_Integer.types.hh

Grid.defs.hh

Grid.inlines.hh

Grid.templates.hh

Grid.types.hh

Grid_Certificate.cc

Grid_Certificate.defs.hh

Grid_Certificate.inlines.hh

Grid_Certificate.types.hh

Grid_chdims.cc

Grid_conversion.cc

Grid_Generator.cc

Grid_Generator.defs.hh

Grid_Generator.inlines.hh

Grid_Generator.types.hh

Grid_Generator_System.cc

Grid_Generator_System.defs.hh

Grid_Generator_System.inlines.hh

Grid_Generator_System.types.hh

Grid_nonpublic.cc

Grid_public.cc

Grid_simplify.cc

Grid_widenings.cc

H79_Certificate.cc

H79_Certificate.defs.hh

H79_Certificate.inlines.hh

H79_Certificate.types.hh

Init.cc

Init.defs.hh

Init.types.hh

initializer.hh

Interval.cc

Interval.defs.hh

Interval.inlines.hh

Interval.types.hh

Limits.hh

Linear_Expression.cc

Linear_Expression.defs.hh

Linear_Expression.inlines.hh

Linear_Expression.types.hh

Linear_Row.cc

Linear_Row.defs.hh

Linear_Row.inlines.hh

Linear_Row.types.hh

Linear_System.cc

Linear_System.defs.hh

Linear_System.inlines.hh

Linear_System.types.hh

LP_Problem.cc

LP_Problem.defs.hh

LP_Problem.inlines.hh

LP_Problem.types.hh

Matrix.cc

Matrix.defs.hh

Matrix.inlines.hh

Matrix.types.hh

minimize.cc

namespaces.hh

NNC_Polyhedron.cc

NNC_Polyhedron.defs.hh

NNC_Polyhedron.inlines.hh

NNC_Polyhedron.types.hh

Ph_Status.cc

Ph_Status.idefs.hh

Ph_Status.inlines.hh

Poly_Con_Relation.cc

Poly_Con_Relation.defs.hh

Poly_Con_Relation.inlines.hh

Poly_Con_Relation.types.hh

Poly_Gen_Relation.cc

Poly_Gen_Relation.defs.hh

Poly_Gen_Relation.inlines.hh

Poly_Gen_Relation.types.hh

Polyhedra_Powerset.cc

Polyhedra_Powerset.defs.hh

Polyhedra_Powerset.inlines.hh

Polyhedra_Powerset.templates.hh

Polyhedra_Powerset.types.hh

Polyhedron.defs.hh

Polyhedron.inlines.hh

Polyhedron.templates.hh

Polyhedron.types.hh

Polyhedron_chdims.cc

Polyhedron_nonpublic.cc

Polyhedron_public.cc

Polyhedron_widenings.cc

Powerset.defs.hh

Powerset.inlines.hh

Powerset.templates.hh

ppl_c.cc

ppl_c.h

ppl_ciao.cc

ppl_gprolog_sd.cc

ppl_prolog.icc

ppl_sicstus_sd.cc

ppl_swiprolog.cc

ppl_yap.cc

Row.cc

Row.defs.hh

Row.inlines.hh

Row.types.hh

Saturation_Matrix.cc

Saturation_Matrix.defs.hh

Saturation_Matrix.inlines.hh

Saturation_Matrix.types.hh

Saturation_Row.cc

Saturation_Row.defs.hh

Saturation_Row.inlines.hh

Saturation_Row.types.hh

Scalar_Products.cc

Scalar_Products.defs.hh

Scalar_Products.inlines.hh

Scalar_Products.types.hh

simplify.cc

Topology.hh

track_allocation.hh

Variable.cc

Variable.defs.hh

Variable.inlines.hh

Variable.types.hh

version.cc

version.hh

Widening_Function.defs.hh

Widening_Function.inlines.hh

Widening_Function.types.hh

File Members