Here is a list of all class members with links to the classes they belong to:
- sat_c
: Parma_Polyhedra_Library::Polyhedron
- sat_c_is_up_to_date()
: Parma_Polyhedra_Library::Polyhedron
- SAT_C_UP_TO_DATE
: Parma_Polyhedra_Library::Polyhedron::Status
, Parma_Polyhedra_Library::Grid::Status
, Status
- sat_g
: Parma_Polyhedra_Library::Polyhedron
- sat_g_is_up_to_date()
: Parma_Polyhedra_Library::Polyhedron
- SAT_G_UP_TO_DATE
: Status
, Parma_Polyhedra_Library::Polyhedron::Status
, Parma_Polyhedra_Library::Grid::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_Products
: Parma_Polyhedra_Library::Grid_Generator
- scale_to_divisor()
: Parma_Polyhedra_Library::Grid_Generator
- second_phase()
: Parma_Polyhedra_Library::MIP_Problem
- 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::Powerset< D >
, Parma_Polyhedra_Library::Pointset_Powerset< PS >
, Parma_Polyhedra_Library::Box< ITV >
- sequence
: Parma_Polyhedra_Library::Powerset< D >
- Sequence_const_iterator
: Parma_Polyhedra_Library::Pointset_Powerset< PS >
, Parma_Polyhedra_Library::Powerset< D >
- Sequence_iterator
: Parma_Polyhedra_Library::Powerset< D >
, Parma_Polyhedra_Library::Pointset_Powerset< PS >
- set()
: Parma_Polyhedra_Library::Bit_Row
, Status
, Parma_Polyhedra_Library::Polyhedron::Status
, Parma_Polyhedra_Library::Grid::Status
, Parma_Polyhedra_Library::Box< ITV >::Status
, Parma_Polyhedra_Library::BD_Shape< T >::Status
, Parma_Polyhedra_Library::Octagonal_Shape< T >::Status
- set_bits()
: Parma_Polyhedra_Library::Row::Flags
- set_boundary_property()
: Parma_Polyhedra_Library::Interval_Info_Null< Policy >
, Parma_Polyhedra_Library::Interval_Info_Bitset< T, Policy >
- 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()
: Status
, Parma_Polyhedra_Library::Polyhedron::Status
, Parma_Polyhedra_Library::Grid::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_control_parameter()
: Parma_Polyhedra_Library::MIP_Problem
- set_difference
: Parma_Polyhedra_Library::Bit_Row
- set_divisor()
: Parma_Polyhedra_Library::Grid_Generator
- set_empty()
: Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Grid::Status
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::Box< ITV >::Status
, Parma_Polyhedra_Library::Box< ITV >
, Parma_Polyhedra_Library::BD_Shape< T >::Status
, Parma_Polyhedra_Library::BD_Shape< T >
, Parma_Polyhedra_Library::Octagonal_Shape< T >::Status
, Parma_Polyhedra_Library::Octagonal_Shape< T >
, Status
, Parma_Polyhedra_Library::Polyhedron::Status
- set_empty_up_to_date()
: Parma_Polyhedra_Library::Box< ITV >::Status
, Parma_Polyhedra_Library::Box< ITV >
- 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_infinities()
: Parma_Polyhedra_Library::Interval< Boundary, Info >
- set_integer()
: Parma_Polyhedra_Library::Interval_Restriction_Integer< Base >
- set_intersection
: Parma_Polyhedra_Library::Bit_Row
- set_interval()
: Parma_Polyhedra_Library::Box< ITV >
- set_interval_property()
: Parma_Polyhedra_Library::Interval_Info_Null< Policy >
, Parma_Polyhedra_Library::Interval_Info_Bitset< T, Policy >
- 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()
: 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::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_nonempty()
: Parma_Polyhedra_Library::Box< ITV >
- 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::MIP_Problem
- set_optimization_mode()
: Parma_Polyhedra_Library::MIP_Problem
- set_output_function()
: Parma_Polyhedra_Library::Variable
- set_reduced_flag()
: Parma_Polyhedra_Library::Partially_Reduced_Product< D1, D2, R >
- set_rounding_for_PPL
: Parma_Polyhedra_Library::Init
- set_rows_topology()
: Parma_Polyhedra_Library::Linear_System
- set_sat_c_up_to_date()
: Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Grid::Status
, Status
, Parma_Polyhedra_Library::Polyhedron::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
, Parma_Polyhedra_Library::BD_Shape< T >
- set_shortest_path_reduced()
: Parma_Polyhedra_Library::BD_Shape< T >::Status
, Parma_Polyhedra_Library::BD_Shape< T >
- 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_strongly_closed()
: Parma_Polyhedra_Library::Octagonal_Shape< T >::Status
, Parma_Polyhedra_Library::Octagonal_Shape< T >
- set_union
: Parma_Polyhedra_Library::Bit_Row
- set_universe()
: Parma_Polyhedra_Library::Box< ITV >::Status
- set_until()
: Parma_Polyhedra_Library::Bit_Row
- 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 >
, Parma_Polyhedra_Library::Octagonal_Shape< T >::Status
, Parma_Polyhedra_Library::Octagonal_Shape< T >
- sgn()
: Parma_Polyhedra_Library::Checked_Number< T, Policy >
- SGN_MASK
: Parma_Polyhedra_Library::float_ieee754_single
- 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::Row
, Parma_Polyhedra_Library::Row_Impl_Handler::Impl
, Parma_Polyhedra_Library::DB_Row< T >
, Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl
, Parma_Polyhedra_Library::OR_Matrix< T >
- 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::Linear_Row
, Parma_Polyhedra_Library::Linear_System
, Parma_Polyhedra_Library::Congruence
- Simple_Restriction_Integer()
: Parma_Polyhedra_Library::Simple_Restriction_Integer
- Simple_Restriction_Integer_Modulo()
: Parma_Polyhedra_Library::Simple_Restriction_Integer_Modulo< T >
- simplified_constraints()
: Parma_Polyhedra_Library::Polyhedron
- simplify()
: Parma_Polyhedra_Library::Linear_System
, Parma_Polyhedra_Library::Constraint_System
, Parma_Polyhedra_Library::Generator_System
, Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Grid
- simplify_num_saturators_p
: Parma_Polyhedra_Library::Polyhedron
- simplify_num_saturators_size
: Parma_Polyhedra_Library::Polyhedron
- simplify_using_context_assign()
: Parma_Polyhedra_Library::Pointset_Powerset< PS >
, Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::Box< ITV >
, Parma_Polyhedra_Library::BD_Shape< T >
, Parma_Polyhedra_Library::Octagonal_Shape< T >
- size()
: Parma_Polyhedra_Library::DB_Row< T >
, Parma_Polyhedra_Library::Row
, 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
- size_
: Parma_Polyhedra_Library::Row_Impl_Handler::Impl
, Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl
- size_type
: Parma_Polyhedra_Library::Powerset< D >
, Parma_Polyhedra_Library::Pointset_Powerset< PS >
- skip_forward()
: Parma_Polyhedra_Library::Generator_System::const_iterator
, Parma_Polyhedra_Library::Constraint_System::const_iterator
, Parma_Polyhedra_Library::Congruence_System::const_iterator
- Smash_Product
: Parma_Polyhedra_Library::Domain_Product< D1, D2 >
- Smash_Reduction()
: Parma_Polyhedra_Library::Smash_Reduction< D1, D2 >
- solve()
: Parma_Polyhedra_Library::MIP_Problem
- solve_mip()
: Parma_Polyhedra_Library::MIP_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::Bit_Matrix
- sorted
: Parma_Polyhedra_Library::Linear_System
- sorted_contains()
: Parma_Polyhedra_Library::Bit_Matrix
- space_dim
: Parma_Polyhedra_Library::Octagonal_Shape< T >
, Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::Pointset_Powerset< PS >
, Parma_Polyhedra_Library::OR_Matrix< T >
- space_dimension()
: Parma_Polyhedra_Library::Generator_System
, Parma_Polyhedra_Library::Pointset_Powerset< PS >
, Parma_Polyhedra_Library::Generator
, Parma_Polyhedra_Library::Linear_Row
, Parma_Polyhedra_Library::Linear_System
, Parma_Polyhedra_Library::MIP_Problem
, Parma_Polyhedra_Library::Variable
, Parma_Polyhedra_Library::Linear_Expression
, Parma_Polyhedra_Library::Constraint
, Parma_Polyhedra_Library::Congruence
, Parma_Polyhedra_Library::Grid_Generator
, Parma_Polyhedra_Library::Constraint_System
, Parma_Polyhedra_Library::Congruence_System
, Parma_Polyhedra_Library::Grid_Generator_System
, Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::Partially_Reduced_Product< D1, D2, R >
, Parma_Polyhedra_Library::Box< ITV >
, Parma_Polyhedra_Library::BD_Shape< T >
, Parma_Polyhedra_Library::Octagonal_Shape< T >
, Parma_Polyhedra_Library::OR_Matrix< T >
- 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
- Status()
: Status
, Parma_Polyhedra_Library::Polyhedron::Status
, Parma_Polyhedra_Library::Grid::Status
, Parma_Polyhedra_Library::Box< ITV >::Status
, Parma_Polyhedra_Library::BD_Shape< T >::Status
, Parma_Polyhedra_Library::Octagonal_Shape< T >::Status
, Parma_Polyhedra_Library::MIP_Problem
, Parma_Polyhedra_Library::Polyhedron::Status
, Parma_Polyhedra_Library::Box< ITV >::Status
, Parma_Polyhedra_Library::BD_Shape< T >::Status
- status
: Parma_Polyhedra_Library::Grid
- Status()
: Parma_Polyhedra_Library::Box< ITV >::Status
, Parma_Polyhedra_Library::Octagonal_Shape< T >::Status
- status
: Parma_Polyhedra_Library::Octagonal_Shape< T >
, Parma_Polyhedra_Library::MIP_Problem
, Parma_Polyhedra_Library::BD_Shape< T >
, Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Box< ITV >
- 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::Grid
, Parma_Polyhedra_Library::Box< ITV >
, Parma_Polyhedra_Library::Octagonal_Shape< T >
, Parma_Polyhedra_Library::BD_Shape< T >
, Parma_Polyhedra_Library::Pointset_Powerset< PS >
, Parma_Polyhedra_Library::Partially_Reduced_Product< D1, D2, R >
, Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Interval< Boundary, Info >
- 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::Linear_System
, Parma_Polyhedra_Library::Congruence
, Parma_Polyhedra_Library::Grid_Generator
, Parma_Polyhedra_Library::Linear_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
- sub_assign()
: Parma_Polyhedra_Library::Interval< Boundary, Info >
- sub_mul_assign()
: Parma_Polyhedra_Library::Checked_Number< T, Policy >
, Parma_Polyhedra_Library::GMP_Integer
- subset_or_equal
: Parma_Polyhedra_Library::Bit_Row
- subsumes()
: Parma_Polyhedra_Library::Poly_Gen_Relation
- SUBSUMES
: Parma_Polyhedra_Library::Poly_Gen_Relation
- swap()
: Parma_Polyhedra_Library::Congruence
, Parma_Polyhedra_Library::MIP_Problem
, Parma_Polyhedra_Library::Linear_Row
, Parma_Polyhedra_Library::Linear_Expression
, Parma_Polyhedra_Library::Bit_Matrix
, Parma_Polyhedra_Library::Checked_Number< T, Policy >
, Parma_Polyhedra_Library::Congruence
, Parma_Polyhedra_Library::Interval< Boundary, Info >
, Parma_Polyhedra_Library::Powerset< D >
, Parma_Polyhedra_Library::DB_Row< T >
, Parma_Polyhedra_Library::BD_Shape< T >
, Parma_Polyhedra_Library::Octagonal_Shape< T >
, Parma_Polyhedra_Library::Box< ITV >
, Parma_Polyhedra_Library::Generator_System
, Parma_Polyhedra_Library::Row
, Parma_Polyhedra_Library::Generator
, Parma_Polyhedra_Library::OR_Matrix< T >
, Parma_Polyhedra_Library::Determinate< PS >
, Parma_Polyhedra_Library::Grid_Generator
, Parma_Polyhedra_Library::Constraint
, Parma_Polyhedra_Library::Determinate< PS >
, Parma_Polyhedra_Library::Partially_Reduced_Product< D1, D2, R >
, Parma_Polyhedra_Library::Grid_Generator_System
, Parma_Polyhedra_Library::DB_Row< T >
, Parma_Polyhedra_Library::DB_Matrix< T >
, Parma_Polyhedra_Library::Linear_System
, Parma_Polyhedra_Library::Grid_Generator
, Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Matrix
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::Interval_Info_Bitset< T, Policy >
, Parma_Polyhedra_Library::Congruence_System
, Parma_Polyhedra_Library::Pointset_Powerset< PS >
, Parma_Polyhedra_Library::Linear_System
, Parma_Polyhedra_Library::BD_Shape< T >
, Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Grid_Generator_System
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::Constraint
, Parma_Polyhedra_Library::Constraint_System
, Parma_Polyhedra_Library::Generator_System
, Parma_Polyhedra_Library::Partially_Reduced_Product< D1, D2, R >
, Parma_Polyhedra_Library::Linear_Expression
, Parma_Polyhedra_Library::Interval_Info_Null< Policy >
, Parma_Polyhedra_Library::Congruence_System
, Parma_Polyhedra_Library::Octagonal_Shape< T >
, Parma_Polyhedra_Library::MIP_Problem
, Parma_Polyhedra_Library::Matrix
, Parma_Polyhedra_Library::Generator
, Parma_Polyhedra_Library::Bit_Row
, Parma_Polyhedra_Library::Pointset_Powerset< PS >
, Parma_Polyhedra_Library::Bit_Matrix
, Parma_Polyhedra_Library::DB_Matrix< T >
, Parma_Polyhedra_Library::OR_Matrix< T >
, Parma_Polyhedra_Library::Interval_Info_Null< Policy >
, Parma_Polyhedra_Library::Row
, Parma_Polyhedra_Library::Constraint_System
, Parma_Polyhedra_Library::Interval< Boundary, Info >
, Parma_Polyhedra_Library::Interval_Info_Bitset< T, Policy >
, Parma_Polyhedra_Library::Bit_Row
- swap_columns()
: Parma_Polyhedra_Library::Matrix
- sync()
: Parma_Polyhedra_Library::stdiobuf