/dports/devel/ppl/ppl-1.2/src/ |
H A D | Partially_Reduced_Product_templates.hh | 240 PPL_DIRTY_TEMP_COEFFICIENT(sup1_n); in maximize() 241 PPL_DIRTY_TEMP_COEFFICIENT(sup1_d); in maximize() 242 PPL_DIRTY_TEMP_COEFFICIENT(sup2_n); in maximize() 243 PPL_DIRTY_TEMP_COEFFICIENT(sup2_d); in maximize() 294 PPL_DIRTY_TEMP_COEFFICIENT(inf1_n); in minimize() 295 PPL_DIRTY_TEMP_COEFFICIENT(inf1_d); in minimize() 296 PPL_DIRTY_TEMP_COEFFICIENT(inf2_n); in minimize() 297 PPL_DIRTY_TEMP_COEFFICIENT(inf2_d); in minimize() 349 PPL_DIRTY_TEMP_COEFFICIENT(sup1_n); in maximize() 350 PPL_DIRTY_TEMP_COEFFICIENT(sup1_d); in maximize() [all …]
|
H A D | Grid_simplify.cc | 38 PPL_DIRTY_TEMP_COEFFICIENT(reduced_row_col); in reduce_line_with_line() 42 PPL_DIRTY_TEMP_COEFFICIENT(reduced_pivot_col); in reduce_line_with_line() 69 PPL_DIRTY_TEMP_COEFFICIENT(reduced_row_col); in reduce_equality_with_equality() 73 PPL_DIRTY_TEMP_COEFFICIENT(reduced_pivot_col); in reduce_equality_with_equality() 104 PPL_DIRTY_TEMP_COEFFICIENT(s); in reduce_pc_with_pc() 105 PPL_DIRTY_TEMP_COEFFICIENT(t); in reduce_pc_with_pc() 106 PPL_DIRTY_TEMP_COEFFICIENT(reduced_row_col); in reduce_pc_with_pc() 107 PPL_DIRTY_TEMP_COEFFICIENT(gcd); in reduce_pc_with_pc() 112 PPL_DIRTY_TEMP_COEFFICIENT(reduced_pivot_col); in reduce_pc_with_pc() 152 PPL_DIRTY_TEMP_COEFFICIENT(reduced_row_col); in reduce_parameter_with_line() [all …]
|
H A D | Scalar_Products_inlines.hh | 37 PPL_DIRTY_TEMP_COEFFICIENT(z); in sign() 45 PPL_DIRTY_TEMP_COEFFICIENT(z); in reduced_sign() 53 PPL_DIRTY_TEMP_COEFFICIENT(z); in homogeneous_sign() 70 PPL_DIRTY_TEMP_COEFFICIENT(z); in sign() 120 PPL_DIRTY_TEMP_COEFFICIENT(z); in homogeneous_sign()
|
H A D | Grid_templates.hh | 62 PPL_DIRTY_TEMP_COEFFICIENT(l_n); in Grid() 63 PPL_DIRTY_TEMP_COEFFICIENT(l_d); in Grid() 64 PPL_DIRTY_TEMP_COEFFICIENT(u_n); in Grid() 65 PPL_DIRTY_TEMP_COEFFICIENT(u_d); in Grid() 293 PPL_DIRTY_TEMP_COEFFICIENT(pivot_dim_half); in reduce_reduced() 299 PPL_DIRTY_TEMP_COEFFICIENT(num_rows_to_subtract); in reduce_reduced() 300 PPL_DIRTY_TEMP_COEFFICIENT(row_dim_remainder); in reduce_reduced()
|
H A D | MIP_Problem.cc | 1496 PPL_DIRTY_TEMP_COEFFICIENT(lcm); in get_exiting_base_index() 1498 PPL_DIRTY_TEMP_COEFFICIENT(challenger); in get_exiting_base_index() 1540 PPL_DIRTY_TEMP_COEFFICIENT(challenger); in compute_simplex_using_steepest_edge_float() 1541 PPL_DIRTY_TEMP_COEFFICIENT(current); in compute_simplex_using_steepest_edge_float() 1774 PPL_DIRTY_TEMP_COEFFICIENT(lcm); in compute_generator() 2058 PPL_DIRTY_TEMP_COEFFICIENT(gcd); in solve_mip() 2090 PPL_DIRTY_TEMP_COEFFICIENT(numer); in solve_mip() 2091 PPL_DIRTY_TEMP_COEFFICIENT(denom); in solve_mip() 2151 PPL_DIRTY_TEMP_COEFFICIENT(gcd); in choose_branching_variable() 2248 PPL_DIRTY_TEMP_COEFFICIENT(gcd); in is_mip_satisfiable() [all …]
|
H A D | Grid_conversion.cc | 174 PPL_DIRTY_TEMP_COEFFICIENT(diagonal_lcm); in conversion() 224 PPL_DIRTY_TEMP_COEFFICIENT(tmp); in conversion() 246 PPL_DIRTY_TEMP_COEFFICIENT(multiplier); in conversion() 292 PPL_DIRTY_TEMP_COEFFICIENT(tmp); in conversion() 348 PPL_DIRTY_TEMP_COEFFICIENT(diagonal_lcm); in conversion() 403 PPL_DIRTY_TEMP_COEFFICIENT(tmp); in conversion() 428 PPL_DIRTY_TEMP_COEFFICIENT(reduced_source_dim); in conversion() 479 PPL_DIRTY_TEMP_COEFFICIENT(tmp); in conversion()
|
H A D | wrap_assign.hh | 133 PPL_DIRTY_TEMP_COEFFICIENT(quadrant); in wrap_assign_col() 217 PPL_DIRTY_TEMP_COEFFICIENT(min_value); in wrap_assign() 218 PPL_DIRTY_TEMP_COEFFICIENT(max_value); in wrap_assign() 259 PPL_DIRTY_TEMP_COEFFICIENT(l_n); in wrap_assign() 260 PPL_DIRTY_TEMP_COEFFICIENT(l_d); in wrap_assign() 261 PPL_DIRTY_TEMP_COEFFICIENT(u_n); in wrap_assign() 262 PPL_DIRTY_TEMP_COEFFICIENT(u_d); in wrap_assign()
|
H A D | Polyhedron_templates.hh | 64 PPL_DIRTY_TEMP_COEFFICIENT(l_n); in Polyhedron() 65 PPL_DIRTY_TEMP_COEFFICIENT(l_d); in Polyhedron() 66 PPL_DIRTY_TEMP_COEFFICIENT(u_n); in Polyhedron() 67 PPL_DIRTY_TEMP_COEFFICIENT(u_d); in Polyhedron() 417 PPL_DIRTY_TEMP_COEFFICIENT(lo_coeff); in affine_form_image() 418 PPL_DIRTY_TEMP_COEFFICIENT(hi_coeff); in affine_form_image() 419 PPL_DIRTY_TEMP_COEFFICIENT(denominator); in affine_form_image() 488 PPL_DIRTY_TEMP_COEFFICIENT(lcm); in convert_to_integer_expression()
|
H A D | Pointset_Powerset_templates.hh | 951 PPL_DIRTY_TEMP_COEFFICIENT(best_sup_n); in maximize() 952 PPL_DIRTY_TEMP_COEFFICIENT(best_sup_d); in maximize() 957 PPL_DIRTY_TEMP_COEFFICIENT(iter_sup_n); in maximize() 958 PPL_DIRTY_TEMP_COEFFICIENT(iter_sup_d); in maximize() 963 PPL_DIRTY_TEMP_COEFFICIENT(tmp); in maximize() 1010 PPL_DIRTY_TEMP_COEFFICIENT(best_sup_n); in maximize() 1011 PPL_DIRTY_TEMP_COEFFICIENT(best_sup_d); in maximize() 1017 PPL_DIRTY_TEMP_COEFFICIENT(iter_sup_n); in maximize() 1024 PPL_DIRTY_TEMP_COEFFICIENT(tmp); in maximize() 1088 PPL_DIRTY_TEMP_COEFFICIENT(tmp); in minimize() [all …]
|
H A D | PIP_Tree.cc | 212 PPL_DIRTY_TEMP_COEFFICIENT(mod); in complement_assign() 286 PPL_DIRTY_TEMP_COEFFICIENT(lhs); in column_lower() 287 PPL_DIRTY_TEMP_COEFFICIENT(rhs); in column_lower() 576 PPL_DIRTY_TEMP_COEFFICIENT(gcd); in integral_simplification() 581 PPL_DIRTY_TEMP_COEFFICIENT(mod); in integral_simplification() 596 PPL_DIRTY_TEMP_COEFFICIENT(gcd); in row_normalize() 1662 PPL_DIRTY_TEMP_COEFFICIENT(gcd); in normalize() 2229 PPL_DIRTY_TEMP_COEFFICIENT(gcd); in compatibility_check() 3337 PPL_DIRTY_TEMP_COEFFICIENT(mod); in solve() 3483 PPL_DIRTY_TEMP_COEFFICIENT(mod); in generate_cut() [all …]
|
H A D | Box_templates.hh | 905 PPL_DIRTY_TEMP_COEFFICIENT(lower); in relation_with() 906 PPL_DIRTY_TEMP_COEFFICIENT(mod); in relation_with() 907 PPL_DIRTY_TEMP_COEFFICIENT(v); in relation_with() 1216 PPL_DIRTY_TEMP_COEFFICIENT(lcm); in max_min() 3730 PPL_DIRTY_TEMP_COEFFICIENT(d); in generalized_affine_preimage() 4267 PPL_DIRTY_TEMP_COEFFICIENT(n); in constraints() 4268 PPL_DIRTY_TEMP_COEFFICIENT(d); in constraints() 4312 PPL_DIRTY_TEMP_COEFFICIENT(n); in minimized_constraints() 4313 PPL_DIRTY_TEMP_COEFFICIENT(d); in minimized_constraints() 4363 PPL_DIRTY_TEMP_COEFFICIENT(n); in congruences() [all …]
|
H A D | BD_Shape_templates.hh | 285 PPL_DIRTY_TEMP_COEFFICIENT(numer); in BD_Shape() 286 PPL_DIRTY_TEMP_COEFFICIENT(denom); in BD_Shape() 382 PPL_DIRTY_TEMP_COEFFICIENT(numer); in minimized_congruences() 383 PPL_DIRTY_TEMP_COEFFICIENT(denom); in minimized_congruences() 436 PPL_DIRTY_TEMP_COEFFICIENT(coeff); in add_constraint() 525 PPL_DIRTY_TEMP_COEFFICIENT(coeff); in refine_no_check() 861 PPL_DIRTY_TEMP_COEFFICIENT(coeff); in frequency() 862 PPL_DIRTY_TEMP_COEFFICIENT(numer); in frequency() 863 PPL_DIRTY_TEMP_COEFFICIENT(denom); in frequency() 6432 PPL_DIRTY_TEMP_COEFFICIENT(a); in constraints() [all …]
|
H A D | Congruence.cc | 70 PPL_DIRTY_TEMP_COEFFICIENT(c); in normalize() 117 PPL_DIRTY_TEMP_COEFFICIENT(c); in affine_preimage() 173 PPL_DIRTY_TEMP_COEFFICIENT(cv); in operator <<()
|
H A D | Octagonal_Shape_templates.hh | 127 PPL_DIRTY_TEMP_COEFFICIENT(numer); in Octagonal_Shape() 128 PPL_DIRTY_TEMP_COEFFICIENT(denom); in Octagonal_Shape() 429 PPL_DIRTY_TEMP_COEFFICIENT(coeff); in add_constraint() 430 PPL_DIRTY_TEMP_COEFFICIENT(term); in add_constraint() 947 PPL_DIRTY_TEMP_COEFFICIENT(coeff); in refine_no_check() 948 PPL_DIRTY_TEMP_COEFFICIENT(term); in refine_no_check() 1076 PPL_DIRTY_TEMP_COEFFICIENT(numer); in minimized_congruences() 1688 PPL_DIRTY_TEMP_COEFFICIENT(term); in bounds() 1749 PPL_DIRTY_TEMP_COEFFICIENT(term); in max_min() 7378 PPL_DIRTY_TEMP_COEFFICIENT(a); in constraints() [all …]
|
H A D | Grid_public.cc | 426 PPL_DIRTY_TEMP_COEFFICIENT(point_sp); in relation_with() 429 PPL_DIRTY_TEMP_COEFFICIENT(div); in relation_with() 432 PPL_DIRTY_TEMP_COEFFICIENT(sp); in relation_with() 1810 PPL_DIRTY_TEMP_COEFFICIENT(sp); in simplify_using_context_assign() 1811 PPL_DIRTY_TEMP_COEFFICIENT(div); in simplify_using_context_assign() 2965 PPL_DIRTY_TEMP_COEFFICIENT(min_value); in wrap_assign() 2966 PPL_DIRTY_TEMP_COEFFICIENT(max_value); in wrap_assign() 2984 PPL_DIRTY_TEMP_COEFFICIENT(f_n); in wrap_assign() 2985 PPL_DIRTY_TEMP_COEFFICIENT(f_d); in wrap_assign() 2986 PPL_DIRTY_TEMP_COEFFICIENT(v_n); in wrap_assign() [all …]
|
H A D | Generator.cc | 331 PPL_DIRTY_TEMP_COEFFICIENT(c); in fancy_print() 413 PPL_DIRTY_TEMP_COEFFICIENT(gcd); in is_matching_closure_point() 416 PPL_DIRTY_TEMP_COEFFICIENT(cp_0_scaled); in is_matching_closure_point() 417 PPL_DIRTY_TEMP_COEFFICIENT(p_0_scaled); in is_matching_closure_point()
|
H A D | Grid_nonpublic.cc | 353 PPL_DIRTY_TEMP_COEFFICIENT(gcd); in frequency_no_check() 363 PPL_DIRTY_TEMP_COEFFICIENT(sp); in frequency_no_check() 398 PPL_DIRTY_TEMP_COEFFICIENT(gcd); in frequency_no_check() 443 PPL_DIRTY_TEMP_COEFFICIENT(gcd); in max_min() 619 PPL_DIRTY_TEMP_COEFFICIENT(divisor); in normalize_divisors()
|
H A D | Linear_Expression_Impl_templates.hh | 109 PPL_DIRTY_TEMP_COEFFICIENT(normalized_x_v); in linear_combine() 110 PPL_DIRTY_TEMP_COEFFICIENT(normalized_y_v); in linear_combine() 267 PPL_DIRTY_TEMP_COEFFICIENT(tmp); in permute_space_dimensions() 470 PPL_DIRTY_TEMP_COEFFICIENT(ev); in print() 499 PPL_DIRTY_TEMP_COEFFICIENT(it); in print() 769 PPL_DIRTY_TEMP_COEFFICIENT(result); in scalar_product_sign() 1372 PPL_DIRTY_TEMP_COEFFICIENT(c); in ascii_load()
|
H A D | Congruence_System.cc | 191 PPL_DIRTY_TEMP_COEFFICIENT(lcm); in normalize_moduli() 213 PPL_DIRTY_TEMP_COEFFICIENT(factor); in normalize_moduli() 281 PPL_DIRTY_TEMP_COEFFICIENT(sp); in satisfies_all_congruences()
|
H A D | Grid_Generator.cc | 308 PPL_DIRTY_TEMP_COEFFICIENT(factor); in scale_to_divisor() 377 PPL_DIRTY_TEMP_COEFFICIENT(c); in fancy_print()
|
H A D | math_utilities_inlines.hh | 37 PPL_DIRTY_TEMP_COEFFICIENT(gcd); in normalize2()
|
/dports/devel/ppl/ppl-1.2/tests/Grid/ |
H A D | partition1.cc | 42 PPL_DIRTY_TEMP_COEFFICIENT(n); in partition_aux() 44 PPL_DIRTY_TEMP_COEFFICIENT(i); in partition_aux()
|
/dports/devel/ppl/ppl-1.2/interfaces/Java/jni/ |
H A D | ppl_interface_generator_java_classes_cc_code.m4 | 524 PPL_DIRTY_TEMP_COEFFICIENT(num); 525 PPL_DIRTY_TEMP_COEFFICIENT(den); 553 PPL_DIRTY_TEMP_COEFFICIENT(num); 554 PPL_DIRTY_TEMP_COEFFICIENT(den); 583 PPL_DIRTY_TEMP_COEFFICIENT(num); 584 PPL_DIRTY_TEMP_COEFFICIENT(den); 618 PPL_DIRTY_TEMP_COEFFICIENT(valn); 823 PPL_DIRTY_TEMP_COEFFICIENT(c); 859 PPL_DIRTY_TEMP_COEFFICIENT(c); 898 PPL_DIRTY_TEMP_COEFFICIENT(c); [all …]
|
H A D | ppl_java_common_inlines.hh | 100 PPL_DIRTY_TEMP_COEFFICIENT(coefficient); in build_linear_expression() 171 PPL_DIRTY_TEMP_COEFFICIENT(ppl_coeff); in build_cxx_coeff()
|
/dports/devel/ppl/ppl-1.2/interfaces/OCaml/ |
H A D | ppl_interface_generator_ocaml_cc_code.m4 | 760 PPL_DIRTY_TEMP_COEFFICIENT(num); 761 PPL_DIRTY_TEMP_COEFFICIENT(den); 782 PPL_DIRTY_TEMP_COEFFICIENT(num); 783 PPL_DIRTY_TEMP_COEFFICIENT(den); 806 PPL_DIRTY_TEMP_COEFFICIENT(num); 807 PPL_DIRTY_TEMP_COEFFICIENT(den); 832 PPL_DIRTY_TEMP_COEFFICIENT(f_num); 833 PPL_DIRTY_TEMP_COEFFICIENT(f_den); 834 PPL_DIRTY_TEMP_COEFFICIENT(v_num); 835 PPL_DIRTY_TEMP_COEFFICIENT(v_den);
|