Home
last modified time | relevance | path

Searched refs:rational (Results 1 – 25 of 71) sorted by relevance

123

/netbsd-src/external/mit/isl/dist/
H A Disl_input.c721 struct vars *v, __isl_take isl_map *map, int rational);
723 __isl_take isl_space *space, struct vars *v, int rational);
728 __isl_take isl_map *cond, struct vars *v, int rational) in accept_ternary() argument
740 pwaff1 = accept_extended_affine(s, space, v, rational); in accept_ternary()
748 pwaff2 = accept_extended_affine(s, space, v, rational); in accept_ternary()
821 __isl_take isl_space *space, struct vars *v, int rational) in accept_extended_affine() argument
830 if (rational) in accept_extended_affine()
845 cond = read_formula(s, v, cond, rational); in accept_extended_affine()
847 return accept_ternary(s, cond, v, rational); in accept_extended_affine()
852 int rational) in read_var_def() argument
[all …]
H A Disl_aff_map.c65 __isl_take isl_aff *aff, int rational) in isl_basic_map_from_aff2() argument
96 if (rational) in isl_basic_map_from_aff2()
132 __isl_take isl_multi_aff *maff, int rational) in isl_basic_map_from_multi_aff2() argument
149 if (rational) in isl_basic_map_from_multi_aff2()
157 bmap_i = isl_basic_map_from_aff2(aff, rational); in isl_basic_map_from_multi_aff2()
372 isl_bool rational; in isl_map_from_pw_multi_aff_internal() local
377 rational = isl_set_is_rational(pma->p[i].set); in isl_map_from_pw_multi_aff_internal()
378 if (rational < 0) in isl_map_from_pw_multi_aff_internal()
381 bmap = isl_basic_map_from_multi_aff2(maff, rational); in isl_map_from_pw_multi_aff_internal()
H A Dpip.c347 int rational = 0; in main() local
368 rational = 1; in main()
407 assert(!rational); in main()
H A Disl_output_private.h26 __isl_take isl_printer *p, int rational,
H A Disl_tab.c81 tab->rational = 0; in isl_tab_alloc()
289 dup->rational = tab->rational; in isl_tab_dup()
445 isl_assert(tab1->mat->ctx, tab1->rational == tab2->rational, return NULL); in isl_tab_product()
542 prod->rational = tab1->rational; in isl_tab_product()
989 if (!tab->rational && tab->need_undo) in isl_tab_mark_rational()
992 tab->rational = 1; in isl_tab_mark_rational()
1603 if (tab->rational) in tab_is_manifestly_empty()
2398 tab->rational = ISL_F_ISSET(bmap, ISL_BASIC_MAP_RATIONAL); in isl_tab_from_basic_map()
2450 tab->rational = ISL_F_ISSET(bset, ISL_BASIC_SET_RATIONAL); in isl_tab_from_recession_cone()
2647 if (!tab->rational && in isl_basic_map_update_from_tab()
[all …]
H A Disl_multi_read_no_explicit_domain_templ.c20 struct vars *v, __isl_take isl_space *space, int rational, void *user) in FN()
H A Disl_output.c463 __isl_take isl_printer *p, int rational, in isl_print_space() argument
466 if (rational && !data->latex) in isl_print_space()
783 int rational = ISL_F_ISSET(bmap, ISL_BASIC_MAP_RATIONAL); in print_constraints() local
840 strict = !rational && isl_int_is_negone(bmap->ineq[i][0]); in print_constraints()
1111 int rational = ISL_F_ISSET(bmap, ISL_BASIC_MAP_RATIONAL); in isl_basic_map_print_isl() local
1115 p = isl_print_space(bmap->dim, p, rational, &data); in isl_basic_map_print_isl()
1465 int rational; in print_split_map() local
1471 rational = split[i].map->n > 0 && in print_split_map()
1476 p = isl_print_space(space, p, rational, &data); in print_split_map()
1488 int rational; in print_body_map() local
[all …]
H A Disl_ast_build_expr.c2227 isl_bool rational; in aff_is_rational() local
2231 rational = isl_bool_not(isl_val_is_one(den)); in aff_is_rational()
2234 return rational; in aff_is_rational()
2242 isl_bool rational; in is_single_rational_aff() local
2251 rational = aff_is_rational(aff); in is_single_rational_aff()
2254 return rational; in is_single_rational_aff()
H A Disl_tab.h177 unsigned rational : 1; member
H A Disl_map.c1150 isl_bool rational; in isl_map_is_rational() local
1156 rational = isl_basic_map_is_rational(map->p[0]); in isl_map_is_rational()
1157 if (rational < 0) in isl_map_is_rational()
1158 return rational; in isl_map_is_rational()
1165 if (rational != rational_i) in isl_map_is_rational()
1171 return rational; in isl_map_is_rational()
4105 isl_bool rational, is_empty; in isl_basic_map_insert_dims() local
4154 rational = isl_basic_map_is_rational(bmap); in isl_basic_map_insert_dims()
4155 if (rational < 0) in isl_basic_map_insert_dims()
4157 if (rational) in isl_basic_map_insert_dims()
[all …]
H A Disl_aff.c2331 int rational, void *user) in aff_pos_basic_set() argument
2344 if (rational) in aff_pos_basic_set()
2368 __isl_take isl_aff *aff, int rational, void *user) in aff_nonneg_basic_set() argument
2384 if (rational) in aff_nonneg_basic_set()
2423 int rational, void *user) in aff_zero_basic_set() argument
2439 if (rational) in aff_zero_basic_set()
2975 __isl_give isl_basic_set *(*fn)(__isl_take isl_aff *aff, int rational, in pw_aff_locus() argument
2990 isl_bool rational; in pw_aff_locus() local
2995 rational = isl_set_has_rational(pwaff->p[i].set); in pw_aff_locus()
2996 bset = fn(isl_aff_copy(pwaff->p[i].aff), rational, user); in pw_aff_locus()
[all …]
/netbsd-src/external/gpl2/gettext/dist/gettext-tools/src/
H A Dx-librep.c215 bool rational = false; in read_token() local
340 rational = true; in read_token()
352 if (exact && radix == 10 && !rational) in read_token()
358 if (exact && !rational) in read_token()
359 rational = true; in read_token()
366 if (!rational && !exponent) in read_token()
/netbsd-src/distrib/mac68k/miniroot/
H A Dinstall.md134 simple and rational way. You'll be asked several questions, and it would
/netbsd-src/external/lgpl3/gmp/dist/
H A DREADME38 integers, rational numbers, and floating point numbers. It has a rich set of
66 functions necessary for basic rational arithmetics. The associated type
/netbsd-src/external/mit/isl/dist/test_inputs/codegen/
H A Dseparate2.in1 # Check that rational affine expressions are printer properly.
/netbsd-src/distrib/sun2/miniroot/
H A Dinstall.md151 in a simple and rational way. You'll be asked several questions,
162 simple and rational way.
/netbsd-src/distrib/sun3/miniroot/
H A Dinstall.md151 in a simple and rational way. You'll be asked several questions,
162 simple and rational way.
/netbsd-src/external/gpl3/gcc/dist/libstdc++-v3/include/std/
H A Dratio50 * Compile time representation of finite rational numbers.
252 * @brief Provides compile-time rational arithmetic.
254 * This class template represents any finite rational number with a
/netbsd-src/external/gpl3/gcc.old/dist/libstdc++-v3/include/std/
H A Dratio50 * Compile time representation of finite rational numbers.
252 * @brief Provides compile-time rational arithmetic.
254 * This class template represents any finite rational number with a
/netbsd-src/distrib/sparc/
H A Dinstall.md205 in a simple and rational way. You'll be asked several questions,
216 simple and rational way.
/netbsd-src/distrib/hp300/miniroot/
H A Dinstall.md482 simple and rational way. You'll be asked several questions, and it would
/netbsd-src/distrib/amiga/miniroot/
H A Dinstall.md146 in a simple and rational way. You'll be asked several questions,
157 simple and rational way.
/netbsd-src/sys/arch/m68k/fpsp/
H A Dstan.sa64 * rational function U/V where
70 * rational function U/V where
/netbsd-src/external/mit/isl/dist/doc/
H A Dimplementation.tex109 For rational sets, the obvious choice would be to compute the
110 (rational) convex hull. For integer sets, the obvious choice
170 This method is not based on Feautrier's algorithm, but on rational
204 During this process, some coefficients may become rational.
271 non-integral coordinates. If so, some rational solutions
375 i.e., problems with rational solutions, but no integer solutions.
650 that it is beneficial to add cuts for \emph{all} rational coordinates
664 and if (rationally) non-empty, any rational point
1112 rational relaxation of $\Delta_i(\vec s)$, i.e.,
1116 generate the rational cone
/netbsd-src/external/ibm-public/postfix/dist/
H A DRELEASE_NOTES-2.1135 what appears to be a "rational" subset of the DANE profiles that

123