Here is a list of all class members with links to the classes they belong to:
- s -
- s
: Parma_Polyhedra_Library::PIP_Solution_Node::Tableau
- samples
: Parma_Polyhedra_Library::Weight_Profiler
- sat_c
: Parma_Polyhedra_Library::Polyhedron
- sat_c_is_up_to_date()
: Parma_Polyhedra_Library::Polyhedron
- SAT_C_UP_TO_DATE
: Parma_Polyhedra_Library::Grid::Status
, Parma_Polyhedra_Library::Polyhedron::Status
- sat_g
: Parma_Polyhedra_Library::Polyhedron
- sat_g_is_up_to_date()
: Parma_Polyhedra_Library::Polyhedron
- SAT_G_UP_TO_DATE
: Parma_Polyhedra_Library::Grid::Status
, Parma_Polyhedra_Library::Polyhedron::Status
- SATISFIABLE
: Parma_Polyhedra_Library::MIP_Problem
- 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
- saturates()
: Parma_Polyhedra_Library::Poly_Con_Relation
- scalar_product_assign()
: Parma_Polyhedra_Library::Linear_Expression
, Parma_Polyhedra_Library::Linear_Expression_Impl< Row >
, Parma_Polyhedra_Library::Linear_Expression_Interface
- scalar_product_sign()
: Parma_Polyhedra_Library::Linear_Expression
, Parma_Polyhedra_Library::Linear_Expression_Impl< Row >
, Parma_Polyhedra_Library::Linear_Expression_Interface
- Scalar_Products
: Parma_Polyhedra_Library::Congruence
, Parma_Polyhedra_Library::Constraint
, Parma_Polyhedra_Library::Grid_Generator
, Parma_Polyhedra_Library::Linear_Expression
- scale()
: Parma_Polyhedra_Library::Congruence
, Parma_Polyhedra_Library::PIP_Solution_Node::Tableau
- scale_to_divisor()
: Parma_Polyhedra_Library::Grid_Generator
- second_operand
: Parma_Polyhedra_Library::Difference_Floating_Point_Expression< FP_Interval_Type, FP_Format >
, Parma_Polyhedra_Library::Division_Floating_Point_Expression< FP_Interval_Type, FP_Format >
, Parma_Polyhedra_Library::Multiplication_Floating_Point_Expression< FP_Interval_Type, FP_Format >
, Parma_Polyhedra_Library::Sum_Floating_Point_Expression< FP_Interval_Type, FP_Format >
- second_phase()
: Parma_Polyhedra_Library::MIP_Problem
- seconds()
: Parma_Polyhedra_Library::Implementation::Watchdog::Time
- secs
: Parma_Polyhedra_Library::Implementation::Watchdog::Time
- select_CH78_constraints()
: Parma_Polyhedra_Library::Polyhedron
- select_H79_constraints()
: Parma_Polyhedra_Library::Polyhedron
- select_wider_congruences()
: Parma_Polyhedra_Library::Grid
- select_wider_generators()
: Parma_Polyhedra_Library::Grid
- seq
: Parma_Polyhedra_Library::Box< ITV >
- Sequence
: Parma_Polyhedra_Library::Ask_Tell< D >
- sequence
: Parma_Polyhedra_Library::Ask_Tell< D >
- Sequence
: Parma_Polyhedra_Library::Box< ITV >
, Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >
, Parma_Polyhedra_Library::Pointset_Powerset< PSET >
, Parma_Polyhedra_Library::Powerset< D >
- sequence
: Parma_Polyhedra_Library::Powerset< D >
- Sequence_const_iterator
: Parma_Polyhedra_Library::Ask_Tell< D >
, Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >
, Parma_Polyhedra_Library::Pointset_Powerset< PSET >
, Parma_Polyhedra_Library::Powerset< D >
- Sequence_iterator
: Parma_Polyhedra_Library::Ask_Tell< D >
, Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >
, Parma_Polyhedra_Library::Pointset_Powerset< PSET >
, Parma_Polyhedra_Library::Powerset< D >
- set()
: Parma_Polyhedra_Library::BD_Shape< T >::Status
, Parma_Polyhedra_Library::Bit_Row
, Parma_Polyhedra_Library::Box< ITV >::Status
, Parma_Polyhedra_Library::Grid::Status
, Parma_Polyhedra_Library::I_Constraint< T, Val_Or_Ref_Criteria, extended >
, Parma_Polyhedra_Library::Linear_Expression
, Parma_Polyhedra_Library::Linear_Expression_Impl< Row >
, Parma_Polyhedra_Library::Linear_Expression_Interface
, Parma_Polyhedra_Library::Octagonal_Shape< T >::Status
, Parma_Polyhedra_Library::Polyhedron::Status
, Parma_Polyhedra_Library::Val_Or_Ref< T, Criteria, typename Enable_If< Use_By_Ref< Criteria, T >::value >::type >
, Parma_Polyhedra_Library::Val_Or_Ref< T, Criteria, typename Enable_If<!Use_By_Ref< Criteria, T >::value >::type >
- set_big_parameter_dimension()
: Parma_Polyhedra_Library::PIP_Problem
- set_boundary_property()
: Parma_Polyhedra_Library::Interval_Info_Bitset< T, Policy >
, Parma_Polyhedra_Library::Interval_Info_Null< Policy >
- set_c_minimized()
: Parma_Polyhedra_Library::Grid::Status
, Parma_Polyhedra_Library::Polyhedron::Status
- set_c_pending()
: Parma_Polyhedra_Library::Grid::Status
, Parma_Polyhedra_Library::Polyhedron::Status
- set_c_up_to_date()
: Parma_Polyhedra_Library::Grid::Status
, Parma_Polyhedra_Library::Polyhedron::Status
- set_coefficient()
: Parma_Polyhedra_Library::Linear_Expression
, Parma_Polyhedra_Library::Linear_Expression_Impl< Row >
, Parma_Polyhedra_Library::Linear_Expression_Interface
- 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_control_parameter()
: Parma_Polyhedra_Library::MIP_Problem
, Parma_Polyhedra_Library::PIP_Problem
- set_divisor()
: Parma_Polyhedra_Library::Grid_Generator
- set_empty()
: Parma_Polyhedra_Library::BD_Shape< T >
, Parma_Polyhedra_Library::BD_Shape< T >::Status
, Parma_Polyhedra_Library::Box< ITV >
, Parma_Polyhedra_Library::Box< ITV >::Status
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::Grid::Status
, Parma_Polyhedra_Library::Octagonal_Shape< T >
, Parma_Polyhedra_Library::Octagonal_Shape< T >::Status
, Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Polyhedron::Status
- set_empty_up_to_date()
: Parma_Polyhedra_Library::Box< ITV >
, Parma_Polyhedra_Library::Box< ITV >::Status
- set_epsilon_coefficient()
: Parma_Polyhedra_Library::Constraint
, Parma_Polyhedra_Library::Generator
- set_g_minimized()
: Parma_Polyhedra_Library::Grid::Status
, Parma_Polyhedra_Library::Polyhedron::Status
- set_g_pending()
: Parma_Polyhedra_Library::Grid::Status
, Parma_Polyhedra_Library::Polyhedron::Status
- set_g_up_to_date()
: Parma_Polyhedra_Library::Grid::Status
, Parma_Polyhedra_Library::Polyhedron::Status
- set_generators_minimized()
: Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::Polyhedron
- set_generators_pending()
: Parma_Polyhedra_Library::Polyhedron
- set_generators_up_to_date()
: Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::Polyhedron
- set_index_first_pending_row()
: Parma_Polyhedra_Library::Constraint_System
, Parma_Polyhedra_Library::Generator_System
, Parma_Polyhedra_Library::Grid_Generator_System
, Parma_Polyhedra_Library::Linear_System< Row >
- set_infinities()
: Parma_Polyhedra_Library::Interval< Boundary, Info >
- set_inhomogeneous_term()
: Parma_Polyhedra_Library::Linear_Expression
, Parma_Polyhedra_Library::Linear_Expression_Impl< Row >
, Parma_Polyhedra_Library::Linear_Expression_Interface
- set_interval()
: Parma_Polyhedra_Library::Box< ITV >
- set_interval_property()
: Parma_Polyhedra_Library::Interval_Info_Bitset< T, Policy >
, Parma_Polyhedra_Library::Interval_Info_Null< Policy >
- set_is_equality()
: Parma_Polyhedra_Library::Constraint
- 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::Constraint
, Parma_Polyhedra_Library::Generator
, Parma_Polyhedra_Library::Grid_Generator
- set_is_parameter()
: Parma_Polyhedra_Library::Grid_Generator
- 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::Constraint
, Parma_Polyhedra_Library::Generator
, Parma_Polyhedra_Library::Grid_Generator
- set_max()
: Parma_Polyhedra_Library::float_ibm_single
, Parma_Polyhedra_Library::float_ieee754_double
, Parma_Polyhedra_Library::float_ieee754_half
, Parma_Polyhedra_Library::float_ieee754_quad
, Parma_Polyhedra_Library::float_ieee754_single
, Parma_Polyhedra_Library::float_intel_double_extended
- set_modulus()
: Parma_Polyhedra_Library::Congruence
- set_necessarily_closed()
: Parma_Polyhedra_Library::Constraint
, Parma_Polyhedra_Library::Generator
, Parma_Polyhedra_Library::Grid_Generator
, Parma_Polyhedra_Library::Linear_System< Row >
- set_nonempty()
: Parma_Polyhedra_Library::Box< ITV >
- set_not_necessarily_closed()
: Parma_Polyhedra_Library::Constraint
, Parma_Polyhedra_Library::Generator
, Parma_Polyhedra_Library::Grid_Generator
, Parma_Polyhedra_Library::Linear_System< Row >
- set_objective_function()
: Parma_Polyhedra_Library::MIP_Problem
- set_optimization_mode()
: Parma_Polyhedra_Library::MIP_Problem
- set_output_function()
: Parma_Polyhedra_Library::Variable
- set_owner()
: Parma_Polyhedra_Library::PIP_Decision_Node
, Parma_Polyhedra_Library::PIP_Solution_Node
, Parma_Polyhedra_Library::PIP_Tree_Node
- set_parent()
: Parma_Polyhedra_Library::PIP_Tree_Node
- set_reduced_flag()
: Parma_Polyhedra_Library::Partially_Reduced_Product< D1, D2, R >
- set_representation()
: Parma_Polyhedra_Library::Congruence
, Parma_Polyhedra_Library::Congruence_System
, Parma_Polyhedra_Library::Constraint
, Parma_Polyhedra_Library::Constraint_System
, Parma_Polyhedra_Library::Generator
, Parma_Polyhedra_Library::Generator_System
, Parma_Polyhedra_Library::Grid_Generator
, Parma_Polyhedra_Library::Grid_Generator_System
, Parma_Polyhedra_Library::Linear_Expression
, Parma_Polyhedra_Library::Linear_System< Row >
- set_rounding_for_PPL
: Parma_Polyhedra_Library::Init
- set_sat_c_up_to_date()
: Parma_Polyhedra_Library::Grid::Status
, Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Polyhedron::Status
- set_sat_g_up_to_date()
: Parma_Polyhedra_Library::Grid::Status
, Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Polyhedron::Status
- set_shortest_path_closed()
: Parma_Polyhedra_Library::BD_Shape< T >
, Parma_Polyhedra_Library::BD_Shape< T >::Status
- set_shortest_path_reduced()
: Parma_Polyhedra_Library::BD_Shape< T >
, Parma_Polyhedra_Library::BD_Shape< T >::Status
- set_size()
: Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl
- set_sorted()
: Parma_Polyhedra_Library::Constraint_System
, Parma_Polyhedra_Library::Generator_System
, Parma_Polyhedra_Library::Grid_Generator_System
, Parma_Polyhedra_Library::Linear_System< Row >
- set_space_dimension()
: Parma_Polyhedra_Library::Congruence
, Parma_Polyhedra_Library::Congruence_System
, Parma_Polyhedra_Library::Constraint
, Parma_Polyhedra_Library::Constraint_System
, Parma_Polyhedra_Library::Generator
, Parma_Polyhedra_Library::Generator_System
, Parma_Polyhedra_Library::Grid_Generator
, Parma_Polyhedra_Library::Grid_Generator_System
, Parma_Polyhedra_Library::Linear_Expression
, Parma_Polyhedra_Library::Linear_Expression_Impl< Row >
, Parma_Polyhedra_Library::Linear_Expression_Interface
, Parma_Polyhedra_Library::Linear_System< Row >
- set_space_dimension_no_ok()
: Parma_Polyhedra_Library::Constraint
, Parma_Polyhedra_Library::Generator
, Parma_Polyhedra_Library::Grid_Generator
, Parma_Polyhedra_Library::Linear_System< Row >
- set_strongly_closed()
: Parma_Polyhedra_Library::Octagonal_Shape< T >
, Parma_Polyhedra_Library::Octagonal_Shape< T >::Status
- set_topology()
: Parma_Polyhedra_Library::Constraint
, Parma_Polyhedra_Library::Generator
, Parma_Polyhedra_Library::Grid_Generator
, Parma_Polyhedra_Library::Linear_System< Row >
- set_universe()
: Parma_Polyhedra_Library::Box< ITV >::Status
- set_until()
: Parma_Polyhedra_Library::Bit_Row
- set_zero_dim_univ()
: Parma_Polyhedra_Library::BD_Shape< T >
, Parma_Polyhedra_Library::BD_Shape< T >::Status
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::Grid::Status
, Parma_Polyhedra_Library::Octagonal_Shape< T >
, Parma_Polyhedra_Library::Octagonal_Shape< T >::Status
, Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Polyhedron::Status
- sgn()
: Parma_Polyhedra_Library::Checked_Number< T, Policy >
- SGN_MASK
: Parma_Polyhedra_Library::float_ibm_single
, Parma_Polyhedra_Library::float_ieee754_half
, Parma_Polyhedra_Library::float_ieee754_single
- Shape_Preserving_Product
: Parma_Polyhedra_Library::Domain_Product< D1, D2 >
- Shape_Preserving_Reduction()
: Parma_Polyhedra_Library::Shape_Preserving_Reduction< D1, D2 >
- shift_space_dimensions()
: Parma_Polyhedra_Library::Congruence
, Parma_Polyhedra_Library::Constraint
, Parma_Polyhedra_Library::Constraint_System
, Parma_Polyhedra_Library::Generator
, Parma_Polyhedra_Library::Generator_System
, Parma_Polyhedra_Library::Grid_Generator
, Parma_Polyhedra_Library::Grid_Generator_System
, Parma_Polyhedra_Library::Linear_Expression
, Parma_Polyhedra_Library::Linear_Expression_Impl< Row >
, Parma_Polyhedra_Library::Linear_Expression_Interface
, Parma_Polyhedra_Library::Linear_System< Row >
- SHORTEST_PATH_CLOSED
: Parma_Polyhedra_Library::BD_Shape< T >::Status
- shortest_path_closure_assign()
: Parma_Polyhedra_Library::BD_Shape< T >
- SHORTEST_PATH_REDUCED
: Parma_Polyhedra_Library::BD_Shape< T >::Status
- shortest_path_reduction_assign()
: Parma_Polyhedra_Library::BD_Shape< T >
- shrink()
: Parma_Polyhedra_Library::DB_Row< T >
, Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl
, Parma_Polyhedra_Library::Dense_Row
, Parma_Polyhedra_Library::OR_Matrix< T >
, Parma_Polyhedra_Library::Sparse_Row
- sign
: Parma_Polyhedra_Library::PIP_Solution_Node
, Parma_Polyhedra_Library::Scalar_Products
- sign_bit()
: Parma_Polyhedra_Library::float_ibm_single
, Parma_Polyhedra_Library::float_ieee754_double
, Parma_Polyhedra_Library::float_ieee754_half
, Parma_Polyhedra_Library::float_ieee754_quad
, Parma_Polyhedra_Library::float_ieee754_single
, Parma_Polyhedra_Library::float_intel_double_extended
- sign_normalize()
: Parma_Polyhedra_Library::Congruence
, Parma_Polyhedra_Library::Constraint
, Parma_Polyhedra_Library::Generator
, Parma_Polyhedra_Library::Grid_Generator
, Parma_Polyhedra_Library::Linear_Expression
, Parma_Polyhedra_Library::Linear_Expression_Impl< Row >
, Parma_Polyhedra_Library::Linear_Expression_Interface
, Parma_Polyhedra_Library::Linear_System< Row >
- simplified_constraints()
: Parma_Polyhedra_Library::Polyhedron
- simplify()
: Parma_Polyhedra_Library::Constraint_System
, Parma_Polyhedra_Library::Generator_System
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::Linear_System< Row >
, Parma_Polyhedra_Library::Polyhedron
- simplify_num_saturators_p
: Parma_Polyhedra_Library::Polyhedron
- simplify_num_saturators_size
: Parma_Polyhedra_Library::Polyhedron
- simplify_using_context_assign()
: Parma_Polyhedra_Library::Affine_Space
, Parma_Polyhedra_Library::BD_Shape< T >
, Parma_Polyhedra_Library::Box< ITV >
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::Interval< Boundary, Info >
, Parma_Polyhedra_Library::Octagonal_Shape< T >
, Parma_Polyhedra_Library::Pointset_Powerset< PSET >
, Parma_Polyhedra_Library::Polyhedron
- size()
: Parma_Polyhedra_Library::Ask_Tell< D >
, Parma_Polyhedra_Library::CO_Tree
, Parma_Polyhedra_Library::DB_Row< T >
, Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl
, Parma_Polyhedra_Library::Dense_Row::Impl
, Parma_Polyhedra_Library::Dense_Row
, Parma_Polyhedra_Library::Linear_Form< C >
, Parma_Polyhedra_Library::Powerset< D >
, Parma_Polyhedra_Library::Sparse_Row
, Parma_Polyhedra_Library::Swapping_Vector< T >
- size_
: Parma_Polyhedra_Library::CO_Tree
, Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl
, Parma_Polyhedra_Library::Sparse_Row
- size_type
: Parma_Polyhedra_Library::Ask_Tell< D >
, Parma_Polyhedra_Library::Implementation::Indirect_Sort_Compare< RA_Container, Compare >
, Parma_Polyhedra_Library::Implementation::Indirect_Swapper2< RA_Container1, RA_Container2 >
, Parma_Polyhedra_Library::Implementation::Indirect_Swapper< RA_Container >
, Parma_Polyhedra_Library::Implementation::Indirect_Unique_Compare< RA_Container >
, Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >
, Parma_Polyhedra_Library::Pointset_Powerset< PSET >
, Parma_Polyhedra_Library::Powerset< D >
, Parma_Polyhedra_Library::Swapping_Vector< T >
- skip_forward()
: Parma_Polyhedra_Library::Congruence_System::const_iterator
, Parma_Polyhedra_Library::Constraint_System_const_iterator
, Parma_Polyhedra_Library::Generator_System_const_iterator
- skip_zeroes_backward()
: Parma_Polyhedra_Library::Linear_Expression_Impl< Row >::const_iterator
- skip_zeroes_forward()
: Parma_Polyhedra_Library::Linear_Expression_Impl< Row >::const_iterator
- smaller_signed_type
: Parma_Polyhedra_Library::C_Integer< char >
, Parma_Polyhedra_Library::C_Integer< signed char >
, Parma_Polyhedra_Library::C_Integer< signed int >
, Parma_Polyhedra_Library::C_Integer< signed long >
, Parma_Polyhedra_Library::C_Integer< signed long long >
, Parma_Polyhedra_Library::C_Integer< signed short >
, Parma_Polyhedra_Library::C_Integer< unsigned char >
, Parma_Polyhedra_Library::C_Integer< unsigned int >
, Parma_Polyhedra_Library::C_Integer< unsigned long >
, Parma_Polyhedra_Library::C_Integer< unsigned long long >
, Parma_Polyhedra_Library::C_Integer< unsigned short >
- smaller_type
: Parma_Polyhedra_Library::C_Integer< char >
, Parma_Polyhedra_Library::C_Integer< signed char >
, Parma_Polyhedra_Library::C_Integer< signed int >
, Parma_Polyhedra_Library::C_Integer< signed long >
, Parma_Polyhedra_Library::C_Integer< signed long long >
, Parma_Polyhedra_Library::C_Integer< signed short >
, Parma_Polyhedra_Library::C_Integer< unsigned char >
, Parma_Polyhedra_Library::C_Integer< unsigned int >
, Parma_Polyhedra_Library::C_Integer< unsigned long >
, Parma_Polyhedra_Library::C_Integer< unsigned long long >
, Parma_Polyhedra_Library::C_Integer< unsigned short >
- smaller_unsigned_type
: Parma_Polyhedra_Library::C_Integer< char >
, Parma_Polyhedra_Library::C_Integer< signed char >
, Parma_Polyhedra_Library::C_Integer< signed int >
, Parma_Polyhedra_Library::C_Integer< signed long >
, Parma_Polyhedra_Library::C_Integer< signed long long >
, Parma_Polyhedra_Library::C_Integer< signed short >
, Parma_Polyhedra_Library::C_Integer< unsigned char >
, Parma_Polyhedra_Library::C_Integer< unsigned int >
, Parma_Polyhedra_Library::C_Integer< unsigned long >
, Parma_Polyhedra_Library::C_Integer< unsigned long long >
, Parma_Polyhedra_Library::C_Integer< unsigned short >
- Smash_Product
: Parma_Polyhedra_Library::Domain_Product< D1, D2 >
- Smash_Reduction()
: Parma_Polyhedra_Library::Smash_Reduction< D1, D2 >
- solution()
: Parma_Polyhedra_Library::PIP_Problem
, Parma_Polyhedra_Library::PIP_Solution_Node
- solution_valid
: Parma_Polyhedra_Library::PIP_Solution_Node
- solve()
: Parma_Polyhedra_Library::MIP_Problem
, Parma_Polyhedra_Library::PIP_Decision_Node
, Parma_Polyhedra_Library::PIP_Problem
, Parma_Polyhedra_Library::PIP_Solution_Node
, Parma_Polyhedra_Library::PIP_Tree_Node
- solve_mip()
: Parma_Polyhedra_Library::MIP_Problem
- sort_and_remove_with_sat()
: Parma_Polyhedra_Library::Constraint_System
, Parma_Polyhedra_Library::Generator_System
, Parma_Polyhedra_Library::Linear_System< Row >
- sort_pending_and_remove_duplicates()
: Parma_Polyhedra_Library::Constraint_System
, Parma_Polyhedra_Library::Generator_System
, Parma_Polyhedra_Library::Linear_System< Row >
- sort_rows()
: Parma_Polyhedra_Library::Bit_Matrix
, Parma_Polyhedra_Library::Constraint_System
, Parma_Polyhedra_Library::Generator_System
, Parma_Polyhedra_Library::Linear_System< Row >
- sorted
: Parma_Polyhedra_Library::Linear_System< Row >
- sorted_contains()
: Parma_Polyhedra_Library::Bit_Matrix
- space_dim
: Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::Octagonal_Shape< T >
, Parma_Polyhedra_Library::OR_Matrix< T >
, Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >
, Parma_Polyhedra_Library::Pointset_Powerset< PSET >
, Parma_Polyhedra_Library::Polyhedron
- space_dimension()
: Parma_Polyhedra_Library::Affine_Space
, Parma_Polyhedra_Library::Any_Pointset
, Parma_Polyhedra_Library::BD_Shape< T >
, Parma_Polyhedra_Library::Box< ITV >
, Parma_Polyhedra_Library::Congruence
, Parma_Polyhedra_Library::Congruence_System
, Parma_Polyhedra_Library::Constraint
, Parma_Polyhedra_Library::Constraint_System
, Parma_Polyhedra_Library::Expression_Adapter< T >
, Parma_Polyhedra_Library::Expression_Hide_Last< T >
, Parma_Polyhedra_Library::Generator
, Parma_Polyhedra_Library::Generator_System
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::Grid_Generator
, Parma_Polyhedra_Library::Grid_Generator_System
, Parma_Polyhedra_Library::Linear_Expression
, Parma_Polyhedra_Library::Linear_Expression_Impl< Row >
, Parma_Polyhedra_Library::Linear_Expression_Interface
, Parma_Polyhedra_Library::Linear_Form< C >
, Parma_Polyhedra_Library::Linear_System< Row >
, Parma_Polyhedra_Library::MIP_Problem
, Parma_Polyhedra_Library::Octagonal_Shape< T >
, Parma_Polyhedra_Library::OR_Matrix< T >
, Parma_Polyhedra_Library::Partially_Reduced_Product< D1, D2, R >
, Parma_Polyhedra_Library::PIP_Problem
, Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >
, Parma_Polyhedra_Library::Pointset_Powerset< PSET >
, Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Variable
, Parma_Polyhedra_Library::Variables_Set
- space_dimension_
: Parma_Polyhedra_Library::Congruence_System
, Parma_Polyhedra_Library::Linear_System< Row >
- Sparse_Row()
: Parma_Polyhedra_Library::Sparse_Row
- SPECIAL_
: Parma_Polyhedra_Library::Boundary_NS::Property
- special_equality_row
: Parma_Polyhedra_Library::PIP_Solution_Node
- sps_fp
: Parma_Polyhedra_Library::Topology_Adjusted_Scalar_Product_Sign
- SPS_type
: Parma_Polyhedra_Library::Topology_Adjusted_Scalar_Product_Sign
- sqrt_assign()
: Parma_Polyhedra_Library::Checked_Number< T, Policy >
, Parma_Polyhedra_Library::GMP_Integer
- squares_sum
: Parma_Polyhedra_Library::Weight_Profiler
- stamp
: Parma_Polyhedra_Library::Weight_Profiler
- stat
: Parma_Polyhedra_Library::Weight_Profiler
- status
: Parma_Polyhedra_Library::BD_Shape< T >
- Status()
: Parma_Polyhedra_Library::BD_Shape< T >::Status
- status
: Parma_Polyhedra_Library::Box< ITV >
- Status()
: Parma_Polyhedra_Library::Box< ITV >::Status
- status
: Parma_Polyhedra_Library::Grid
- Status()
: Parma_Polyhedra_Library::Grid::Status
, Parma_Polyhedra_Library::MIP_Problem
- status
: Parma_Polyhedra_Library::MIP_Problem
, Parma_Polyhedra_Library::Octagonal_Shape< T >
- Status()
: Parma_Polyhedra_Library::Octagonal_Shape< T >::Status
, Parma_Polyhedra_Library::PIP_Problem
- status
: Parma_Polyhedra_Library::PIP_Problem
, Parma_Polyhedra_Library::Polyhedron
- Status()
: Parma_Polyhedra_Library::Polyhedron::Status
- status_word
: Parma_Polyhedra_Library::ia32_fenv_t
- stdiobuf()
: Parma_Polyhedra_Library::stdiobuf
- steepest_edge_exact_entering_index()
: Parma_Polyhedra_Library::MIP_Problem
- steepest_edge_float_entering_index()
: Parma_Polyhedra_Library::MIP_Problem
- STRICT_INEQUALITY
: Parma_Polyhedra_Library::Constraint
- strict_subset
: Parma_Polyhedra_Library::Bit_Row
- strictly_contains()
: Parma_Polyhedra_Library::Affine_Space
, Parma_Polyhedra_Library::Any_Pointset
, Parma_Polyhedra_Library::BD_Shape< T >
, Parma_Polyhedra_Library::Box< ITV >
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::Interval< Boundary, Info >
, Parma_Polyhedra_Library::Octagonal_Shape< T >
, Parma_Polyhedra_Library::Partially_Reduced_Product< D1, D2, R >
, Parma_Polyhedra_Library::Pointset_Powerset< PSET >
, Parma_Polyhedra_Library::Polyhedron
- strictly_intersects()
: Parma_Polyhedra_Library::Poly_Con_Relation
- STRICTLY_INTERSECTS
: Parma_Polyhedra_Library::Poly_Con_Relation
- strong_closure_assign()
: Parma_Polyhedra_Library::Octagonal_Shape< T >
- strong_coherence_assign()
: Parma_Polyhedra_Library::Octagonal_Shape< T >
- strong_normalize()
: Parma_Polyhedra_Library::Congruence
, Parma_Polyhedra_Library::Constraint
, Parma_Polyhedra_Library::Constraint_System
, Parma_Polyhedra_Library::Generator
, Parma_Polyhedra_Library::Generator_System
, Parma_Polyhedra_Library::Grid_Generator
, Parma_Polyhedra_Library::Linear_System< Row >
- strong_reduction_assign()
: Parma_Polyhedra_Library::Octagonal_Shape< T >
- STRONGLY_CLOSED
: Parma_Polyhedra_Library::Octagonal_Shape< T >::Status
- strongly_minimize_constraints()
: Parma_Polyhedra_Library::Polyhedron
- strongly_minimize_generators()
: Parma_Polyhedra_Library::Polyhedron
- structure_OK()
: Parma_Polyhedra_Library::CO_Tree
- sub_assign()
: Parma_Polyhedra_Library::Interval< Boundary, Info >
- sub_linearize()
: Parma_Polyhedra_Library::Concrete_Expression< Target >
- sub_mul_assign()
: Parma_Polyhedra_Library::Checked_Number< T, Policy >
, Parma_Polyhedra_Library::GMP_Integer
, Parma_Polyhedra_Library::Linear_Expression
, Parma_Polyhedra_Library::Linear_Expression_Impl< Row >
, Parma_Polyhedra_Library::Linear_Expression_Interface
- subset_or_equal
: Parma_Polyhedra_Library::Bit_Row
- subsumes()
: Parma_Polyhedra_Library::Poly_Gen_Relation
- SUBSUMES
: Parma_Polyhedra_Library::Poly_Gen_Relation
- sum
: Parma_Polyhedra_Library::Weight_Profiler
- Sum_Floating_Point_Expression()
: Parma_Polyhedra_Library::Sum_Floating_Point_Expression< FP_Interval_Type, FP_Format >
- swap()
: Parma_Polyhedra_Library::Affine_Space
, Parma_Polyhedra_Library::Any_Pointset
, Parma_Polyhedra_Library::Ask_Tell< D >
, Parma_Polyhedra_Library::BD_Shape< T >
, Parma_Polyhedra_Library::Bit_Matrix
, Parma_Polyhedra_Library::Bit_Row
, Parma_Polyhedra_Library::Box< ITV >
, Parma_Polyhedra_Library::Cast_Floating_Point_Expression< FP_Interval_Type, FP_Format >
, Parma_Polyhedra_Library::Checked_Number< T, Policy >
, Parma_Polyhedra_Library::CO_Tree::const_iterator
, Parma_Polyhedra_Library::CO_Tree::iterator
, Parma_Polyhedra_Library::CO_Tree
, Parma_Polyhedra_Library::Congruence
, Parma_Polyhedra_Library::Congruence_System
, Parma_Polyhedra_Library::Constant_Floating_Point_Expression< FP_Interval_Type, FP_Format >
, Parma_Polyhedra_Library::Constraint
, Parma_Polyhedra_Library::Constraint_System
, Parma_Polyhedra_Library::DB_Matrix< T >
, Parma_Polyhedra_Library::DB_Row< T >
, Parma_Polyhedra_Library::Dense_Row
, Parma_Polyhedra_Library::Determinate< PSET >
, Parma_Polyhedra_Library::Difference_Floating_Point_Expression< FP_Interval_Type, FP_Format >
, Parma_Polyhedra_Library::Division_Floating_Point_Expression< FP_Interval_Type, FP_Format >
, Parma_Polyhedra_Library::Generator
, Parma_Polyhedra_Library::Generator_System
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::Grid_Generator
, Parma_Polyhedra_Library::Grid_Generator_System
, Parma_Polyhedra_Library::Interval< Boundary, Info >
, Parma_Polyhedra_Library::Interval_Info_Bitset< T, Policy >
, Parma_Polyhedra_Library::Interval_Info_Null< Policy >
, Parma_Polyhedra_Library::Linear_Expression::const_iterator
, Parma_Polyhedra_Library::Linear_Expression
, Parma_Polyhedra_Library::Linear_Form< C >
, Parma_Polyhedra_Library::Linear_System< Row >
, Parma_Polyhedra_Library::Matrix< Row >
, Parma_Polyhedra_Library::MIP_Problem
, Parma_Polyhedra_Library::Multiplication_Floating_Point_Expression< FP_Interval_Type, FP_Format >
, Parma_Polyhedra_Library::Octagonal_Shape< T >
, Parma_Polyhedra_Library::Opposite_Floating_Point_Expression< FP_Interval_Type, FP_Format >
, Parma_Polyhedra_Library::OR_Matrix< T >
, Parma_Polyhedra_Library::Partially_Reduced_Product< D1, D2, R >
, Parma_Polyhedra_Library::PIP_Problem
, Parma_Polyhedra_Library::PIP_Tree_Node::Artificial_Parameter
, Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >
, Parma_Polyhedra_Library::Pointset_Powerset< PSET >
, Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Powerset< D >
, Parma_Polyhedra_Library::Sparse_Row
, Parma_Polyhedra_Library::Sum_Floating_Point_Expression< FP_Interval_Type, FP_Format >
, Parma_Polyhedra_Library::Swapping_Vector< T >
, Parma_Polyhedra_Library::Variable
, Parma_Polyhedra_Library::Variable_Floating_Point_Expression< FP_Interval_Type, FP_Format >
- swap_coefficients()
: Parma_Polyhedra_Library::Dense_Row
, Parma_Polyhedra_Library::Sparse_Row
- swap_columns()
: Parma_Polyhedra_Library::Matrix< Row >
- swap_row_intervals()
: Parma_Polyhedra_Library::Linear_System< Row >
- swap_space_dimensions()
: Parma_Polyhedra_Library::Congruence
, Parma_Polyhedra_Library::Congruence_System
, Parma_Polyhedra_Library::Constraint
, Parma_Polyhedra_Library::Constraint_System
, Parma_Polyhedra_Library::Generator
, Parma_Polyhedra_Library::Generator_System
, Parma_Polyhedra_Library::Grid_Generator
, Parma_Polyhedra_Library::Linear_Expression
, Parma_Polyhedra_Library::Linear_Expression_Impl< Row >
, Parma_Polyhedra_Library::Linear_Expression_Interface
, Parma_Polyhedra_Library::Linear_System< Row >
- Swapping_Vector()
: Parma_Polyhedra_Library::Swapping_Vector< T >
- sync()
: Parma_Polyhedra_Library::c_streambuf
, Parma_Polyhedra_Library::stdiobuf
- synonym
: Parma_Polyhedra_Library::Suppress_Uninitialized_Warnings_Type< T >
- sys
: Parma_Polyhedra_Library::Constraint_System
, Parma_Polyhedra_Library::Generator_System
, Parma_Polyhedra_Library::Grid_Generator_System