Home
last modified time | relevance | path

Searched refs:PPL_DIRTY_TEMP_COEFFICIENT (Results 1 – 25 of 48) sorted by relevance

12

/dports/devel/ppl/ppl-1.2/src/
H A DPartially_Reduced_Product_templates.hh240 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 DGrid_simplify.cc38 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 DScalar_Products_inlines.hh37 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 DGrid_templates.hh62 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 DMIP_Problem.cc1496 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 DGrid_conversion.cc174 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 Dwrap_assign.hh133 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 DPolyhedron_templates.hh64 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 DPointset_Powerset_templates.hh951 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 DPIP_Tree.cc212 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 DBox_templates.hh905 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 DBD_Shape_templates.hh285 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 DCongruence.cc70 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 DOctagonal_Shape_templates.hh127 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 DGrid_public.cc426 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 DGenerator.cc331 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 DGrid_nonpublic.cc353 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 DLinear_Expression_Impl_templates.hh109 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 DCongruence_System.cc191 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 DGrid_Generator.cc308 PPL_DIRTY_TEMP_COEFFICIENT(factor); in scale_to_divisor()
377 PPL_DIRTY_TEMP_COEFFICIENT(c); in fancy_print()
H A Dmath_utilities_inlines.hh37 PPL_DIRTY_TEMP_COEFFICIENT(gcd); in normalize2()
/dports/devel/ppl/ppl-1.2/tests/Grid/
H A Dpartition1.cc42 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 Dppl_interface_generator_java_classes_cc_code.m4524 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 Dppl_java_common_inlines.hh100 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 Dppl_interface_generator_ocaml_cc_code.m4760 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);

12