PIPS
|
le type des coefficients dans les vecteurs: Value est defini dans le package arithmetique More...
#include <vecteur-local.h>
Data Fields | |
Variable | var |
Value | val |
struct Svecteur * | succ |
le type des coefficients dans les vecteurs: Value est defini dans le package arithmetique
STRUCTURE D'UN VECTEUR
Un vecteur est defini par une suite de couples Variable (i.e. element de la base) et Valeur (valeur du coefficient correspondant). Les coordonnees nulles ne sont pas representees et n'existe qu'implicitement par rapport a une base (hypothetique) definie via la package "variable".
En consequence, le vecteur nul est (malencontreusement) represente par NULL. Cela gene toutes les procedures succeptibles de retourner une valeur vecteur nul par effet de bord. Il faut alors passer en argument un POINTEUR vers un Pvecteur. En general, nous avons prefere retourner explicitement le vecteur calcule, a la maniere de ce qui est fait dans string.h
Il n'existe pas non plus de VECTEUR_UNDEFINED, puisque sa valeur devrait logiquement etre NULL.
Definition at line 89 of file vecteur-local.h.
struct Svecteur * Svecteur::succ |
Definition at line 92 of file vecteur-local.h.
Referenced by add_coeff_vect(), add_fin_mat(), add_var_sup(), adg_contrainte_fprint(), algorithm_row_echelon_generic(), algorithm_tiling(), append_to(), array_indices_communication(), array_scalar_access_to_bank_communication(), array_scalar_access_to_compute_communication(), base_append(), base_copy(), base_difference(), base_dup(), base_find_var_with_rank(), base_fprint(), base_included_p(), base_normalize(), base_normalized_p(), base_to_entities(), base_to_list(), base_to_set(), base_union(), block_to_complexity(), bound_generation(), build_and_test_dependence_context(), build_esv_list(), build_image_base(), build_sc_machine(), build_sc_with_several_uniform_ref(), build_transfer_equations(), build_transfer_matrix(), choose_pattern(), chose_variable_to_project_for_feasability(), code_generation(), coeff_no_ligne(), compare_the_constraints(), compute_region_variables(), config_vecteur(), constr_set_contrainte(), constraint_without_vars(), constraints_to_loop_bound(), constraints_to_matrices(), constraints_with_sym_cst_to_matrices(), constrs_of_sc(), contains_variables(), contrainte_simple_equality(), contrainte_to_matrix_ligne(), contrainte_to_text_1(), contrainte_to_text_2(), contraintes_to_expression(), contraintes_with_sym_cst_to_matrices(), converti_psysmin_psysmax(), cost_of_constant_operations(), cout_nul(), create_tile_basis(), cst_vector_p(), dbg_vect_rm(), decision_data(), derive_new_basis(), derive_new_basis_deux(), derive_new_basis_une(), di_polynome_var_subst_null(), dj_variable_substitution_with_eqs_ofl_ctrl(), ecrit_coeff1(), ecrit_commentaire2(), ecrit_ligne(), ecrit_liste_vecteur(), ecrit_une_var(), egalites_to_matrice(), entity_list_to_base(), eq_in_ineq(), equations_to_bases(), erase_trivial_ineg(), evaluate_divide_if_possible(), evaluate_var_to_complexity(), expression_less_than_in_context(), final_statement_to_complexity_evaluation(), find_motif(), find_pattern(), find_vbase(), fonct_max_all(), fonct_max_d(), fonct_min_all(), fonct_min_d(), fonct_read(), fprint_contrainte_vecteur(), generic_transformer_intra_to_inter(), get_m_coef(), gomory_trait_eq(), heuristique_1(), heuristique_3(), Hierarchical_tiling(), highest_rank_pvector(), hyperplane(), init_new_base(), is_good_direction_p(), is_var_in_lvbase(), legal_point_p(), level_contrainte(), locally_constant_vector_p(), loop_bounds_to_tile_bounds(), loop_nest_to_tile(), loop_nest_to_wp65_code(), loop_sc_to_matrices(), lvbase_add(), lvbase_ote_no_ligne(), main(), make_base_from_vect(), make_datum_movement(), make_loop_indice_equation(), make_movements_loop_body_wp65(), make_scanning_over_one_tile(), mat_sys_conv(), matrice_index_sys(), matrices_to_constraints(), matrices_to_constraints_with_sym_cst(), matrices_to_contraintes_with_sym_cst(), matrices_to_loop_sc(), matrices_to_sc(), mk_rn(), movement_computation(), my_constraints_with_sym_cst_to_matrices(), my_matrices_to_constraints_with_sym_cst(), my_matrices_to_constraints_with_sym_cst_2(), my_system_remove_variables(), my_vect_substract(), my_vecteur_to_polynome(), new_value_in_transfer_equation(), nlc_linear_expression_p(), old_prototype_factorize(), old_vecteur_to_polynome(), opp_var_in_mat(), oter_lvbase(), parallel_tiling(), pivoter_pas(), plint_degen(), polynome_to_vecteur(), precondition_intra_to_inter(), primal_pivot(), print_cone_vecteur(), print_fullname_base(), print_vect_in_vertice_val(), prototype_factorize(), prototype_var_subst(), pu_contrainte_fprint(), pu_contraintes_to_matrices(), pu_matrices_to_contraintes(), pu_vect_fprint(), Pvecteur_separate_on_sign(), pvecteur_to_polynome(), rank_of_variable(), region_consistent_p(), region_dynamic_var_elim(), region_sc_projection_along_variables_ofl_ctrl(), region_sc_projection_ofl_along_parameters(), remove_temporal_variables_from_system(), sc_change_baseindex(), sc_consistent_p(), sc_find_equalities(), sc_fprint(), sc_image_computation(), sc_invers(), sc_min(), sc_minmax_of_variable(), sc_minmax_of_variable2(), sc_minmax_of_variable_optim(), sc_minmax_of_variables(), sc_multiply_constant_terms(), sc_proj_on_di(), sc_proj_optim_on_di_ofl(), sc_projection_concat_proj_on_variables(), sc_projection_optim_along_vecteur_ofl(), sc_restricted_to_variables_transitive_closure(), sc_safe_append(), sc_simplex_feasibility_ofl_ctrl_fixprec(), sc_to_iproblem(), sc_to_matrices(), sc_to_matrix(), sc_to_minimal_basis(), sc_to_vvs(), sc_value_of_variable(), sc_variables_rename(), sc_weak_consistent_p(), scanners_then_others(), scanning_base_to_vect(), search_higher_rank(), search_var_of_higher_rank(), sg_fprint_as_ddv(), simplify_sc_to_complexity(), sl_fprint_tab(), sort_tile_indices(), sp_linear_expression_p(), splc_linear_expression_p(), sub_basis_p(), sys_mat_conv(), sys_matrice_index(), test_borne(), TestDependence(), Tiling2_buffer(), Tiling_buffer_allocation(), tiling_transformation(), transfer_equation_p(), transformer_derivative_constraints(), transformer_derivative_fix_point(), transformer_general_consistency_p(), transformer_list_generic_transitive_closure(), transitive_closure_pass(), translate_complexity_from_local_to_current_name(), translate_global_values(), translate_to_module_frame(), unimodular(), update_basis(), value_mappings_compatible_vector_p(), var_ecart_sup(), var_pivotd(), var_pivots(), var_posit(), variable_of_rank(), vec_set_vecteur(), vect_add(), vect_add_elem(), vect_add_first(), vect_chain(), vect_change_base(), vect_check(), vect_chg_coeff(), vect_chg_var(), vect_chg_var_sign(), vect_cl_ofl_ctrl(), vect_clean(), vect_coeff(), vect_coeff_sum(), vect_common_variables_p(), vect_contains_phi_p(), vect_copy(), vect_dimension(), vect_div(), vect_dup(), vect_equal(), vect_equal_except(), vect_erase_var(), vect_extract(), vect_fprint(), vect_fprint_as_dense(), vect_gen_allocated_memory(), vect_gen_write(), vect_in_basis_p(), vect_in_p(), vect_larger_coef_p(), vect_lexicographic_coefficient_comparison(), vect_lexicographic_unsafe_compare_generic(), vect_multiply(), vect_new(), vect_one_coeff_if_any(), vect_oppos(), vect_opposite_except(), vect_pgcd_except(), vect_printout_order_decided_p(), vect_proport(), vect_read(), vect_rename(), vect_rename_variables(), vect_reversal(), vect_rm(), vect_same_variables_p(), vect_sign(), vect_simple_definition_p(), vect_sort_in_place(), vect_sprint_as_monome(), vect_substract(), vect_sum(), vect_translate(), vect_variable_rename(), vecteur_lower_bound(), vecteur_mult(), vecteur_nul_p(), vecteur_to_list(), vecteur_to_polynome(), xml_Boxes(), xml_LoopOffset(), xml_Pattern_Paving(), xml_tiling(), and zmat_set_row().
Value Svecteur::val |
Definition at line 91 of file vecteur-local.h.
Referenced by add_coeff_vect(), add_var_sup(), adg_contrainte_fprint(), choose_pattern(), coeff_no_ligne(), config_vecteur(), constr_set_contrainte(), cout_nul(), eq_in_ineq(), erase_trivial_ineg(), find_vbase(), get_m_coef(), gomory_trait_eq(), is_var_in_lvbase(), level_contrainte(), lvbase_add(), lvbase_ote_no_ligne(), matrice_index_sys(), old_vecteur_to_polynome(), opp_var_in_mat(), pivoter_pas(), primal_pivot(), print_call_precondition(), pu_contrainte_fprint(), pu_vect_fprint(), sc_elim_db_constraints(), sc_elim_double_constraints(), sc_kill_db_eg(), sc_min(), sc_safe_elim_db_constraints(), sc_safe_kill_db_eg(), sc_simplex_feasibility_ofl_ctrl_fixprec(), sc_to_vvs(), simplify_big_coeff(), simplify_sc_to_complexity(), test_borne(), var_ecart_sup(), var_pivotd(), var_pivots(), vec_set_vecteur(), vect_change_base(), vect_chg_coeff(), vect_chg_var_sign(), vect_clean(), vect_fprint(), vect_one_coeff_if_any(), vect_sprint_as_monome(), and vecteur_mult().
Variable Svecteur::var |
Definition at line 90 of file vecteur-local.h.
Referenced by add_coeff_vect(), add_var_sup(), adg_contrainte_fprint(), algorithm_row_echelon_generic(), array_indices_communication(), array_scalar_access_to_bank_communication(), array_scalar_access_to_compute_communication(), base_find_var_with_rank(), base_fprint(), base_to_list(), base_to_set(), block_to_complexity(), bound_generation(), build_esv_list(), build_image_base(), build_sc_with_several_uniform_ref(), choose_pattern(), code_generation(), coeff_no_ligne(), compute_region_variables(), config_vecteur(), constr_set_contrainte(), contains_variables(), contrainte_simple_equality(), converti_psysmin_psysmax(), cout_nul(), cst_vector_p(), derive_new_basis(), derive_new_basis_deux(), derive_new_basis_une(), di_polynome_var_subst_null(), dj_variable_substitution_with_eqs_ofl_ctrl(), do_group_statement_constant(), ecrit_coeff1(), ecrit_commentaire2(), ecrit_ligne(), ecrit_une_var(), ecrit_une_var_neg(), eq_in_ineq(), final_statement_to_complexity_evaluation(), find_vbase(), get_m_coef(), Hierarchical_tiling(), hyperplane(), instruction_to_wp65_code(), is_var_in_lvbase(), level_contrainte(), loop_bounds_to_tile_bounds(), loop_nest_to_wp65_code(), main(), make_base_from_vect(), make_load_blocks(), make_loop_indice_equation(), make_store_blocks(), matrice_index_sys(), nlc_linear_expression_p(), old_prototype_factorize(), old_vecteur_to_polynome(), opp_var_in_mat(), oter_lvbase(), parallel_tiling(), pivoter_pas(), plint_degen(), polynome_to_vecteur(), primal_pivot(), print_call_precondition(), print_fullname_base(), print_vect_in_vertice_val(), prototype_factorize(), prototype_var_subst(), pu_contrainte_fprint(), pu_vect_fprint(), region_dynamic_var_elim(), sc_change_baseindex(), sc_consistent_p(), sc_elim_db_constraints(), sc_elim_double_constraints(), sc_image_computation(), sc_kill_db_eg(), sc_min(), sc_minmax_of_variable2(), sc_projection_optim_along_vecteur_ofl(), sc_safe_elim_db_constraints(), sc_safe_kill_db_eg(), sc_simplex_feasibility_ofl_ctrl_fixprec(), sc_to_vvs(), sc_value_of_variable(), sc_variables_rename(), sc_weak_consistent_p(), scanning_base_to_vect(), simple_indices_p(), simplify_sc_to_complexity(), sp_linear_expression_p(), splc_linear_expression_p(), sys_matrice_index(), test_borne(), TestDependence(), Tiling2_buffer(), Tiling_buffer_allocation(), tiling_transformation(), translate_complexity_from_local_to_current_name(), translate_to_module_frame(), unimodular(), update_basis(), var_ecart_sup(), var_pivots(), vec_set_vecteur(), vect_add_first(), vect_change_base(), vect_chg_coeff(), vect_chg_var(), vect_chg_var_sign(), vect_coeff_sum(), vect_erase_var(), vect_fprint(), vect_gen_write(), vect_one_coeff_if_any(), vect_sprint_as_monome(), vecteur_mult(), vecteur_to_list(), xml_Boxes(), and xml_LoopOffset().