#include <sc-local.h>
Collaboration diagram for Ssysteme:
Data Fields | |
| Pcontrainte | egalites |
| Pcontrainte | inegalites |
| int | nb_eq |
| int | nb_ineq |
| int | dimension |
| Pbase | base |
Detailed Description
Definition at line 69 of file sc-local.h.
Field Documentation
◆ base
| Pbase Ssysteme::base |
Definition at line 75 of file sc-local.h.
Referenced by add_var_sup(), adg_compact_quast(), adg_dataflowgraph(), adg_dataflowgraph_with_extremities(), adg_dup_disjunctive_nodes(), adg_get_predicate_of_loops(), adg_path_max_source(), adg_sc_update_base(), adg_update_dfg(), algorithm_row_echelon_generic(), analyze_quast(), args_to_transformer(), base_complete(), better_elim_var_with_eg(), broadcast_of_dataflow(), build_and_test_dependence_context(), build_integer_sc_nredund(), build_sc_machine(), build_sc_nredund_1pass_ofl_ctrl(), build_sc_nredund_2pass_ofl_ctrl(), build_sc_with_several_uniform_ref(), build_third_comb(), cell_reference_sc_exact_projection_along_variable(), completer_base(), completer_n_base(), compute_iteration_domain(), compute_region_variables(), constrs_of_sc(), converti_psysmin_psysmax(), creer_predicat(), ecrit_coeff1(), ecrit_commentaire2(), ecrit_probleme2(), ecrit_tableau2(), elim_var_with_eg(), evaluate_var_to_complexity(), expression_less_than_in_context(), find_eg(), find_motif(), find_pattern(), fortran_user_call_to_transformer(), include_parameters_in_sc(), include_trans_in_sc(), interlaced_basic_workchunk_regions_p(), is_mu_stat_in_sc(), local_tile_constraints(), loop_bounds_to_tile_bounds(), loop_index_domaine_to_contrainte(), main(), make_causal_external(), make_causal_internal(), make_dual(), matrix_to_system(), movement_computation(), my_system_remove_variables(), new_elim_var_with_eg(), new_ident(), plc_elim_var_with_eg(), plc_make_distance(), plint(), plreal(), precondition_intra_to_inter(), prepare_reindexing(), primal(), primal_positive(), prototype_dimension(), rec_ident(), region_dynamic_var_elim(), region_exact_projection_along_parameters(), region_exact_projection_along_variable(), region_sc_minimal(), region_sc_projection_ofl_along_parameter(), region_translation(), regions_must_convex_hull(), remove_temporal_variables_from_system(), sc_add_new_variable_name(), sc_append(), sc_build_triang_elim_redund(), sc_concatenate(), sc_constraint_add(), sc_copy(), sc_cute_convex_hull(), sc_default_dump(), sc_dump(), sc_elim_redund_with_first_ofl_ctrl(), sc_faisabilite_optim(), sc_fix(), sc_fprint(), sc_fprint_for_sc_fscan(), sc_gen_read(), sc_gen_write(), sc_image_computation(), sc_init_with_sc(), sc_lexicographic_sort(), sc_make(), sc_min(), sc_multiply_constant_terms(), sc_new(), sc_of_constrs(), sc_proj_on_di(), sc_projection_concat_proj_on_variables(), sc_projection_ofl_along_list_of_variables(), sc_projection_optim_along_vecteur_ofl(), sc_restricted_to_variables_transitive_closure(), sc_safe_append(), sc_safe_elim_db_constraints(), sc_sort(), sc_sort_constraints(), sc_sort_constraints_simplest_first(), sc_substitute_dimension(), sc_supress_parallel_redund_constraints(), sc_supress_same_constraints(), sc_to_iproblem(), sc_to_matrix(), sc_triang_elim_redund(), sc_union(), search_scc_bdt(), sg_of_sc(), simplify_minmax_contrainte(), syst_smith(), system_contains_var(), system_new_var_subst(), TestDependence(), transform_in_ineq(), transformer_add_sign_information(), transformer_add_value_update(), transformer_add_variable_incrementation(), transformer_add_variable_update(), transformer_combine(), transformer_convex_hulls(), transformer_derivative_fix_point(), transformer_filter(), transformer_list_generic_transitive_closure(), transformer_normalize(), transformer_projection_with_redundancy_elimination_and_check(), transformer_value_substitutable_p(), transformer_value_substitute(), translate_to_module_frame(), valuer(), and var_ecart_sup().
◆ dimension
| int Ssysteme::dimension |
Definition at line 74 of file sc-local.h.
Referenced by add_var_sup(), algorithm_row_echelon_generic(), args_to_transformer(), build_integer_sc_nredund(), build_sc_machine(), build_sc_with_several_uniform_ref(), constrs_of_sc(), converti_psysmin_psysmax(), creer_Psysteme(), ecrit_coeff1(), ecrit_probleme2(), find_eg(), include_parameters_in_sc(), internal_sc_feasibility(), local_tile_constraints(), loop_bounds_to_tile_bounds(), loop_index_domaine_to_contrainte(), movement_computation(), new_ident(), parallel_tiling(), plint(), plreal(), primal(), primal_positive(), sc_add_new_variable_name(), sc_constraint_add(), sc_copy(), sc_default_dump(), sc_dump(), sc_elim_redund_with_first_ofl_ctrl(), sc_enumerate(), sc_feasibility_ofl_ctrl(), sc_fourier_motzkin_feasibility_ofl_ctrl_timeout_ctrl(), sc_fprint(), sc_fprint_for_sc_fscan(), sc_gen_read(), sc_init_with_sc(), sc_janus_feasibility_ofl_ctrl_timeout_ctrl(), sc_multiply_constant_terms(), sc_new(), sc_of_constrs(), sc_resol_smith(), sc_restricted_to_variables_transitive_closure(), sc_simplexe_feasibility_ofl_ctrl_timeout_ctrl(), sc_to_iproblem(), smith_int(), syst_smith(), test_file(), TestDependence(), transformer_add_sign_information(), transformer_add_value_update(), transformer_add_variable_incrementation(), transformer_add_variable_update(), transformer_derivative_fix_point(), transformer_filter(), transformer_list_generic_transitive_closure(), transformer_normalize(), transformer_projection_with_redundancy_elimination_and_check(), and var_ecart_sup().
◆ egalites
| Pcontrainte Ssysteme::egalites |
Definition at line 70 of file sc-local.h.
Referenced by adg_fprint_psysteme(), adg_fprint_sc_pvecteur(), better_elim_var_with_eg(), broadcast_conditions(), broadcast_of_dataflow(), build_contraction_matrices(), build_integer_sc_nredund(), build_list_of_min(), build_sc_nredund_1pass_ofl_ctrl(), build_third_comb(), calculate_delay(), communication_dim(), constrs_of_sc(), converti_psysmin_psysmax(), count_eq_occ(), dj_simple_inegs_to_eg(), dj_system_complement(), ecrit_tableau2(), egalite_distribution(), elim_var_with_eg(), evaluate_var_to_complexity(), extract_common_syst(), find_implicit_equation(), fprint_bdt(), fprint_bdt_with_stat(), fprint_psysteme(), fprint_sc_pvecteur(), full_predicate_p(), include_trans_on_LC_in_ref(), make_bound_expression(), make_reindex(), mapping_on_broadcast(), new_elim_var_with_eg(), partial_broadcast_coefficients(), predicate_to_expression(), prepare_reindexing(), print_call_precondition(), prototype_dimension(), region_sc_minimal(), region_sc_projection_ofl_along_parameter(), sc_add_di(), sc_add_dsi(), sc_add_egalite(), sc_add_egalite_at_end(), sc_belongs_p(), sc_chg_var(), sc_concatenate(), sc_consistent_p(), sc_copy(), sc_default_dump(), sc_dump(), sc_elim_redund(), sc_elim_var(), sc_fix(), sc_fprint(), sc_fprint_for_sc_fscan(), sc_fusion(), sc_gcd_normalize(), sc_gen_write(), sc_internal_p(), sc_lexicographic_sort(), sc_make(), sc_min(), sc_multiply_constant_terms(), sc_new(), sc_normalize(), sc_normalize2(), sc_of_constrs(), sc_projection_optim_along_vecteur_ofl(), sc_remove_large_coef(), sc_resol_smith(), sc_safe_elim_db_constraints(), sc_simplex_feasibility_ofl_ctrl_fixprec(), sc_sort(), sc_substitute_dimension(), sc_to_iproblem(), sc_to_matrix(), sc_to_minimal_basis(), sc_weak_consistent_p(), separate_variables(), separate_variables_2(), show_nredund(), simplify_float_constraint_system(), simplify_predicate(), sl_fprint_tab(), smith_int(), sort_eq_in_systems(), sys_int_fais(), system_inversion_restrict(), table_init_set_systeme(), transform_in_ineq(), transitive_closure_system(), translate_to_module_frame(), and valuer().
◆ inegalites
| Pcontrainte Ssysteme::inegalites |
Definition at line 71 of file sc-local.h.
Referenced by adg_fprint_psysteme(), adg_fprint_sc_pvecteur(), better_elim_var_with_eg(), bound_generation(), build_integer_sc_nredund(), build_list_of_min(), build_sc_machine(), build_sc_nredund_1pass_ofl_ctrl(), build_sc_with_several_uniform_ref(), combiner_ofl_with_test(), constraint_distribution(), constrs_of_sc(), converti_psysmin_psysmax(), creer_Psysteme(), dj_simple_inegs_to_eg(), dj_system_complement(), ecrit_coeff1(), ecrit_tableau2(), elim_redund_sc_with_sc(), extract_common_syst(), find_implicit_equation(), fprint_bdt(), fprint_bdt_with_stat(), fprint_psysteme(), fprint_sc_pvecteur(), free_guards(), full_predicate_p(), get_bounds_expression(), hyperplane(), include_trans_in_sc(), loop_iteration_domaine_to_sc(), lower_bound_generation(), make_bound_expression(), movement_computation(), new_elim_var_with_eg(), pa_path_to_few_disjunct_ofl_ctrl(), predicate_to_expression(), print_call_precondition(), region_sc_projection_ofl_along_parameter(), sc_add_di(), sc_add_dsi(), sc_add_inegalite(), sc_belongs_p(), sc_build_triang_elim_redund(), sc_chg_var(), sc_concatenate(), sc_consistent_p(), sc_copy(), sc_default_dump(), sc_dump(), sc_elim_redund_with_first_ofl_ctrl(), sc_elim_var(), sc_fix(), sc_fprint(), sc_fprint_for_sc_fscan(), sc_fusion(), sc_gcd_normalize(), sc_gen_write(), sc_image_computation(), sc_inequations_elim_redund(), sc_integer_projection_information(), sc_internal_p(), sc_lexicographic_sort(), sc_make(), sc_min(), sc_multiply_constant_terms(), sc_new(), sc_normalize(), sc_of_constrs(), sc_projection_optim_along_vecteur_ofl(), sc_remove_large_coef(), sc_safe_elim_db_constraints(), sc_simplex_feasibility_ofl_ctrl_fixprec(), sc_sort(), sc_sort_constraints(), sc_sort_constraints_simplest_first(), sc_substitute_dimension(), sc_supress_parallel_redund_constraints(), sc_to_iproblem(), sc_to_matrix(), sc_to_minimal_basis(), sc_triang_elim_redund(), sc_weak_consistent_p(), show_nredund(), simplify_big_coeff(), simplify_float_constraint_system(), simplify_minmax_contrainte(), simplify_predicate(), sl_fprint_tab(), sys_int_fais(), system_new_var_subst(), table_init_set_systeme(), test_bound_generation(), transform_in_ineq(), transitive_closure_system(), translate_to_module_frame(), unimodular(), and upper_bound_generation().
◆ nb_eq
| int Ssysteme::nb_eq |
Definition at line 72 of file sc-local.h.
Referenced by adg_get_predicate_of_loops(), adg_sc_update_base(), broadcast_conditions(), broadcast_of_dataflow(), build_contraction_matrices(), build_sc_nredund_1pass_ofl_ctrl(), build_third_comb(), constrs_of_sc(), count_implicit_equation(), ecrit_probleme2(), huge_system(), mapping_on_broadcast(), pa_max_constraints_nb(), pa_reduce_simple_complement(), partial_broadcast_coefficients(), prepare_reindexing(), prototype_dimension(), sc_add_egalite(), sc_add_egalite_at_end(), sc_concatenate(), sc_consistent_p(), sc_copy(), sc_elim_redund_with_first_ofl_ctrl(), sc_elim_var(), sc_enumerate(), sc_fix(), sc_fprint(), sc_fusion(), sc_make(), sc_new(), sc_of_constrs(), sc_projection_optim_along_vecteur_ofl(), sc_remove_large_coef(), sc_resol_smith(), sc_to_iproblem(), sc_to_matrix(), sc_weak_consistent_p(), sl_max_constraints_nb(), smith_int(), system_inversion_restrict(), table_init_set_systeme(), test_file(), TestDependence(), transform_in_ineq(), and valuer().
◆ nb_ineq
| int Ssysteme::nb_ineq |
Definition at line 73 of file sc-local.h.
Referenced by adg_get_predicate_of_loops(), adg_sc_update_base(), build_integer_sc_nredund(), build_list_of_min(), build_sc_nredund_1pass_ofl_ctrl(), build_sc_with_several_uniform_ref(), build_third_comb(), combiner_ofl_with_test(), constrs_of_sc(), creer_Psysteme(), dj_simple_inegs_to_eg(), ecrit_probleme2(), get_bounds_expression(), huge_system(), hyperplane(), loop_iteration_domaine_to_sc(), pa_max_constraints_nb(), pa_reduce_simple_complement(), prepare_array_bounds(), prepare_reindexing(), sc_add_inegalite(), sc_concatenate(), sc_consistent_p(), sc_copy(), sc_elim_redund_with_first_ofl_ctrl(), sc_elim_var(), sc_enumerate(), sc_fix(), sc_fprint(), sc_fusion(), sc_image_computation(), sc_make(), sc_new(), sc_of_constrs(), sc_projection_optim_along_vecteur_ofl(), sc_remove_large_coef(), sc_to_iproblem(), sc_triang_elim_redund(), sc_weak_consistent_p(), simplify_minmax_contrainte(), sl_max_constraints_nb(), table_init_set_systeme(), test_file(), transform_in_ineq(), translate_to_module_frame(), and unimodular().
The documentation for this struct was generated from the following files:
- linear/src/sc/sc-local.h
- linear/src/sc/sc.h
