- C_Polyhedron()
: Parma_Polyhedra_Library::C_Polyhedron
- can_have_something_pending()
: Parma_Polyhedra_Library::Polyhedron
- CC76_extrapolation_assign()
: Parma_Polyhedra_Library::BD_Shape< T >
- CC76_narrowing_assign()
: Parma_Polyhedra_Library::BD_Shape< T >
- CC76_widening_assign()
: Parma_Polyhedra_Library::Bounding_Box
- check_containment()
: Parma_Polyhedra_Library::Polyhedra_Powerset< PH >
- check_omega_reduced()
: Parma_Polyhedra_Library::Powerset< D >
- check_sorted()
: Parma_Polyhedra_Library::Linear_System
, Parma_Polyhedra_Library::Saturation_Matrix
- check_strong_normalized()
: Parma_Polyhedra_Library::Linear_Row
- Checked_Number()
: Parma_Polyhedra_Library::Checked_Number< T, Policy >
- classify()
: Parma_Polyhedra_Library::Checked_Number< T, Policy >
- clear()
: Parma_Polyhedra_Library::Matrix
, Parma_Polyhedra_Library::Linear_System
, Parma_Polyhedra_Library::Saturation_Row
, Parma_Polyhedra_Library::Saturation_Matrix
, Parma_Polyhedra_Library::Constraint_System
, Parma_Polyhedra_Library::Congruence_System
, Parma_Polyhedra_Library::Generator_System
, Parma_Polyhedra_Library::Grid_Generator_System
, Parma_Polyhedra_Library::Powerset< D >
, Parma_Polyhedra_Library::LP_Problem
- clear_congruences_minimized()
: Parma_Polyhedra_Library::Grid
- clear_congruences_up_to_date()
: Parma_Polyhedra_Library::Grid
- clear_constraints_minimized()
: Parma_Polyhedra_Library::Polyhedron
- clear_constraints_up_to_date()
: Parma_Polyhedra_Library::Polyhedron
- clear_empty()
: Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Grid
- clear_from()
: Parma_Polyhedra_Library::Saturation_Row
- clear_generators_minimized()
: Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Grid
- clear_generators_up_to_date()
: Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Grid
- clear_pending_constraints()
: Parma_Polyhedra_Library::Polyhedron
- clear_pending_generators()
: Parma_Polyhedra_Library::Polyhedron
- clear_sat_c_up_to_date()
: Parma_Polyhedra_Library::Polyhedron
- clear_sat_g_up_to_date()
: Parma_Polyhedra_Library::Polyhedron
- closure_point()
: Parma_Polyhedra_Library::Generator
- cmp()
: Parma_Polyhedra_Library::Checked_Number< T, Policy >
, Parma_Polyhedra_Library::GMP_Integer
- coefficient()
: Parma_Polyhedra_Library::Linear_Row
, Parma_Polyhedra_Library::Linear_Expression
, Parma_Polyhedra_Library::Constraint
, Parma_Polyhedra_Library::Congruence
, Parma_Polyhedra_Library::Generator
- Coefficient_free_list_element()
: Parma_Polyhedra_Library::Coefficient_free_list_element
- coefficient_swap()
: Parma_Polyhedra_Library::Grid_Generator
- collapse()
: Parma_Polyhedra_Library::Powerset< D >
- collect_certificates()
: Parma_Polyhedra_Library::Polyhedra_Powerset< PH >
- columns_erase_to_end()
: Parma_Polyhedra_Library::Saturation_Matrix
- combine()
: Parma_Polyhedra_Library::L_Infinity_Distance_Specialization< Temp >
, Parma_Polyhedra_Library::Rectilinear_Distance_Specialization< Temp >
, Parma_Polyhedra_Library::Euclidean_Distance_Specialization< Temp >
- compare()
: Parma_Polyhedra_Library::H79_Certificate
, Parma_Polyhedra_Library::BHRZ03_Certificate
, Parma_Polyhedra_Library::H79_Certificate
, Parma_Polyhedra_Library::Grid_Certificate
, Parma_Polyhedra_Library::Linear_Row
- compute_generator()
: Parma_Polyhedra_Library::LP_Problem
- compute_leader_indices()
: Parma_Polyhedra_Library::BD_Shape< T >
- compute_leaders()
: Parma_Polyhedra_Library::BD_Shape< T >
- compute_predecessors()
: Parma_Polyhedra_Library::BD_Shape< T >
- compute_simplex()
: Parma_Polyhedra_Library::LP_Problem
- compute_tableau()
: Parma_Polyhedra_Library::LP_Problem
- concatenate()
: Parma_Polyhedra_Library::Congruence_System
- concatenate_assign()
: Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::BD_Shape< T >
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::Determinate< PH >
, Parma_Polyhedra_Library::Polyhedra_Powerset< PH >
- Congruence()
: Parma_Polyhedra_Library::Congruence
- Congruence_System()
: Parma_Polyhedra_Library::Congruence_System
- congruences()
: Parma_Polyhedra_Library::Grid
- congruences_are_minimized()
: Parma_Polyhedra_Library::Grid
- congruences_are_up_to_date()
: Parma_Polyhedra_Library::Grid
- const_iterator()
: Parma_Polyhedra_Library::Generator_System::const_iterator
, Parma_Polyhedra_Library::Matrix::const_iterator
, Parma_Polyhedra_Library::Constraint_System::const_iterator
, Parma_Polyhedra_Library::Generator_System::const_iterator
, Parma_Polyhedra_Library::Grid_Generator_System::const_iterator
, Parma_Polyhedra_Library::DB_Matrix< T >::const_iterator
, Parma_Polyhedra_Library::Matrix::const_iterator
, Parma_Polyhedra_Library::Constraint_System::const_iterator
, Parma_Polyhedra_Library::Grid_Generator_System::const_iterator
, Parma_Polyhedra_Library::Generator_System::const_iterator
, Parma_Polyhedra_Library::Constraint_System::const_iterator
, Parma_Polyhedra_Library::Grid_Generator_System::const_iterator
, Parma_Polyhedra_Library::Congruence_System::const_iterator
, Parma_Polyhedra_Library::DB_Matrix< T >::const_iterator
, Parma_Polyhedra_Library::Congruence_System::const_iterator
- Constraint()
: Parma_Polyhedra_Library::Constraint
- Constraint_System()
: Parma_Polyhedra_Library::Constraint_System
- constraints()
: Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::LP_Problem
, Parma_Polyhedra_Library::Bounding_Box
, Parma_Polyhedra_Library::BD_Shape< T >
- constraints_are_minimized()
: Parma_Polyhedra_Library::Polyhedron
- constraints_are_up_to_date()
: Parma_Polyhedra_Library::Polyhedron
- construct()
: Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::Row
, Parma_Polyhedra_Library::Linear_Row
, Parma_Polyhedra_Library::Row
, Parma_Polyhedra_Library::DB_Row< T >
- construct_epsilon_geq_zero()
: Parma_Polyhedra_Library::Constraint
- construct_upward_approximation()
: Parma_Polyhedra_Library::DB_Row< T >
, Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl
- contains()
: Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::BD_Shape< T >
, Parma_Polyhedra_Library::Grid
- conversion()
: Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::Polyhedron
- copy_construct()
: Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl
- copy_construct_coefficients()
: Parma_Polyhedra_Library::Row
, Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl
, Parma_Polyhedra_Library::DB_Row< T >
, Parma_Polyhedra_Library::Row_Impl_Handler::Impl
- count_ones()
: Parma_Polyhedra_Library::Saturation_Row
Generated on Wed Jul 16 22:55:36 2008 for PPL by
1.5.6