- sat_c_is_up_to_date()
: Parma_Polyhedra_Library::Polyhedron
- sat_g_is_up_to_date()
: Parma_Polyhedra_Library::Polyhedron
- satisfied_by_all_generators()
: Parma_Polyhedra_Library::Generator_System
- satisfied_by_all_generators_C()
: Parma_Polyhedra_Library::Generator_System
- satisfied_by_all_generators_NNC()
: Parma_Polyhedra_Library::Generator_System
- satisfies_all_congruences()
: Parma_Polyhedra_Library::Congruence_System
- satisfies_all_constraints()
: Parma_Polyhedra_Library::Constraint_System
- saturates()
: Parma_Polyhedra_Library::Poly_Con_Relation
- Saturation_Matrix()
: Parma_Polyhedra_Library::Saturation_Matrix
- Saturation_Row()
: Parma_Polyhedra_Library::Saturation_Row
- scale_to_divisor()
: Parma_Polyhedra_Library::Grid_Generator
- second_phase()
: Parma_Polyhedra_Library::LP_Problem
- select_CH78_constraints()
: Parma_Polyhedra_Library::Polyhedron
- select_H79_constraints()
: Parma_Polyhedra_Library::Polyhedron
- select_wider_congruences()
: Parma_Polyhedra_Library::Grid
- set()
: Parma_Polyhedra_Library::Saturation_Row
, Status
, Parma_Polyhedra_Library::Polyhedron::Status
, Parma_Polyhedra_Library::Grid::Status
, Parma_Polyhedra_Library::BD_Shape< T >::Status
- set_bits()
: Parma_Polyhedra_Library::Row::Flags
- set_c_minimized()
: Status
, Parma_Polyhedra_Library::Polyhedron::Status
, Parma_Polyhedra_Library::Grid::Status
- set_c_pending()
: Status
, Parma_Polyhedra_Library::Polyhedron::Status
, Parma_Polyhedra_Library::Grid::Status
- set_c_up_to_date()
: Parma_Polyhedra_Library::Polyhedron::Status
, Parma_Polyhedra_Library::Grid::Status
, Status
- set_congruences_minimized()
: Parma_Polyhedra_Library::Grid
- set_congruences_up_to_date()
: Parma_Polyhedra_Library::Grid
- set_constraints_minimized()
: Parma_Polyhedra_Library::Polyhedron
- set_constraints_pending()
: Parma_Polyhedra_Library::Polyhedron
- set_constraints_up_to_date()
: Parma_Polyhedra_Library::Polyhedron
- set_empty()
: Status
, Parma_Polyhedra_Library::Polyhedron::Status
, Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Grid::Status
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::Interval
, Parma_Polyhedra_Library::Bounding_Box
, Parma_Polyhedra_Library::BD_Shape< T >::Status
, Parma_Polyhedra_Library::BD_Shape< T >
- set_g_minimized()
: Status
, Parma_Polyhedra_Library::Polyhedron::Status
, Parma_Polyhedra_Library::Grid::Status
- set_g_pending()
: Status
, Parma_Polyhedra_Library::Polyhedron::Status
, Parma_Polyhedra_Library::Grid::Status
- set_g_up_to_date()
: Status
, Parma_Polyhedra_Library::Polyhedron::Status
, Parma_Polyhedra_Library::Grid::Status
- set_generators_minimized()
: Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Grid
- set_generators_pending()
: Parma_Polyhedra_Library::Polyhedron
- set_generators_up_to_date()
: Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Grid
- set_index_first_pending_row()
: Parma_Polyhedra_Library::Linear_System
, Parma_Polyhedra_Library::Grid_Generator_System
- set_is_equality()
: Parma_Polyhedra_Library::Constraint
, Parma_Polyhedra_Library::Congruence
- set_is_inequality()
: Parma_Polyhedra_Library::Constraint
- set_is_line()
: Parma_Polyhedra_Library::Generator
, Parma_Polyhedra_Library::Grid_Generator
- set_is_line_or_equality()
: Parma_Polyhedra_Library::Linear_Row::Flags
, Parma_Polyhedra_Library::Linear_Row
- set_is_parameter_or_point()
: Parma_Polyhedra_Library::Grid_Generator
- set_is_ray_or_point()
: Parma_Polyhedra_Library::Generator
- set_is_ray_or_point_or_inequality()
: Parma_Polyhedra_Library::Linear_Row::Flags
, Parma_Polyhedra_Library::Linear_Row
- set_max()
: 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
- set_necessarily_closed()
: Parma_Polyhedra_Library::Linear_Row::Flags
, Parma_Polyhedra_Library::Linear_Row
, Parma_Polyhedra_Library::Linear_System
- set_not_necessarily_closed()
: Parma_Polyhedra_Library::Linear_Row::Flags
, Parma_Polyhedra_Library::Linear_Row
, Parma_Polyhedra_Library::Linear_System
- set_objective_function()
: Parma_Polyhedra_Library::LP_Problem
- set_optimization_mode()
: Parma_Polyhedra_Library::LP_Problem
- set_output_function()
: Parma_Polyhedra_Library::Variable
- set_rows_topology()
: Parma_Polyhedra_Library::Linear_System
- set_sat_c_up_to_date()
: Status
, Parma_Polyhedra_Library::Polyhedron::Status
, Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Grid::Status
- set_sat_g_up_to_date()
: Status
, Parma_Polyhedra_Library::Polyhedron::Status
, Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Grid::Status
- set_shortest_path_closed()
: Parma_Polyhedra_Library::BD_Shape< T >::Status
- set_shortest_path_reduced()
: Parma_Polyhedra_Library::BD_Shape< T >::Status
- set_size()
: Parma_Polyhedra_Library::Row_Impl_Handler::Impl
, Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl
- set_sorted()
: Parma_Polyhedra_Library::Linear_System
, Parma_Polyhedra_Library::Grid_Generator_System
- set_zero_dim_univ()
: Status
, Parma_Polyhedra_Library::Polyhedron::Status
, Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Grid::Status
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::BD_Shape< T >::Status
, Parma_Polyhedra_Library::BD_Shape< T >
- sgn()
: Parma_Polyhedra_Library::Checked_Number< T, Policy >
- shortest_path_closure_assign()
: Parma_Polyhedra_Library::BD_Shape< T >
- shortest_path_reduction_assign()
: Parma_Polyhedra_Library::BD_Shape< T >
- shrink()
: Parma_Polyhedra_Library::Row
, Parma_Polyhedra_Library::Row_Impl_Handler::Impl
, Parma_Polyhedra_Library::DB_Row< T >
, Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl
- shrink_bounding_box()
: Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Grid
- sign()
: Parma_Polyhedra_Library::Scalar_Products
- sign_bit()
: 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
- sign_normalize()
: Parma_Polyhedra_Library::Congruence
, Parma_Polyhedra_Library::Linear_System
, Parma_Polyhedra_Library::Linear_Row
- simplify()
: Parma_Polyhedra_Library::Linear_System
, Parma_Polyhedra_Library::Constraint_System
, Parma_Polyhedra_Library::Generator_System
, Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Grid
- size()
: Parma_Polyhedra_Library::Row_Impl_Handler::Impl
, Parma_Polyhedra_Library::Grid_Generator
, Parma_Polyhedra_Library::Powerset< D >
, Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl
, Parma_Polyhedra_Library::DB_Row< T >
, Parma_Polyhedra_Library::Row
- skip_forward()
: Parma_Polyhedra_Library::Constraint_System::const_iterator
, Parma_Polyhedra_Library::Congruence_System::const_iterator
, Parma_Polyhedra_Library::Generator_System::const_iterator
- solve()
: Parma_Polyhedra_Library::LP_Problem
- sort_and_remove_with_sat()
: Parma_Polyhedra_Library::Linear_System
- sort_pending_and_remove_duplicates()
: Parma_Polyhedra_Library::Linear_System
- sort_rows()
: Parma_Polyhedra_Library::Linear_System
, Parma_Polyhedra_Library::Saturation_Matrix
- sorted_contains()
: Parma_Polyhedra_Library::Saturation_Matrix
- space_dimension()
: Parma_Polyhedra_Library::Bounding_Box
, Parma_Polyhedra_Library::LP_Problem
, Parma_Polyhedra_Library::Linear_System
, Parma_Polyhedra_Library::Variable
, Parma_Polyhedra_Library::Linear_Expression
, Parma_Polyhedra_Library::Congruence
, Parma_Polyhedra_Library::Generator
, Parma_Polyhedra_Library::Grid_Generator
, Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Congruence_System
, Parma_Polyhedra_Library::Generator_System
, Parma_Polyhedra_Library::Grid_Generator_System
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::Polyhedra_Powerset< PH >
, Parma_Polyhedra_Library::Constraint_System
, Parma_Polyhedra_Library::BD_Shape< T >
, Parma_Polyhedra_Library::Constraint
, Parma_Polyhedra_Library::Linear_Row
- sqrt_assign()
: Parma_Polyhedra_Library::GMP_Integer
, Parma_Polyhedra_Library::Checked_Number< T, Policy >
- Status()
: Parma_Polyhedra_Library::Polyhedron::Status
, Parma_Polyhedra_Library::Grid::Status
, Status
, Parma_Polyhedra_Library::BD_Shape< T >::Status
, Status
, Parma_Polyhedra_Library::Polyhedron::Status
, Parma_Polyhedra_Library::Grid::Status
- steepest_edge()
: Parma_Polyhedra_Library::LP_Problem
- strictly_contains()
: Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::BD_Shape< T >
- strictly_intersects()
: Parma_Polyhedra_Library::Poly_Con_Relation
- strong_normalize()
: Parma_Polyhedra_Library::Congruence
, Parma_Polyhedra_Library::Linear_Row
, Parma_Polyhedra_Library::Grid_Generator
, Parma_Polyhedra_Library::Linear_System
- strongly_minimize_constraints()
: Parma_Polyhedra_Library::Polyhedron
- strongly_minimize_generators()
: Parma_Polyhedra_Library::Polyhedron
- sub_mul_assign()
: Parma_Polyhedra_Library::Checked_Number< T, Policy >
, Parma_Polyhedra_Library::GMP_Integer
- subsumes()
: Parma_Polyhedra_Library::Poly_Gen_Relation
- swap()
: Parma_Polyhedra_Library::Determinate< PH >
, Parma_Polyhedra_Library::Saturation_Matrix
, Parma_Polyhedra_Library::Polyhedra_Powerset< PH >
, Parma_Polyhedra_Library::Constraint
, Parma_Polyhedra_Library::Determinate< PH >
, Parma_Polyhedra_Library::BD_Shape< T >
, Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Linear_Expression
, Parma_Polyhedra_Library::Congruence_System
, Parma_Polyhedra_Library::Linear_System
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::Linear_System
, Parma_Polyhedra_Library::Matrix
, Parma_Polyhedra_Library::GMP_Integer
, Parma_Polyhedra_Library::Matrix
, Parma_Polyhedra_Library::Powerset< D >
, Parma_Polyhedra_Library::Row
, Parma_Polyhedra_Library::Generator
, Parma_Polyhedra_Library::Powerset< D >
, Parma_Polyhedra_Library::Grid_Generator_System
, Parma_Polyhedra_Library::DB_Matrix< T >
, Parma_Polyhedra_Library::Generator_System
, Parma_Polyhedra_Library::Constraint
, Parma_Polyhedra_Library::Saturation_Row
, Parma_Polyhedra_Library::Generator_System
, Parma_Polyhedra_Library::Linear_Expression
, Parma_Polyhedra_Library::LP_Problem
, Parma_Polyhedra_Library::Row
, Parma_Polyhedra_Library::Checked_Number< T, Policy >
, Parma_Polyhedra_Library::Constraint_System
, Parma_Polyhedra_Library::LP_Problem
, Parma_Polyhedra_Library::Grid_Generator
, Parma_Polyhedra_Library::DB_Row< T >
, Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Polyhedra_Powerset< PH >
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::Grid_Generator_System
, Parma_Polyhedra_Library::Congruence
, Parma_Polyhedra_Library::Saturation_Row
, Parma_Polyhedra_Library::BD_Shape< T >
, Parma_Polyhedra_Library::DB_Row< T >
, Parma_Polyhedra_Library::Generator
, Parma_Polyhedra_Library::Linear_Row
, Parma_Polyhedra_Library::Saturation_Matrix
, Parma_Polyhedra_Library::DB_Matrix< T >
- swap_base()
: Parma_Polyhedra_Library::LP_Problem
- swap_columns()
: Parma_Polyhedra_Library::Matrix
Generated on Wed Jul 16 22:55:36 2008 for PPL by
1.5.6