Here is a list of all class members with links to the classes they belong to:
- a -
- a
: Parma_Polyhedra_Library::Ask_Tell_Pair< D >
- abs_assign()
: Parma_Polyhedra_Library::Checked_Number< T, Policy >
, Parma_Polyhedra_Library::GMP_Integer
- absolute_error
: Parma_Polyhedra_Library::Floating_Point_Expression< FP_Interval_Type, FP_Format >
- absorb()
: Parma_Polyhedra_Library::Ask_Tell< D >
- act()
: Parma_Polyhedra_Library::Implementation::Watchdog::Handler
, Parma_Polyhedra_Library::Implementation::Watchdog::Handler_Flag< Flag_Base, Flag >
, Parma_Polyhedra_Library::Implementation::Watchdog::Handler_Function
- active_list
: Parma_Polyhedra_Library::Implementation::Watchdog::Pending_List< Traits >
- add_and_minimize()
: Parma_Polyhedra_Library::Polyhedron
- add_assign()
: Parma_Polyhedra_Library::Interval< Boundary, Info >
- add_congruence()
: Parma_Polyhedra_Library::Affine_Space
, 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
- add_congruence_no_check()
: Parma_Polyhedra_Library::Box< ITV >
, Parma_Polyhedra_Library::Grid
- add_congruences()
: Parma_Polyhedra_Library::Affine_Space
, 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
- add_congruences_no_check()
: Parma_Polyhedra_Library::Box< ITV >
- add_constraint()
: 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::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::PIP_Tree_Node
, Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >
, Parma_Polyhedra_Library::Pointset_Powerset< PSET >
, Parma_Polyhedra_Library::Polyhedron
- add_constraint_helper()
: Parma_Polyhedra_Library::MIP_Problem
- add_constraint_no_check()
: Parma_Polyhedra_Library::Box< ITV >
, Parma_Polyhedra_Library::Grid
- add_constraints()
: 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::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_Ask_Tell< PSET >
, Parma_Polyhedra_Library::Pointset_Powerset< PSET >
, Parma_Polyhedra_Library::Polyhedron
- add_constraints_no_check()
: Parma_Polyhedra_Library::Box< ITV >
- add_corresponding_closure_points()
: Parma_Polyhedra_Library::Generator_System
- add_corresponding_points()
: Parma_Polyhedra_Library::Generator_System
- add_dbm_constraint()
: Parma_Polyhedra_Library::BD_Shape< T >
- add_disjunct()
: Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >
, Parma_Polyhedra_Library::Pointset_Powerset< PSET >
, Parma_Polyhedra_Library::Powerset< D >
- add_generator()
: Parma_Polyhedra_Library::Affine_Space
, Parma_Polyhedra_Library::Polyhedron
- add_generators()
: Parma_Polyhedra_Library::Affine_Space
, Parma_Polyhedra_Library::Polyhedron
- add_grid_generator()
: Parma_Polyhedra_Library::Grid
- add_grid_generators()
: Parma_Polyhedra_Library::Grid
- add_interval_constraint_no_check()
: Parma_Polyhedra_Library::Box< ITV >
- add_linearize()
: Parma_Polyhedra_Library::Concrete_Expression< Target >
- add_low_level_constraints()
: Parma_Polyhedra_Library::Constraint_System
- add_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
- add_non_bottom_disjunct_preserve_reduction()
: Parma_Polyhedra_Library::Powerset< D >
- add_octagonal_constraint()
: Parma_Polyhedra_Library::Octagonal_Shape< T >
- add_pair()
: Parma_Polyhedra_Library::Ask_Tell< D >
- add_recycled_congruences()
: Parma_Polyhedra_Library::Affine_Space
, 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::Polyhedron
- add_recycled_constraints()
: Parma_Polyhedra_Library::Affine_Space
, 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::Polyhedron
- add_recycled_generators()
: Parma_Polyhedra_Library::Affine_Space
, Parma_Polyhedra_Library::Polyhedron
- add_recycled_grid_generators()
: Parma_Polyhedra_Library::Grid
- add_recycled_row()
: Parma_Polyhedra_Library::Bit_Matrix
, Parma_Polyhedra_Library::Matrix< Row >
- add_row()
: Parma_Polyhedra_Library::Matrix< Row >
- add_space_dimensions()
: Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::Polyhedron
- add_space_dimensions_and_embed()
: 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::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_Ask_Tell< PSET >
, Parma_Polyhedra_Library::Pointset_Powerset< PSET >
, Parma_Polyhedra_Library::Polyhedron
- add_space_dimensions_and_project()
: 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::Octagonal_Shape< T >
, Parma_Polyhedra_Library::Partially_Reduced_Product< D1, D2, R >
, Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >
, Parma_Polyhedra_Library::Pointset_Powerset< PSET >
, Parma_Polyhedra_Library::Polyhedron
- add_threshold()
: Parma_Polyhedra_Library::Threshold_Watcher< Traits >
- add_to_integer_space_dimensions()
: Parma_Polyhedra_Library::MIP_Problem
- add_to_parameter_space_dimensions()
: Parma_Polyhedra_Library::PIP_Problem
- add_to_system_and_check_independence()
: Parma_Polyhedra_Library::Polyhedron
- add_unit_rows_and_space_dimensions()
: Parma_Polyhedra_Library::Congruence_System
- add_universe_rows_and_columns()
: Parma_Polyhedra_Library::Grid_Generator_System
- add_universe_rows_and_space_dimensions()
: Parma_Polyhedra_Library::Constraint_System
, Parma_Polyhedra_Library::Generator_System
, Parma_Polyhedra_Library::Linear_System< Row >
- add_zero_columns()
: Parma_Polyhedra_Library::Matrix< Row >
- add_zero_rows()
: Parma_Polyhedra_Library::Matrix< Row >
- add_zero_rows_and_columns()
: Parma_Polyhedra_Library::Matrix< Row >
- add_zeroes_and_shift()
: Parma_Polyhedra_Library::Dense_Row
, Parma_Polyhedra_Library::Sparse_Row
- adjust_topology_and_space_dimension()
: Parma_Polyhedra_Library::Constraint_System
, Parma_Polyhedra_Library::Generator_System
- adjustment
: Parma_Polyhedra_Library::Weight_Profiler
- affine_dim
: Parma_Polyhedra_Library::BHRZ03_Certificate
, Parma_Polyhedra_Library::H79_Certificate
- affine_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::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
- affine_form_image()
: Parma_Polyhedra_Library::BD_Shape< T >
, Parma_Polyhedra_Library::Box< ITV >
, Parma_Polyhedra_Library::Linear_Form< C >
, Parma_Polyhedra_Library::Octagonal_Shape< T >
, Parma_Polyhedra_Library::Polyhedron
- affine_image()
: Parma_Polyhedra_Library::Affine_Space
, Parma_Polyhedra_Library::Any_Pointset
, Parma_Polyhedra_Library::BD_Shape< T >
, Parma_Polyhedra_Library::Box< ITV >
, Parma_Polyhedra_Library::Generator_System
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::Grid_Generator_System
, 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
- affine_preimage()
: 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_System
, 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
- Affine_Space()
: Parma_Polyhedra_Library::Affine_Space
- all_affine_ranking_functions_PR()
: Parma_Polyhedra_Library::Termination_Helpers
- all_affine_ranking_functions_PR_original()
: Parma_Polyhedra_Library::Termination_Helpers
- all_homogeneous_terms_are_zero()
: Parma_Polyhedra_Library::Expression_Adapter< T >
, Parma_Polyhedra_Library::Expression_Hide_Last< T >
, Parma_Polyhedra_Library::Grid_Generator
, Parma_Polyhedra_Library::Linear_Expression
, Parma_Polyhedra_Library::Linear_Expression_Impl< Row >
, Parma_Polyhedra_Library::Linear_Expression_Interface
- all_zeroes()
: Parma_Polyhedra_Library::Expression_Adapter< T >
, Parma_Polyhedra_Library::Expression_Hide_Inhomo< T >
, Parma_Polyhedra_Library::Expression_Hide_Last< T >
, Parma_Polyhedra_Library::Linear_Expression
, Parma_Polyhedra_Library::Linear_Expression_Impl< Row >
, Parma_Polyhedra_Library::Linear_Expression_Interface
- all_zeroes_except()
: Parma_Polyhedra_Library::Expression_Adapter< T >
, Parma_Polyhedra_Library::Expression_Hide_Inhomo< T >
, Parma_Polyhedra_Library::Expression_Hide_Last< T >
, Parma_Polyhedra_Library::Linear_Expression
, Parma_Polyhedra_Library::Linear_Expression_Impl< Row >
, Parma_Polyhedra_Library::Linear_Expression_Interface
- allocate()
: Parma_Polyhedra_Library::DB_Row< T >
- Any()
: Parma_Polyhedra_Library::Is_Same_Or_Derived< Base, Derived >::Any
- Any_Pointset()
: Parma_Polyhedra_Library::Any_Pointset
- any_row_iterator
: Parma_Polyhedra_Library::OR_Matrix< T >::any_row_iterator< U >
, Parma_Polyhedra_Library::OR_Matrix< T >::Pseudo_Row< U >
- approximate_partition()
: Parma_Polyhedra_Library::Pointset_Powerset< PSET >
- approximate_partition_aux()
: Parma_Polyhedra_Library::Pointset_Powerset< PSET >
- Arg_Type
: Parma_Polyhedra_Library::I_Constraint< T, Val_Or_Ref_Criteria, extended >
, 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 >
- argument()
: Parma_Polyhedra_Library::Cast_Operator_Common< Target >
, Parma_Polyhedra_Library::Unary_Operator_Common< Target >
- art_parameter_begin()
: Parma_Polyhedra_Library::PIP_Tree_Node
- art_parameter_count()
: Parma_Polyhedra_Library::PIP_Tree_Node
- art_parameter_end()
: Parma_Polyhedra_Library::PIP_Tree_Node
- Artificial_Parameter()
: Parma_Polyhedra_Library::PIP_Tree_Node::Artificial_Parameter
- Artificial_Parameter_Sequence
: Parma_Polyhedra_Library::PIP_Tree_Node
- artificial_parameters
: Parma_Polyhedra_Library::PIP_Tree_Node
- as()
: Parma_Polyhedra_Library::Concrete_Expression_Common< Target >
- as_decision()
: Parma_Polyhedra_Library::PIP_Decision_Node
, Parma_Polyhedra_Library::PIP_Solution_Node
, Parma_Polyhedra_Library::PIP_Tree_Node
- as_solution()
: Parma_Polyhedra_Library::PIP_Decision_Node
, Parma_Polyhedra_Library::PIP_Solution_Node
, Parma_Polyhedra_Library::PIP_Tree_Node
- ascii_dump()
: Parma_Polyhedra_Library::Affine_Space
, Parma_Polyhedra_Library::Any_Pointset
, Parma_Polyhedra_Library::BD_Shape< T >
, Parma_Polyhedra_Library::BD_Shape< T >::Status
, Parma_Polyhedra_Library::Bit_Matrix
, Parma_Polyhedra_Library::Box< ITV >
, Parma_Polyhedra_Library::Box< ITV >::Status
, Parma_Polyhedra_Library::Checked_Number< T, Policy >
, Parma_Polyhedra_Library::Congruence
, Parma_Polyhedra_Library::Congruence_System
, Parma_Polyhedra_Library::Constraint
, Parma_Polyhedra_Library::Constraint_System
, Parma_Polyhedra_Library::DB_Matrix< T >
, Parma_Polyhedra_Library::Dense_Row
, Parma_Polyhedra_Library::Generator
, Parma_Polyhedra_Library::Generator_System
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::Grid::Status
, 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::Interval_Info_Null_Open< Policy >
, 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::Matrix< Row >
, Parma_Polyhedra_Library::MIP_Problem
, Parma_Polyhedra_Library::Octagonal_Shape< T >
, Parma_Polyhedra_Library::Octagonal_Shape< T >::Status
, Parma_Polyhedra_Library::OR_Matrix< T >
, Parma_Polyhedra_Library::Partially_Reduced_Product< D1, D2, R >
, Parma_Polyhedra_Library::PIP_Decision_Node
, Parma_Polyhedra_Library::PIP_Problem
, Parma_Polyhedra_Library::PIP_Solution_Node
, Parma_Polyhedra_Library::PIP_Solution_Node::Tableau
, Parma_Polyhedra_Library::PIP_Tree_Node::Artificial_Parameter
, Parma_Polyhedra_Library::PIP_Tree_Node
, Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >
, Parma_Polyhedra_Library::Pointset_Powerset< PSET >
, Parma_Polyhedra_Library::Poly_Con_Relation
, Parma_Polyhedra_Library::Poly_Gen_Relation
, Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Polyhedron::Status
, Parma_Polyhedra_Library::Sparse_Row
, Parma_Polyhedra_Library::Variables_Set
- ascii_load()
: Parma_Polyhedra_Library::Affine_Space
, Parma_Polyhedra_Library::Any_Pointset
, Parma_Polyhedra_Library::BD_Shape< T >
, Parma_Polyhedra_Library::BD_Shape< T >::Status
, Parma_Polyhedra_Library::Bit_Matrix
, Parma_Polyhedra_Library::Box< ITV >
, Parma_Polyhedra_Library::Box< ITV >::Status
, Parma_Polyhedra_Library::Checked_Number< T, Policy >
, Parma_Polyhedra_Library::Congruence
, Parma_Polyhedra_Library::Congruence_System
, Parma_Polyhedra_Library::Constraint
, Parma_Polyhedra_Library::Constraint_System
, Parma_Polyhedra_Library::DB_Matrix< T >
, Parma_Polyhedra_Library::Dense_Row
, Parma_Polyhedra_Library::Generator
, Parma_Polyhedra_Library::Generator_System
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::Grid::Status
, 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::Interval_Info_Null_Open< Policy >
, 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::Matrix< Row >
, Parma_Polyhedra_Library::MIP_Problem
, Parma_Polyhedra_Library::Octagonal_Shape< T >
, Parma_Polyhedra_Library::Octagonal_Shape< T >::Status
, Parma_Polyhedra_Library::OR_Matrix< T >
, Parma_Polyhedra_Library::Partially_Reduced_Product< D1, D2, R >
, Parma_Polyhedra_Library::PIP_Decision_Node
, Parma_Polyhedra_Library::PIP_Problem
, Parma_Polyhedra_Library::PIP_Solution_Node
, Parma_Polyhedra_Library::PIP_Solution_Node::Tableau
, Parma_Polyhedra_Library::PIP_Tree_Node::Artificial_Parameter
, Parma_Polyhedra_Library::PIP_Tree_Node
, Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >
, Parma_Polyhedra_Library::Pointset_Powerset< PSET >
, Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Polyhedron::Status
, Parma_Polyhedra_Library::Sparse_Row
, Parma_Polyhedra_Library::Variables_Set
- ask()
: Parma_Polyhedra_Library::Ask_Tell_Pair< D >
- Ask_Tell()
: Parma_Polyhedra_Library::Ask_Tell< D >
- Ask_Tell_Pair()
: Parma_Polyhedra_Library::Ask_Tell_Pair< D >
- asserting()
: Parma_Polyhedra_Library::In_Assert
- assign()
: Parma_Polyhedra_Library::DB_Row< T >
, Parma_Polyhedra_Library::Implementation::Watchdog::Pending_Element< Threshold >
, Parma_Polyhedra_Library::Interval< Boundary, Info >
, Parma_Polyhedra_Library::Scalar_Products
- assign_all_inequalities_approximation()
: Parma_Polyhedra_Library::Termination_Helpers
- assign_r()
: Parma_Polyhedra_Library::Checked_Number< T, Policy >
- assign_with_pending()
: Parma_Polyhedra_Library::Constraint_System
, Parma_Polyhedra_Library::Generator_System
, Parma_Polyhedra_Library::Linear_System< Row >