Parma_Polyhedra_Library::BD_Shape< T > | A bounded difference shape |
Parma_Polyhedra_Library::BD_Shape< T >::Status | A conjunctive assertion about a BD_Shape<T> object |
Parma_Polyhedra_Library::BHRZ03_Certificate | The convergence certificate for the BHRZ03 widening operator |
Parma_Polyhedra_Library::BHRZ03_Certificate::Compare | A total ordering on BHRZ03 certificates |
Parma_Polyhedra_Library::Boundary | An extended rational bound of an interval |
Parma_Polyhedra_Library::Bounding_Box | A not necessarily closed bounding-box |
Parma_Polyhedra_Library::C_Polyhedron | A closed convex polyhedron |
Parma_Polyhedra_Library::Checked::Check_Overflow_Policy | A policy checking for overflows |
Parma_Polyhedra_Library::Checked_Number< T, Policy > | A wrapper for numeric types implementing a given policy |
Parma_Polyhedra_Library::Checked_Number_Default_Policy | |
Parma_Polyhedra_Library::Checked_Number_Transparent_Policy | |
Parma_Polyhedra_Library::Coefficient_free_list_element | A node of the list of available coefficients |
Parma_Polyhedra_Library::Coefficient_traits_template< Coefficient > | Coefficient traits |
Parma_Polyhedra_Library::Coefficient_traits_template< GMP_Integer > | Coefficient traits specialization for unbounded integers |
Parma_Polyhedra_Library::Congruence | A linear congruence |
Parma_Polyhedra_Library::Congruence_System | A system of congruences |
Parma_Polyhedra_Library::Congruence_System::const_iterator | An iterator over a system of congruences |
Parma_Polyhedra_Library::Constraint | A linear equality or inequality |
Parma_Polyhedra_Library::Constraint_System | A system of constraints |
Parma_Polyhedra_Library::Constraint_System::const_iterator | An iterator over a system of constraints |
Parma_Polyhedra_Library::DB_Matrix< T > | The base class for the square matrices |
Parma_Polyhedra_Library::DB_Matrix< T >::const_iterator | A read-only iterator over the rows of the matrix |
Parma_Polyhedra_Library::DB_Row< T > | The base class for the single rows of matrices |
Parma_Polyhedra_Library::DB_Row_Impl_Handler< T > | The handler of the actual DB_Row implementation |
Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl | The real implementation of a DB_Row object |
Parma_Polyhedra_Library::Determinate< PH > | Wraps a PPL class into a determinate constraint system interface |
Parma_Polyhedra_Library::Determinate< PH >::Binary_Operator_Assign_Lifter< Binary_Operator_Assign > | A function adapter for the Determinate class |
Parma_Polyhedra_Library::Determinate< PH >::Rep | The possibly shared representation of a Determinate object |
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 | A tag class |
Parma_Polyhedra_Library::From_Covering_Box | A tag class |
Parma_Polyhedra_Library::Generator | A line, ray, point or closure point |
Parma_Polyhedra_Library::Generator_System | A system of generators |
Parma_Polyhedra_Library::Generator_System::const_iterator | An iterator over a system of generators |
Parma_Polyhedra_Library::GMP_Integer | Unbounded integers as provided by the GMP library |
Parma_Polyhedra_Library::Grid | A grid |
Parma_Polyhedra_Library::Grid::Status | A conjunctive assertion about a grid |
Parma_Polyhedra_Library::Grid_Certificate | The convergence certificate for the Grid widening operator |
Parma_Polyhedra_Library::Grid_Certificate::Compare | A total ordering on Grid certificates |
Parma_Polyhedra_Library::Grid_Generator | A line, parameter or point |
Parma_Polyhedra_Library::Grid_Generator_System | A system of grid generators |
Parma_Polyhedra_Library::Grid_Generator_System::const_iterator | An iterator over a system of grid generators |
Parma_Polyhedra_Library::H79_Certificate | A convergence certificate for the H79 widening operator |
Parma_Polyhedra_Library::H79_Certificate::Compare | A total ordering on H79 certificates |
Parma_Polyhedra_Library::Init | Class for initialization and finalization |
internal_exception | |
Parma_Polyhedra_Library::Interval | A interval over the set of rational numbers |
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 | The lower bound of an extended rational interval |
Parma_Polyhedra_Library::Limited_Widening_Function< PH, CS > | Wraps a limited widening method into a function object |
Parma_Polyhedra_Library::Linear_Expression | A linear expression |
Parma_Polyhedra_Library::Linear_Row | The base class for linear expressions, constraints and generators |
Parma_Polyhedra_Library::Linear_Row::Flags | The type of the object to which the coefficients refer to, encoding both topology and kind |
Parma_Polyhedra_Library::Linear_System | The base class for systems of constraints and generators |
Parma_Polyhedra_Library::Linear_System::Row_Less_Than | Ordering predicate (used when implementing the sort algorithm) |
Parma_Polyhedra_Library::Linear_System::With_Pending | A tag class |
Parma_Polyhedra_Library::Linear_System::With_Saturation_Matrix_iterator | An iterator keeping a Linear_System consistent with a Saturation_Matrix |
Parma_Polyhedra_Library::LP_Problem | A Linear Programming problem |
Parma_Polyhedra_Library::Matrix | A 2-dimensional matrix of coefficients |
Parma_Polyhedra_Library::Matrix::const_iterator | An iterator over a matrix |
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 | A not necessarily closed convex 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 | The relation between a polyhedron and a constraint |
Parma_Polyhedra_Library::Poly_Gen_Relation | The relation between a polyhedron and a generator |
Parma_Polyhedra_Library::Polyhedra_Powerset< PH > | The powerset construction instantiated on PPL polyhedra |
Parma_Polyhedra_Library::Polyhedron | The base class for convex polyhedra |
Parma_Polyhedra_Library::Polyhedron::Status | A conjunctive assertion about a polyhedron |
Parma_Polyhedra_Library::Powerset< D > | The powerset construction on a base-level domain |
Parma_Polyhedra_Library::Powerset< D >::omega_const_iterator | A const_iterator on the disjuncts of a Powerset element |
Parma_Polyhedra_Library::Powerset< D >::omega_iterator | An iterator on the disjuncts of a Powerset element |
PPL_integer_out_of_range | |
Prolog_unsigned_out_of_range | |
Parma_Polyhedra_Library::Rectilinear_Distance_Specialization< Temp > | |
Parma_Polyhedra_Library::Row | A finite sequence of coefficients |
Parma_Polyhedra_Library::Row::Flags | Wrapper class to represent a set of flags with bits in a native unsigned integral type |
Parma_Polyhedra_Library::Row_Impl_Handler | The handler of the actual Row implementation |
Parma_Polyhedra_Library::Row_Impl_Handler::Impl | The actual implementation of a Row object |
Parma_Polyhedra_Library::Saturation_Matrix | A saturation matrix |
Parma_Polyhedra_Library::Saturation_Matrix::Saturation_Row_Less_Than | Ordering predicate (used when implementing the sort algorithm) |
Parma_Polyhedra_Library::Saturation_Row | A row of a saturation matrix |
Parma_Polyhedra_Library::Scalar_Products | A class implementing various scalar product functions |
Status | A conjunctive assertion about a polyhedron |
Parma_Polyhedra_Library::Temp_Coefficient_Holder | |
Parma_Polyhedra_Library::Throwable | User objects the PPL can throw |
Parma_Polyhedra_Library::Topology_Adjusted_Scalar_Product_Sign | Scalar product sign function object depending on topology |
Parma_Polyhedra_Library::UBoundary | The upper bound of an extended rational interval |
unknown_interface_error | |
Parma_Polyhedra_Library::Variable | A dimension of the vector space |
Parma_Polyhedra_Library::Variable::Compare | Binary predicate defining the total ordering on variables |
Parma_Polyhedra_Library::Widening_Function< PH > | Wraps a widening method into a function object |