- s -

• s : Parma_Polyhedra_Library::PIP_Solution_Node::Tableau
• samples : Parma_Polyhedra_Library::Weight_Profiler
• sat_c : 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_UP_TO_DATE : Parma_Polyhedra_Library::Grid::Status , Parma_Polyhedra_Library::Polyhedron::Status
• SATURATES : Parma_Polyhedra_Library::Poly_Con_Relation
• 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 >
• secs : Parma_Polyhedra_Library::Implementation::Watchdog::Time
• seq : Parma_Polyhedra_Library::Box< ITV >
• sequence : Parma_Polyhedra_Library::Ask_Tell< D > , Parma_Polyhedra_Library::Powerset< D >
• SGN_MASK : Parma_Polyhedra_Library::float_ibm_single , Parma_Polyhedra_Library::float_ieee754_half , Parma_Polyhedra_Library::float_ieee754_single
• SHORTEST_PATH_CLOSED : Parma_Polyhedra_Library::BD_Shape< T >::Status
• SHORTEST_PATH_REDUCED : Parma_Polyhedra_Library::BD_Shape< T >::Status
• sign : Parma_Polyhedra_Library::PIP_Solution_Node
• simplify_num_saturators_p : Parma_Polyhedra_Library::Polyhedron
• simplify_num_saturators_size : Parma_Polyhedra_Library::Polyhedron
• size : Parma_Polyhedra_Library::Dense_Row::Impl
• size_ : Parma_Polyhedra_Library::CO_Tree , Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl , Parma_Polyhedra_Library::Sparse_Row
• solution : Parma_Polyhedra_Library::PIP_Solution_Node
• solution_valid : Parma_Polyhedra_Library::PIP_Solution_Node
• sorted : Parma_Polyhedra_Library::Linear_System< Row >
• 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::Congruence_System , Parma_Polyhedra_Library::Linear_System< Row >
• special_equality_row : Parma_Polyhedra_Library::PIP_Solution_Node
• sps_fp : Parma_Polyhedra_Library::Topology_Adjusted_Scalar_Product_Sign
• 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 > , Parma_Polyhedra_Library::Box< ITV > , Parma_Polyhedra_Library::Grid , Parma_Polyhedra_Library::MIP_Problem , Parma_Polyhedra_Library::Octagonal_Shape< T > , Parma_Polyhedra_Library::PIP_Problem , Parma_Polyhedra_Library::Polyhedron
• status_word : Parma_Polyhedra_Library::ia32_fenv_t
• STRICTLY_INTERSECTS : Parma_Polyhedra_Library::Poly_Con_Relation
• STRONGLY_CLOSED : Parma_Polyhedra_Library::Octagonal_Shape< T >::Status
• SUBSUMES : Parma_Polyhedra_Library::Poly_Gen_Relation
• sum : Parma_Polyhedra_Library::Weight_Profiler
• sys : Parma_Polyhedra_Library::Constraint_System , Parma_Polyhedra_Library::Generator_System , Parma_Polyhedra_Library::Grid_Generator_System