Searched refs:rational (Results 1 - 20 of 20) sorted by relevance

/netbsd-current/external/mit/isl/dist/
H A Disl_output_private.h26 __isl_take isl_printer *p, int rational,
H A Disl_aff_map.c60 * If "rational" is set, then construct a rational basic map.
65 __isl_take isl_aff *aff, int rational)
96 if (rational)
129 * If "rational" is set, then construct a rational basic map.
132 __isl_take isl_multi_aff *maff, int rational)
149 if (rational)
157 bmap_i = isl_basic_map_from_aff2(aff, rational);
358 * If the domain of "pma" is rational, the
64 isl_basic_map_from_aff2( __isl_take isl_aff *aff, int rational) argument
131 isl_basic_map_from_multi_aff2( __isl_take isl_multi_aff *maff, int rational) argument
372 isl_bool rational; local
[all...]
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)
740 pwaff1 = accept_extended_affine(s, space, v, rational);
748 pwaff2 = accept_extended_affine(s, space, v, rational);
821 __isl_take isl_space *space, struct vars *v, int rational)
830 if (rational)
845 cond = read_formula(s, v, cond, rational);
847 return accept_ternary(s, cond, v, rational);
852 int rational)
727 accept_ternary(__isl_keep isl_stream *s, __isl_take isl_map *cond, struct vars *v, int rational) argument
820 accept_extended_affine(__isl_keep isl_stream *s, __isl_take isl_space *space, struct vars *v, int rational) argument
850 read_var_def(__isl_keep isl_stream *s, __isl_take isl_map *map, enum isl_dim_type type, struct vars *v, int rational) argument
924 read_defined_var_list(__isl_keep isl_stream *s, struct vars *v, __isl_take isl_map *map, int rational) argument
1240 update_piecewise_affine_colon( __isl_take isl_pw_aff *pa, __isl_keep isl_stream *s, struct vars *v, int rational) argument
1321 accept_piecewise_affine(__isl_keep isl_stream *s, __isl_take isl_space *space, struct vars *v, int rational) argument
1381 read_tuple_var_def(__isl_keep isl_stream *s, struct vars *v, int rational) argument
1401 read_tuple_list(__isl_keep isl_stream *s, struct vars *v, __isl_take isl_space *space, int rational, int comma, __isl_give isl_space *(*read_el)(__isl_keep isl_stream *s, struct vars *v, __isl_take isl_space *space, int rational, void *user), void *user) argument
1445 read_tuple_space(__isl_keep isl_stream *s, struct vars *v, __isl_take isl_space *space, int rational, int comma, __isl_give isl_space *(*read_el)(__isl_keep isl_stream *s, struct vars *v, __isl_take isl_space *space, int rational, void *user), void *user) argument
1518 read_tuple_pw_aff_el(__isl_keep isl_stream *s, struct vars *v, __isl_take isl_space *space, int rational, void *user) argument
1585 read_tuple(__isl_keep isl_stream *s, struct vars *v, int rational, int comma) argument
1619 map_from_tuple(__isl_take isl_multi_pw_aff *tuple, __isl_take isl_map *map, enum isl_dim_type type, struct vars *v, int rational) argument
1709 isl_bool rational; local
1770 read_tuple_id(__isl_keep isl_stream *s, struct vars *v, __isl_take isl_space *space, int rational, void *user) argument
1942 construct_constraints( __isl_take isl_set *set, int type, __isl_keep isl_pw_aff_list *left, __isl_keep isl_pw_aff_list *right, int rational) argument
1992 add_constraint(__isl_keep isl_stream *s, struct vars *v, __isl_take isl_map *map, int rational) argument
2046 read_exists(__isl_keep isl_stream *s, struct vars *v, __isl_take isl_map *map, int rational) argument
2086 resolve_paren_expr(__isl_keep isl_stream *s, struct vars *v, __isl_take isl_map *map, int rational) argument
2149 read_conjunct(__isl_keep isl_stream *s, struct vars *v, __isl_take isl_map *map, int rational) argument
2185 read_conjuncts(__isl_keep isl_stream *s, struct vars *v, __isl_take isl_map *map, int rational) argument
2211 read_disjuncts(__isl_keep isl_stream *s, struct vars *v, __isl_take isl_map *map, int rational) argument
2252 read_formula(__isl_keep isl_stream *s, struct vars *v, __isl_take isl_map *map, int rational) argument
2687 read_optional_formula(__isl_keep isl_stream *s, __isl_take isl_map *map, struct vars *v, int rational) argument
2798 int rational; local
3984 read_union_pw_aff_el(__isl_keep isl_stream *s, struct vars *v, __isl_take isl_space *space, int rational, void *user) argument
[all...]
H A Disl_multi_read_no_explicit_domain_templ.c20 struct vars *v, __isl_take isl_space *space, int rational, void *user)
H A Dpip.c36 * Rational compute rational optimum instead of integer optimum
347 int rational = 0; local
368 rational = 1;
407 assert(!rational);
H A Disl_tab.c81 tab->rational = 0;
289 dup->rational = tab->rational;
445 isl_assert(tab1->mat->ctx, tab1->rational == tab2->rational, return NULL);
542 prod->rational = tab1->rational;
980 /* Mark "tab" as a rational tableau.
981 * If it wasn't marked as a rational tableau already and if we may
989 if (!tab->rational
[all...]
H A Disl_tab.h177 unsigned rational : 1; member in struct:isl_tab
H A Disl_output.c463 __isl_take isl_printer *p, int rational,
466 if (rational && !data->latex)
783 int rational = ISL_F_ISSET(bmap, ISL_BASIC_MAP_RATIONAL); local
840 strict = !rational && isl_int_is_negone(bmap->ineq[i][0]);
1111 int rational = ISL_F_ISSET(bmap, ISL_BASIC_MAP_RATIONAL); local
1115 p = isl_print_space(bmap->dim, p, rational, &data);
1465 int rational; local
1471 rational = split[i].map->n > 0 &&
1476 p = isl_print_space(space, p, rational, &data);
1488 int rational; local
462 isl_print_space(__isl_keep isl_space *space, __isl_take isl_printer *p, int rational, struct isl_print_space_data *data) argument
[all...]
H A Disl_ast_build_expr.c1119 * "rat" collects the rational part.
2222 /* Is "aff" a rational expression, i.e., does it have a denominator
2227 isl_bool rational; local
2231 rational = isl_bool_not(isl_val_is_one(den));
2234 return rational;
2237 /* Does "list" consist of a single rational affine expression?
2242 isl_bool rational; local
2251 rational = aff_is_rational(aff);
2254 return rational;
2273 * while a rational expressio
[all...]
H A Disl_map.c1141 /* Has "map" been marked as a rational map?
1143 * An empty map is not considered to be rational.
1144 * Maps where only some of the basic maps are marked rational
1150 isl_bool rational; local
1156 rational = isl_basic_map_is_rational(map->p[0]);
1157 if (rational < 0)
1158 return rational;
1165 if (rational != rational_i)
1167 "mixed rational and integer basic maps "
1171 return rational;
4105 isl_bool rational, is_empty; local
10903 isl_bool rational; local
13850 isl_bool rational; local
[all...]
H A Disl_aff.c174 /* Return a copy of the rational affine expression of "aff".
183 /* Return the rational affine expression of "aff".
205 /* Set the rational affine expression of "aff" to "v",
206 * where the rational affine expression of "aff" may be missing
340 "expecting rational value or NaN", goto error);
931 "expecting rational value", goto error);
995 * in case "aff" is a rational expression.
1076 "expecting rational value or NaN", goto error);
1269 "expecting rational value", goto error);
1376 "expecting rational valu
2330 aff_pos_basic_set(__isl_take isl_aff *aff, int rational, void *user) argument
2367 aff_nonneg_basic_set( __isl_take isl_aff *aff, int rational, void *user) argument
2422 aff_zero_basic_set(__isl_take isl_aff *aff, int rational, void *user) argument
2974 pw_aff_locus(__isl_take isl_pw_aff *pwaff, __isl_give isl_basic_set *(*fn)(__isl_take isl_aff *aff, int rational, void *user), int complement, void *user) argument
2990 isl_bool rational; local
3065 aff_bind_id(__isl_take isl_aff *aff, int rational, void *user) argument
[all...]
H A Disl_map_private.h402 __isl_take isl_multi_aff *maff, int rational);
H A Disl_tab_pip.c165 * If "rational" is set, then a rational optimization is being performed.
184 int rational; member in struct:isl_sol
841 bmap = isl_basic_map_from_multi_aff2(ma, sol->sol.rational);
2343 tab->rational = ISL_F_ISSET(bmap, ISL_BASIC_MAP_RATIONAL);
2901 * context. Any rational point in "shifted" can therefore be rounded
2940 * that any rational point in the shifted tableau can
3708 sol->rational = ISL_F_ISSET(bmap, ISL_BASIC_MAP_RATIONAL);
4066 * found a (rational) feasible point. If we only wanted a rational poin
[all...]
H A Disl_vertices.c1193 tab->rational = ISL_F_ISSET(bset, ISL_BASIC_SET_RATIONAL);
/netbsd-current/distrib/mac68k/miniroot/
H A Dinstall.md134 simple and rational way. You'll be asked several questions, and it would
/netbsd-current/external/gpl2/gettext/dist/gettext-tools/src/
H A Dx-librep.c215 bool rational = false; local
340 rational = true;
352 if (exact && radix == 10 && !rational)
358 if (exact && !rational)
359 rational = true;
366 if (!rational && !exponent)
/netbsd-current/distrib/hp300/miniroot/
H A Dinstall.md482 simple and rational way. You'll be asked several questions, and it would
/netbsd-current/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 con
[all...]
/netbsd-current/sys/arch/m68k/060sp/dist/
H A Dfplsp.s5642 # rational function U/V where #
5648 # a rational function U/V where #
H A Dfpsp.s5748 # rational function U/V where #
5754 # a rational function U/V where #

Completed in 536 milliseconds