- s -

• satisfies_all_congruences() : Parma_Polyhedra_Library::Congruence_System
• saturates() : Parma_Polyhedra_Library::Poly_Con_Relation
• scale() : Parma_Polyhedra_Library::Congruence
• scale_to_divisor() : Parma_Polyhedra_Library::Grid_Generator
• seconds() : Parma_Polyhedra_Library::Implementation::Watchdog::Time
• set_big_parameter_dimension() : Parma_Polyhedra_Library::PIP_Problem
• set_coefficient() : Parma_Polyhedra_Library::Linear_Expression
• 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::Box< ITV >
• set_inhomogeneous_term() : Parma_Polyhedra_Library::Linear_Expression
• set_interval() : Parma_Polyhedra_Library::Box< ITV >
• set_modulus() : Parma_Polyhedra_Library::Congruence
• 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_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
• 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::Linear_Expression
• sgn() : Parma_Polyhedra_Library::Checked_Number< T, Policy >
• 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::Generator , Parma_Polyhedra_Library::Grid_Generator , Parma_Polyhedra_Library::Linear_Expression
• sign_normalize() : Parma_Polyhedra_Library::Congruence , Parma_Polyhedra_Library::Linear_Expression
• simplify_using_context_assign() : 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::Powerset< D >
• Smash_Reduction() : Parma_Polyhedra_Library::Smash_Reduction< D1, D2 >
• solution() : Parma_Polyhedra_Library::PIP_Problem
• 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
• space_dimension() : 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::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_Form< C > , Parma_Polyhedra_Library::MIP_Problem , Parma_Polyhedra_Library::Octagonal_Shape< T > , Parma_Polyhedra_Library::Partially_Reduced_Product< D1, D2, R > , Parma_Polyhedra_Library::PIP_Problem , Parma_Polyhedra_Library::Pointset_Powerset< PSET > , Parma_Polyhedra_Library::Polyhedron , Parma_Polyhedra_Library::Variable , Parma_Polyhedra_Library::Variables_Set
• sqrt_assign() : Parma_Polyhedra_Library::Checked_Number< T, Policy > , Parma_Polyhedra_Library::GMP_Integer
• strictly_contains() : Parma_Polyhedra_Library::BD_Shape< T > , Parma_Polyhedra_Library::Box< ITV > , Parma_Polyhedra_Library::Grid , 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
• strong_normalize() : Parma_Polyhedra_Library::Congruence
• 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
• subsumes() : Parma_Polyhedra_Library::Poly_Gen_Relation
• Sum_Floating_Point_Expression() : Parma_Polyhedra_Library::Sum_Floating_Point_Expression< FP_Interval_Type, FP_Format >
• swap() : Parma_Polyhedra_Library::BD_Shape< T > , 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::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::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::Linear_Expression::const_iterator , Parma_Polyhedra_Library::Linear_Expression , Parma_Polyhedra_Library::Linear_Form< C > , 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::Partially_Reduced_Product< D1, D2, R > , Parma_Polyhedra_Library::PIP_Problem , Parma_Polyhedra_Library::PIP_Tree_Node::Artificial_Parameter , Parma_Polyhedra_Library::Pointset_Powerset< PSET > , Parma_Polyhedra_Library::Polyhedron , Parma_Polyhedra_Library::Powerset< D > , Parma_Polyhedra_Library::Sum_Floating_Point_Expression< FP_Interval_Type, FP_Format > , Parma_Polyhedra_Library::Variable , Parma_Polyhedra_Library::Variable_Floating_Point_Expression< FP_Interval_Type, FP_Format >
• swap_space_dimensions() : Parma_Polyhedra_Library::Congruence , Parma_Polyhedra_Library::Congruence_System , Parma_Polyhedra_Library::Constraint , Parma_Polyhedra_Library::Generator , Parma_Polyhedra_Library::Grid_Generator , Parma_Polyhedra_Library::Linear_Expression