#include "ppl-config.h"#include "PIP_Tree_defs.hh"#include "PIP_Problem_defs.hh"#include <algorithm>#include <memory>#include <map>
Go to the source code of this file.
Namespaces | |
| Parma_Polyhedra_Library | |
| The entire library is confined to this namespace. | |
| Parma_Polyhedra_Library::IO_Operators | |
| All input/output operators are confined to this namespace. | |
Variable Documentation
| Coefficient c |
Definition at line 64 of file PIP_Tree.cc.
Referenced by Parma_Polyhedra_Library::Polyhedron::add_congruence(), Parma_Polyhedra_Library::BD_Shape< T >::add_congruence(), Parma_Polyhedra_Library::Octagonal_Shape< T >::add_congruence(), Parma_Polyhedra_Library::Polyhedron::add_congruences(), Parma_Polyhedra_Library::Linear_System< Row >::add_universe_rows_and_space_dimensions(), Parma_Polyhedra_Library::Pointset_Powerset< PSET >::affine_dimension(), Parma_Polyhedra_Library::BD_Shape< T >::affine_image(), Parma_Polyhedra_Library::Polyhedron::affine_image(), Parma_Polyhedra_Library::Congruence::affine_preimage(), Parma_Polyhedra_Library::Constraint_System::affine_preimage(), Parma_Polyhedra_Library::Polyhedron::affine_preimage(), Parma_Polyhedra_Library::Linear_Expression_Impl< Row >::ascii_load(), Parma_Polyhedra_Library::Congruence_System::ascii_load(), Parma_Polyhedra_Library::MIP_Problem::ascii_load(), Parma_Polyhedra_Library::PIP_Problem::ascii_load(), Parma_Polyhedra_Library::Implementation::Termination::assign_all_inequalities_approximation(), Parma_Polyhedra_Library::BD_Shape< T >::BD_Shape(), Parma_Polyhedra_Library::Polyhedron::BHRZ03_combining_constraints(), Parma_Polyhedra_Library::BD_Shape< T >::bounds(), Parma_Polyhedra_Library::Octagonal_Shape< T >::bounds(), Parma_Polyhedra_Library::Box< ITV >::Box(), Parma_Polyhedra_Library::C_Polyhedron::C_Polyhedron(), Parma_Polyhedra_Library::Constraint::construct_epsilon_geq_zero(), Parma_Polyhedra_Library::Polyhedron::contains_integer_point(), Parma_Polyhedra_Library::I_Constraint_Common< I_Constraint< T, Val_Or_Ref_Criteria, extended > >::convert_real(), Parma_Polyhedra_Library::Octagonal_Shape< T >::difference_assign(), Parma_Polyhedra_Library::BD_Shape< T >::difference_assign(), Parma_Polyhedra_Library::Polyhedron::drop_some_non_integer_points(), Parma_Polyhedra_Library::Polyhedron::expand_space_dimension(), Parma_Polyhedra_Library::Grid_Generator::fancy_print(), Parma_Polyhedra_Library::Generator::fancy_print(), Parma_Polyhedra_Library::fpu_set_control(), Parma_Polyhedra_Library::Box< ITV >::frequency(), Parma_Polyhedra_Library::Octagonal_Shape< T >::get_limiting_octagon(), Parma_Polyhedra_Library::BD_Shape< T >::get_limiting_shape(), Parma_Polyhedra_Library::Constraint_System::has_strict_inequalities(), Parma_Polyhedra_Library::Checked::input_mpq(), Parma_Polyhedra_Library::Polyhedron::is_included_in(), Parma_Polyhedra_Library::BD_Shape< T >::is_shortest_path_reduced(), Parma_Polyhedra_Library::Polyhedron::limited_BHRZ03_extrapolation_assign(), Parma_Polyhedra_Library::Polyhedron::limited_H79_extrapolation_assign(), Parma_Polyhedra_Library::Pointset_Powerset< PSET >::linear_partition(), Parma_Polyhedra_Library::BD_Shape< T >::max_min(), Parma_Polyhedra_Library::Octagonal_Shape< T >::max_min(), Parma_Polyhedra_Library::Linear_Expression_Impl< Row >::mul_assign(), Parma_Polyhedra_Library::Congruence::normalize(), Parma_Polyhedra_Library::Octagonal_Shape< T >::Octagonal_Shape(), Parma_Polyhedra_Library::DB_Matrix< T >::operator<<(), Parma_Polyhedra_Library::Constraint::operator=(), Parma_Polyhedra_Library::Constraint::operator>(), Parma_Polyhedra_Library::operator>>(), Parma_Polyhedra_Library::c_streambuf::overflow(), Parma_Polyhedra_Library::Checked::parse_number(), Parma_Polyhedra_Library::Checked::parse_number_part(), Parma_Polyhedra_Library::stdiobuf::pbackfail(), Parma_Polyhedra_Library::c_streambuf::pbackfail(), Parma_Polyhedra_Library::Polyhedron::poly_difference_assign(), Parma_Polyhedra_Library::MIP_Problem::process_pending_constraints(), Parma_Polyhedra_Library::Shape_Preserving_Reduction< D1, D2 >::product_reduce(), Parma_Polyhedra_Library::Box< ITV >::refine_no_check(), Parma_Polyhedra_Library::Octagonal_Shape< T >::refine_no_check(), Parma_Polyhedra_Library::BD_Shape< T >::refine_no_check(), Parma_Polyhedra_Library::Polyhedron::refine_with_congruence(), Parma_Polyhedra_Library::Polyhedron::refine_with_congruences(), Parma_Polyhedra_Library::Polyhedron::refine_with_constraints(), Parma_Polyhedra_Library::Box< ITV >::relation_with(), Parma_Polyhedra_Library::Polyhedron::relation_with(), Parma_Polyhedra_Library::Octagonal_Shape< T >::relation_with(), Parma_Polyhedra_Library::BD_Shape< T >::relation_with(), Parma_Polyhedra_Library::Constraint_System::satisfies_all_constraints(), Parma_Polyhedra_Library::Polyhedron::select_CH78_constraints(), Parma_Polyhedra_Library::BD_Shape< T >::shortest_path_reduction_assign(), Parma_Polyhedra_Library::Polyhedron::simplify_using_context_assign(), Parma_Polyhedra_Library::Grid::simplify_using_context_assign(), Parma_Polyhedra_Library::PIP_Problem::solve(), Parma_Polyhedra_Library::Polyhedron::strongly_minimize_constraints(), Parma_Polyhedra_Library::Polyhedron::topological_closure_assign(), Parma_Polyhedra_Library::c_streambuf::uflow(), Parma_Polyhedra_Library::stdiobuf::underflow(), Parma_Polyhedra_Library::Implementation::wrap_assign(), and Parma_Polyhedra_Library::Box< ITV >::wrap_assign().
| Coefficient cost |
Definition at line 617 of file PIP_Tree.cc.
| dimension_type row_index |
Definition at line 615 of file PIP_Tree.cc.
Referenced by Parma_Polyhedra_Library::Termination_Helpers::all_affine_ranking_functions_PR(), Parma_Polyhedra_Library::Termination_Helpers::all_affine_ranking_functions_PR_original(), Parma_Polyhedra_Library::Implementation::Termination::fill_constraint_system_PR(), Parma_Polyhedra_Library::Implementation::Termination::fill_constraint_system_PR_original(), Parma_Polyhedra_Library::Termination_Helpers::one_affine_ranking_function_PR(), Parma_Polyhedra_Library::Termination_Helpers::one_affine_ranking_function_PR_original(), Parma_Polyhedra_Library::Grid::reduce_reduced(), and Parma_Polyhedra_Library::Grid::simplify().
| Coefficient value |
Definition at line 618 of file PIP_Tree.cc.
Referenced by Parma_Polyhedra_Library::PIP_Problem::ascii_dump(), Parma_Polyhedra_Library::PIP_Problem::ascii_load(), Parma_Polyhedra_Library::Constant_Floating_Point_Expression< FP_Interval_Type, FP_Format >::Constant_Floating_Point_Expression(), Parma_Polyhedra_Library::Polyhedron::frequency(), Parma_Polyhedra_Library::Val_Or_Ref< T, Criteria, typename Enable_If<!Use_By_Ref< Criteria, T >::value >::type >::get(), Parma_Polyhedra_Library::Constant_Floating_Point_Expression< FP_Interval_Type, FP_Format >::linearize(), Parma_Polyhedra_Library::Constant_Floating_Point_Expression< FP_Interval_Type, FP_Format >::m_swap(), Parma_Polyhedra_Library::OR_Matrix< T >::any_row_iterator< U >::operator*(), Parma_Polyhedra_Library::OR_Matrix< T >::any_row_iterator< U >::operator++(), Parma_Polyhedra_Library::OR_Matrix< T >::any_row_iterator< U >::operator+=(), Parma_Polyhedra_Library::OR_Matrix< T >::any_row_iterator< U >::operator--(), Parma_Polyhedra_Library::OR_Matrix< T >::any_row_iterator< U >::operator->(), Parma_Polyhedra_Library::OR_Matrix< T >::any_row_iterator< U >::operator=(), Parma_Polyhedra_Library::CO_Tree::rebalance(), Parma_Polyhedra_Library::Interval_Info_Bitset< T, Policy >::set_boundary_property(), Parma_Polyhedra_Library::MIP_Problem::set_control_parameter(), Parma_Polyhedra_Library::PIP_Problem::set_control_parameter(), and Parma_Polyhedra_Library::Interval_Info_Bitset< T, Policy >::set_interval_property().
