#include <contrainte-local.h>
Collaboration diagram for Scontrainte:
Data Fields | |
| int * | eq_sat |
| int * | s_sat |
| int * | r_sat |
| Pvecteur | vecteur |
| struct Scontrainte * | succ |
Detailed Description
Definition at line 86 of file contrainte-local.h.
Field Documentation
◆ eq_sat
| int * Scontrainte::eq_sat |
Definition at line 87 of file contrainte-local.h.
Referenced by compare_eq_occ(), contrainte_free(), contrainte_new(), count_eq_occ(), and eq_in_ineq().
◆ r_sat
| int * Scontrainte::r_sat |
Definition at line 88 of file contrainte-local.h.
Referenced by contrainte_free(), and contrainte_new().
◆ s_sat
| int * Scontrainte::s_sat |
Definition at line 88 of file contrainte-local.h.
Referenced by contrainte_free(), and contrainte_new().
◆ succ
| struct Scontrainte * Scontrainte::succ |
Definition at line 90 of file contrainte-local.h.
Referenced by add_equivalence_equality(), add_fin_mat(), adg_fprint_psysteme(), adg_fprint_sc_pvecteur(), adg_sc_dup(), adg_suppress_2nd_in_1st_ps(), append_eg(), apply_farkas(), better_elim_var_with_eg(), bound_compute(), bound_distribution(), broadcast_conditions(), broadcast_of_dataflow(), build_contraction_matrices(), build_integer_sc_nredund(), build_list_of_min(), build_sc_machine(), build_sc_nredund_1pass_ofl_ctrl(), build_sc_with_several_uniform_ref(), build_third_comb(), build_transfer_equations(), build_transfer_matrix(), change_base_in_sc(), chose_variable_to_project_for_feasability(), combiner_ofl_with_test(), communication_dim(), constraint_distribution(), constraint_rank(), constraint_to_bound(), constraints_for_bounds(), constraints_lexicographic_sort_generic(), constraints_nb_phi_eq(), constraints_sort_info(), constraints_to_loop_bound(), constraints_to_matrices(), constraints_with_sym_cst_to_matrices(), constraints_without_vars(), constrs_of_sc(), contrainte_append(), contrainte_dup_extract(), contrainte_extract(), contrainte_free(), contrainte_gen_allocated_memory(), contrainte_in_liste(), contrainte_new(), contrainte_remove_large_coef(), contrainte_var_min_coeff(), contrainte_vect_sort(), contraintes_copy(), contraintes_dup(), contraintes_free(), contraintes_text_format(), contraintes_to_expression(), contraintes_to_list(), contraintes_with_sym_cst_to_matrices(), converti_psysmin_psysmax(), count_eq_occ(), create_farkas_poly(), creer_eg(), creer_ineg(), cyclic_constraint_list_p(), decision_data(), dj_simple_inegs_to_eg(), dj_system_complement(), dj_variable_substitution_with_eqs_ofl_ctrl(), ecrit_tableau2(), egalite_distribution(), egalite_in_liste(), egalites_fprint(), egalites_to_matrice(), elim_redund_sc_with_sc(), elim_var_with_eg(), eq_in_ineq(), eq_var_nophi_min_coeff(), eq_var_phi(), equations_to_bases(), erase_trivial_ineg(), expressions_to_vectors(), extract_common_constraints(), extract_nredund_subsystem(), find_implicit_equation(), find_motif(), find_pattern(), fprint_bdt(), fprint_bdt_with_stat(), fprint_psysteme(), fprint_sc_pvecteur(), free_guards(), generic_minmax_to_transformer(), get_bounds_expression(), gomory_eq(), hyperplane(), include_trans_in_sc(), include_trans_on_LC_in_ref(), inegalites_fprint(), insert_2ineq_end_sc(), insert_ineq_begin_sc(), insert_ineq_end_sc(), integer_divide_to_transformer(), integer_power_to_transformer(), integer_right_shift_to_transformer(), list_to_contraintes(), loop_sc_to_matrices(), lower_bound_generation(), make_bound_expression(), make_bounds(), make_dual(), make_reindex(), make_vvs_from_sc(), mapping_on_broadcast(), move_n_first_constraints(), my_clean_ps(), my_constraints_with_sym_cst_to_matrices(), my_sc_normalize(), nb_elems_list(), new_elim_var_with_eg(), norm_syst(), opp_var_in_mat(), Pcontrainte_separate_on_vars(), Pcontrainte_to_expression_list(), phi_free_contraints_to_expressions(), plc_elim_var_with_eg(), predicate_to_expression(), prepare_reindexing(), print_call_precondition(), psystem_to_expression(), pu_contraintes_to_matrices(), region_consistent_p(), region_range_nul_p(), safe_nb_elems_list(), sc_add_di(), sc_add_dsi(), sc_add_egalite(), sc_add_egalite_at_end(), sc_add_inegalite(), sc_add_normalize_eq(), sc_add_normalize_ineq(), sc_append(), sc_belongs_p(), sc_chg_var(), sc_concatenate(), sc_consistent_p(), sc_constrains_variable_p(), sc_dup1(), sc_elim_db_constraints(), sc_elim_double_constraints(), sc_elim_empty_constraints(), sc_elim_redund(), sc_elim_redund_with_first_ofl_ctrl(), sc_elim_simple_redund_with_eq(), sc_elim_simple_redund_with_ineq(), sc_elim_triang_integer_redund_constraint_p(), sc_elim_var(), sc_find_equalities(), sc_force_variable_to_zero(), sc_fprint(), sc_free1(), sc_fusion(), sc_gcd_normalize(), sc_gen_write(), sc_image_computation(), sc_inequations_elim_redund(), sc_integer_projection_information(), sc_internal_p(), sc_invers(), sc_kill_db_eg(), sc_min(), sc_minmax_of_variable(), sc_minmax_of_variable_optim(), sc_multiply_constant_terms(), sc_normalize(), sc_normalize2(), sc_of_constrs(), sc_oppose(), sc_rename_variables(), sc_restricted_to_variables_transitive_closure(), sc_reversal(), sc_reverse_constraints(), sc_rm_empty_constraints(), sc_safe_append(), sc_safe_elim_db_constraints(), sc_safe_kill_db_eg(), sc_simplex_feasibility_ofl_ctrl_fixprec(), sc_substitute_dimension(), sc_supress_parallel_redund_constraints(), sc_supress_same_constraints(), sc_to_iproblem(), sc_to_matrices(), sc_to_matrix(), sc_to_minimal_basis(), sc_to_tableau(), sc_to_vvs(), sc_transform_eg_in_ineg(), sc_transform_ineg_in_eg(), sc_translate(), sc_triang_elim_redund(), sc_triang_elim_redund_n_first(), sc_value_of_variable(), sc_variable_rename(), sc_weak_consistent_p(), separate_variables(), separate_variables_2(), set_information_for_code_optimizations(), show_nredund(), simplify_big_coeff(), simplify_dimension(), simplify_float_constraint_system(), simplify_minmax_contrainte(), simplify_predicate(), sl_fprint_tab(), solve_system_by_succ_elim(), some_phi_variable(), suppress_sc_in_sc(), sys_int_redond(), sys_mat_conv(), sys_matrice_index(), system_new_var_subst(), table_init_set_systeme(), test_bound_generation(), transform_in_ineq(), transformer_equalities_add(), transitive_closure_pass(), translate_to_module_frame(), unimodular(), upper_bound_generation(), valuer(), var_in_lcontrainte_p(), var_with_unity_coeff_p(), vectors_to_expressions(), and xml_Region_Range().
◆ vecteur
| Pvecteur Scontrainte::vecteur |
Definition at line 89 of file contrainte-local.h.
Referenced by add_fin_mat(), adg_suppress_2nd_in_1st_ps(), apply_farkas(), better_elim_var_with_eg(), bound_distribution(), bound_redund_with_sc_p(), bounds_equal_p(), broadcast_conditions(), broadcast_of_dataflow(), build_contraction_matrices(), build_integer_sc_nredund(), build_list_of_min(), build_sc_machine(), build_sc_with_several_uniform_ref(), build_third_comb(), calculate_delay(), change_base_in_sc(), combiner_ofl_with_test(), completer_n_base(), complex_bound_computation(), constr_set_contrainte(), constraint_distribution(), constraint_integer_combination(), constraint_to_bound(), constraints_for_bounds(), constraints_nb_phi_eq(), constraints_sort_info(), constraints_to_loop_bound(), constraints_to_matrices(), constraints_with_sym_cst_to_matrices(), constrs_of_sc(), contrainte_free(), contrainte_gen_allocated_memory(), contrainte_in_liste(), contrainte_new(), contrainte_normalize(), contrainte_remove_large_coef(), contrainte_simple_equality(), contrainte_subst_ofl_ctrl(), contrainte_to_matrix_ligne(), contrainte_var_min_coeff(), contrainte_vect_sort(), contraintes_text_format(), contraintes_to_expression(), contraintes_with_sym_cst_to_matrices(), converti_psysmin_psysmax(), count_eq_occ(), create_farkas_poly(), creer_ineg(), dbg_contrainte_rm(), decision_data(), dj_simple_inegs_to_eg(), dj_system_complement(), dj_variable_substitution_with_eqs_ofl_ctrl(), ecrit_coeff1(), ecrit_tableau2(), egalite_distribution(), egalite_equal(), egalite_in_liste(), elim_redund_sc_with_sc(), elim_var_with_eg(), eq_in_ineq(), eq_var_nophi_min_coeff(), eq_var_phi(), equation_lexicographic_compare(), erase_trivial_ineg(), find_implicit_equation(), find_motif(), find_pattern(), find_vbase(), free_guards(), get_bounds_expression(), gomory_eq(), gomory_trait_eq(), hyperplane(), include_trans_in_sc(), include_trans_on_LC_in_ref(), inegalite_comb_ofl_ctrl(), inequality_lexicographic_compare(), loop_sc_to_matrices(), lower_bound_generation(), make_bound_expression(), make_bounds(), make_contrainte_expression(), make_dual(), make_reindex(), make_vvs_from_sc(), mapping_on_broadcast(), matrice_index_sys(), my_constraints_with_sym_cst_to_matrices(), my_sc_normalize(), new_elim_var_with_eg(), opp_var_in_mat(), pa_path_to_few_disjunct_ofl_ctrl(), Pcontrainte_separate_on_vars(), phi_free_contraints_to_expressions(), pivoter_pas(), plc_elim_var_with_eg(), predicate_to_expression(), prepare_reindexing(), psystem_to_expression(), pu_contraintes_to_matrices(), put_variables_in_ordered_lists(), region_consistent_p(), region_range_nul_p(), sc_add_di(), sc_add_dsi(), sc_add_normalize_eq(), sc_add_normalize_ineq(), sc_chg_var(), sc_consistent_p(), sc_elim_db_constraints(), sc_elim_double_constraints(), sc_elim_redund(), sc_elim_redund_with_first_ofl_ctrl(), sc_elim_simple_redund_with_eq(), sc_elim_simple_redund_with_ineq(), sc_elim_triang_integer_redund_constraint_p(), sc_elim_var(), sc_force_variable_to_zero(), sc_gcd_normalize(), sc_gen_write(), sc_integer_projection_information(), sc_invers(), sc_kill_db_eg(), sc_min(), sc_minmax_of_variable(), sc_minmax_of_variable_optim(), sc_multiply_constant_terms(), sc_normalize(), sc_oppose(), sc_restricted_to_variables_transitive_closure(), sc_safe_elim_db_constraints(), sc_safe_kill_db_eg(), sc_simplex_feasibility_ofl_ctrl_fixprec(), sc_supress_same_constraints(), sc_to_iproblem(), sc_to_matrices(), sc_to_minimal_basis(), sc_to_tableau(), sc_to_vvs(), sc_transform_eg_in_ineg(), sc_transform_ineg_in_eg(), sc_value_of_variable(), sc_weak_consistent_p(), separate_variables(), separate_variables_2(), simplify_big_coeff(), simplify_deducable_variables(), simplify_dimension(), simplify_float_constraint_system(), simplify_minmax_contrainte(), simplify_predicate(), solve_system_by_succ_elim(), some_phi_variable(), suppress_sc_in_sc(), sys_int_redond(), sys_mat_conv(), sys_matrice_index(), system_new_var_subst(), test_borne(), test_bound_generation(), transform_in_ineq(), transitive_closure_pass(), translate_to_module_frame(), unimodular(), upper_bound_generation(), var_in_lcontrainte_p(), var_pivotd(), var_with_unity_coeff_p(), vectors_to_expressions(), xml_Region_Range(), and xml_tiling().
The documentation for this struct was generated from the following files:
- linear/src/contrainte/contrainte-local.h
- linear/src/contrainte/contrainte.h
