Home
last modified time | relevance | path

Searched refs:to_real (Results 1 – 25 of 359) sorted by relevance

12345678910>>...15

/dports/math/cvc4/CVC4-1.7/test/regress/regress1/nl/
H A Dsqrt-problem-1.smt28 (assert (let ((.def_48 (<= X (to_real 300))))
9 (let ((.def_47 (<= (to_real (- 300)) X)))
11 (let ((.def_44 (<= |sqrt{10}| (to_real 300))))
12 (let ((.def_43 (<= (to_real (- 300)) |sqrt{10}|)))
14 (let ((.def_40 (<= |sqrt{8}| (to_real 300))))
15 (let ((.def_39 (<= (to_real (- 300)) |sqrt{8}|)))
17 (let ((.def_35 (<= (to_real 0) |sqrt{8}|)))
19 (let ((.def_33 (= .def_31 (to_real 3))))
20 (let ((.def_29 (<= (to_real 0) |sqrt{10}|)))
23 (let ((.def_21 (<= X (to_real 2))))
[all …]
/dports/graphics/nip2/nip2-8.7.1/share/nip2/compat/7.10/
H A DMatrix.def73 extract n f = take (to_real n) @ drop (to_real f);
158 rows = replicate (to_real number) row;
181 cells = replicate (to_real number) (to_real item);
192 drop (to_real first + to_real number) l;
335 _xrange = to_real xmax - to_real xmin;
336 _yrange = to_real ymax - to_real ymin;
337 _xscale = to_real gwidth / _xrange;
338 _yscale = to_real gheight / _yrange;
342 to_real gheight - (p?1 - to_real ymin) * _yscale];
346 (to_real gheight - p?1) / _yscale + to_real ymin];
[all …]
H A DImage.def29 = image_new (to_real nwidth) (to_real nheight) (to_real nbands)
148 = [], to_real n == 0
977 (to_real nxres) (to_real nyres)
978 (to_real nxoff) (to_real nyoff));
1008 ramp = Image (fn (to_real nwidth) (to_real nheight));
1130 (to_real wrap) align.value (to_real dpi));
1395 _result = Image (im_eye (to_real nwidth) (to_real nheight)
1428 grey = im_fgrey (to_real nwidth) (to_real sheight) *
1448 black = image_new (to_real psize) (to_real psize) 1
1479 strip = make_xy (to_real pwidth * to_real npatches) pheight;
[all …]
H A D_stdenv.def423 (to_real xoff) (to_real yoff),
859 (to_real x) (to_real y) (to_real w) (to_real h)
860 (to_real u) (to_real v),
893 (to_real max_error) (to_real max_iterations) (to_real order)
939 (to_real x) (to_real y) (to_real w) (to_real h), is_image im
1221 (to_real x1) (to_real y2) (to_real y3)
1233 (to_real s) (to_real m) (to_real h)
1234 (to_real sa) (to_real ma) (to_real ha), is_image in
1255 (to_real b) (to_real w)
1256 (to_real s) (to_real m) (to_real h)
[all …]
/dports/www/qt5-webengine/qtwebengine-everywhere-src-5.15.2/src/3rdparty/chromium/third_party/harfbuzz-ng/src/src/
H A Dhb-ot-cff2-table.cc129 extents->x_bearing = font->em_scalef_x (param.min_x.to_real ()); in get_extents()
130 extents->width = font->em_scalef_x (param.max_x.to_real () - param.min_x.to_real ()); in get_extents()
139 extents->y_bearing = font->em_scalef_y (param.max_y.to_real ()); in get_extents()
140 extents->height = font->em_scalef_y (param.min_y.to_real () - param.max_y.to_real ()); in get_extents()
156 { draw_helper->move_to (font->em_scalef_x (p.x.to_real ()), font->em_scalef_y (p.y.to_real ())); } in move_to()
159 { draw_helper->line_to (font->em_scalef_x (p.x.to_real ()), font->em_scalef_y (p.y.to_real ())); } in line_to()
163 draw_helper->cubic_to (font->em_scalef_x (p1.x.to_real ()), font->em_scalef_y (p1.y.to_real ()), in cubic_to()
164 font->em_scalef_x (p2.x.to_real ()), font->em_scalef_y (p2.y.to_real ()), in cubic_to()
165 font->em_scalef_x (p3.x.to_real ()), font->em_scalef_y (p3.y.to_real ())); in cubic_to()
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/harfbuzz-ng/src/src/
H A Dhb-ot-cff2-table.cc129 extents->x_bearing = font->em_scalef_x (param.min_x.to_real ()); in get_extents()
130 extents->width = font->em_scalef_x (param.max_x.to_real () - param.min_x.to_real ()); in get_extents()
139 extents->y_bearing = font->em_scalef_y (param.max_y.to_real ()); in get_extents()
140 extents->height = font->em_scalef_y (param.min_y.to_real () - param.max_y.to_real ()); in get_extents()
156 { draw_helper->move_to (font->em_scalef_x (p.x.to_real ()), font->em_scalef_y (p.y.to_real ())); } in move_to()
159 { draw_helper->line_to (font->em_scalef_x (p.x.to_real ()), font->em_scalef_y (p.y.to_real ())); } in line_to()
163 draw_helper->cubic_to (font->em_scalef_x (p1.x.to_real ()), font->em_scalef_y (p1.y.to_real ()), in cubic_to()
164 font->em_scalef_x (p2.x.to_real ()), font->em_scalef_y (p2.y.to_real ()), in cubic_to()
165 font->em_scalef_x (p3.x.to_real ()), font->em_scalef_y (p3.y.to_real ())); in cubic_to()
/dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/src/java.desktop/share/native/libharfbuzz/
H A Dhb-ot-cff2-table.cc129 extents->x_bearing = font->em_scalef_x (param.min_x.to_real ()); in get_extents()
130 extents->width = font->em_scalef_x (param.max_x.to_real () - param.min_x.to_real ()); in get_extents()
139 extents->y_bearing = font->em_scalef_y (param.max_y.to_real ()); in get_extents()
140 extents->height = font->em_scalef_y (param.min_y.to_real () - param.max_y.to_real ()); in get_extents()
156 { draw_helper->move_to (font->em_scalef_x (p.x.to_real ()), font->em_scalef_y (p.y.to_real ())); } in move_to()
159 { draw_helper->line_to (font->em_scalef_x (p.x.to_real ()), font->em_scalef_y (p.y.to_real ())); } in line_to()
163 draw_helper->cubic_to (font->em_scalef_x (p1.x.to_real ()), font->em_scalef_y (p1.y.to_real ()), in cubic_to()
164 font->em_scalef_x (p2.x.to_real ()), font->em_scalef_y (p2.y.to_real ()), in cubic_to()
165 … font->em_scalef_x (p3.x.to_real ()), font->em_scalef_y (p3.y.to_real ())); in cubic_to()
/dports/lang/spidermonkey78/firefox-78.9.0/gfx/harfbuzz/src/
H A Dhb-ot-cff2-table.cc129 extents->x_bearing = font->em_scalef_x (param.min_x.to_real ()); in get_extents()
130 extents->width = font->em_scalef_x (param.max_x.to_real () - param.min_x.to_real ()); in get_extents()
139 extents->y_bearing = font->em_scalef_y (param.max_y.to_real ()); in get_extents()
140 extents->height = font->em_scalef_y (param.min_y.to_real () - param.max_y.to_real ()); in get_extents()
156 { draw_helper->move_to (font->em_scalef_x (p.x.to_real ()), font->em_scalef_y (p.y.to_real ())); } in move_to()
159 { draw_helper->line_to (font->em_scalef_x (p.x.to_real ()), font->em_scalef_y (p.y.to_real ())); } in line_to()
163 draw_helper->cubic_to (font->em_scalef_x (p1.x.to_real ()), font->em_scalef_y (p1.y.to_real ()), in cubic_to()
164 font->em_scalef_x (p2.x.to_real ()), font->em_scalef_y (p2.y.to_real ()), in cubic_to()
165 font->em_scalef_x (p3.x.to_real ()), font->em_scalef_y (p3.y.to_real ())); in cubic_to()
/dports/devel/p5-Data-Types/Data-Types-0.17/t/
H A Dtypes.t147 ok( to_real(0) == 0 );
148 ok( to_real(100) == 100 );
149 ok( to_real(0.22) == 0.22 );
150 ok( to_real(-4) == -4 );
151 ok( to_real(-3.4) == -3.4 );
152 ok( to_real('foo3.5') == 3.5 );
153 ok( to_real('-35foo') == -35 );
154 ok( to_real('foo-3') == -3 );
155 ok( to_real('40foo') == 40 );
158 ok( ! defined to_real('') );
[all …]
/dports/www/firefox-esr/firefox-91.8.0/gfx/harfbuzz/src/
H A Dhb-ot-cff2-table.cc129 extents->x_bearing = font->em_scalef_x (param.min_x.to_real ()); in get_extents()
130 extents->width = font->em_scalef_x (param.max_x.to_real ()) - extents->x_bearing; in get_extents()
139 extents->y_bearing = font->em_scalef_y (param.max_y.to_real ()); in get_extents()
140 extents->height = font->em_scalef_y (param.min_y.to_real ()) - extents->y_bearing; in get_extents()
156 { draw_helper->move_to (font->em_scalef_x (p.x.to_real ()), font->em_scalef_y (p.y.to_real ())); } in move_to()
159 { draw_helper->line_to (font->em_scalef_x (p.x.to_real ()), font->em_scalef_y (p.y.to_real ())); } in line_to()
163 draw_helper->cubic_to (font->em_scalef_x (p1.x.to_real ()), font->em_scalef_y (p1.y.to_real ()), in cubic_to()
164 font->em_scalef_x (p2.x.to_real ()), font->em_scalef_y (p2.y.to_real ()), in cubic_to()
165 font->em_scalef_x (p3.x.to_real ()), font->em_scalef_y (p3.y.to_real ())); in cubic_to()
/dports/www/firefox/firefox-99.0/gfx/harfbuzz/src/
H A Dhb-ot-cff2-table.cc129 extents->x_bearing = font->em_scalef_x (param.min_x.to_real ()); in get_extents()
130 extents->width = font->em_scalef_x (param.max_x.to_real ()) - extents->x_bearing; in get_extents()
139 extents->y_bearing = font->em_scalef_y (param.max_y.to_real ()); in get_extents()
140 extents->height = font->em_scalef_y (param.min_y.to_real ()) - extents->y_bearing; in get_extents()
156 { draw_helper->move_to (font->em_scalef_x (p.x.to_real ()), font->em_scalef_y (p.y.to_real ())); } in move_to()
159 { draw_helper->line_to (font->em_scalef_x (p.x.to_real ()), font->em_scalef_y (p.y.to_real ())); } in line_to()
163 draw_helper->cubic_to (font->em_scalef_x (p1.x.to_real ()), font->em_scalef_y (p1.y.to_real ()), in cubic_to()
164 font->em_scalef_x (p2.x.to_real ()), font->em_scalef_y (p2.y.to_real ()), in cubic_to()
165 font->em_scalef_x (p3.x.to_real ()), font->em_scalef_y (p3.y.to_real ())); in cubic_to()
/dports/mail/thunderbird/thunderbird-91.8.0/gfx/harfbuzz/src/
H A Dhb-ot-cff2-table.cc129 extents->x_bearing = font->em_scalef_x (param.min_x.to_real ()); in get_extents()
130 extents->width = font->em_scalef_x (param.max_x.to_real ()) - extents->x_bearing; in get_extents()
139 extents->y_bearing = font->em_scalef_y (param.max_y.to_real ()); in get_extents()
140 extents->height = font->em_scalef_y (param.min_y.to_real ()) - extents->y_bearing; in get_extents()
156 { draw_helper->move_to (font->em_scalef_x (p.x.to_real ()), font->em_scalef_y (p.y.to_real ())); } in move_to()
159 { draw_helper->line_to (font->em_scalef_x (p.x.to_real ()), font->em_scalef_y (p.y.to_real ())); } in line_to()
163 draw_helper->cubic_to (font->em_scalef_x (p1.x.to_real ()), font->em_scalef_y (p1.y.to_real ()), in cubic_to()
164 font->em_scalef_x (p2.x.to_real ()), font->em_scalef_y (p2.y.to_real ()), in cubic_to()
165 font->em_scalef_x (p3.x.to_real ()), font->em_scalef_y (p3.y.to_real ())); in cubic_to()
/dports/print/harfbuzz/harfbuzz-3.4.0/src/
H A Dhb-ot-cff2-table.cc129 extents->x_bearing = font->em_scalef_x (param.min_x.to_real ()); in get_extents()
130 extents->width = font->em_scalef_x (param.max_x.to_real ()) - extents->x_bearing; in get_extents()
139 extents->y_bearing = font->em_scalef_y (param.max_y.to_real ()); in get_extents()
140 extents->height = font->em_scalef_y (param.min_y.to_real ()) - extents->y_bearing; in get_extents()
156 { draw_helper->move_to (font->em_scalef_x (p.x.to_real ()), font->em_scalef_y (p.y.to_real ())); } in move_to()
159 { draw_helper->line_to (font->em_scalef_x (p.x.to_real ()), font->em_scalef_y (p.y.to_real ())); } in line_to()
163 draw_helper->cubic_to (font->em_scalef_x (p1.x.to_real ()), font->em_scalef_y (p1.y.to_real ()), in cubic_to()
164 font->em_scalef_x (p2.x.to_real ()), font->em_scalef_y (p2.y.to_real ()), in cubic_to()
165 font->em_scalef_x (p3.x.to_real ()), font->em_scalef_y (p3.y.to_real ())); in cubic_to()
/dports/print/harfbuzz-icu/harfbuzz-3.4.0/src/
H A Dhb-ot-cff2-table.cc129 extents->x_bearing = font->em_scalef_x (param.min_x.to_real ()); in get_extents()
130 extents->width = font->em_scalef_x (param.max_x.to_real ()) - extents->x_bearing; in get_extents()
139 extents->y_bearing = font->em_scalef_y (param.max_y.to_real ()); in get_extents()
140 extents->height = font->em_scalef_y (param.min_y.to_real ()) - extents->y_bearing; in get_extents()
156 { draw_helper->move_to (font->em_scalef_x (p.x.to_real ()), font->em_scalef_y (p.y.to_real ())); } in move_to()
159 { draw_helper->line_to (font->em_scalef_x (p.x.to_real ()), font->em_scalef_y (p.y.to_real ())); } in line_to()
163 draw_helper->cubic_to (font->em_scalef_x (p1.x.to_real ()), font->em_scalef_y (p1.y.to_real ()), in cubic_to()
164 font->em_scalef_x (p2.x.to_real ()), font->em_scalef_y (p2.y.to_real ()), in cubic_to()
165 font->em_scalef_x (p3.x.to_real ()), font->em_scalef_y (p3.y.to_real ())); in cubic_to()
/dports/print/harfbuzz-hb-view/harfbuzz-3.4.0/src/
H A Dhb-ot-cff2-table.cc129 extents->x_bearing = font->em_scalef_x (param.min_x.to_real ()); in get_extents()
130 extents->width = font->em_scalef_x (param.max_x.to_real ()) - extents->x_bearing; in get_extents()
139 extents->y_bearing = font->em_scalef_y (param.max_y.to_real ()); in get_extents()
140 extents->height = font->em_scalef_y (param.min_y.to_real ()) - extents->y_bearing; in get_extents()
156 { draw_helper->move_to (font->em_scalef_x (p.x.to_real ()), font->em_scalef_y (p.y.to_real ())); } in move_to()
159 { draw_helper->line_to (font->em_scalef_x (p.x.to_real ()), font->em_scalef_y (p.y.to_real ())); } in line_to()
163 draw_helper->cubic_to (font->em_scalef_x (p1.x.to_real ()), font->em_scalef_y (p1.y.to_real ()), in cubic_to()
164 font->em_scalef_x (p2.x.to_real ()), font->em_scalef_y (p2.y.to_real ()), in cubic_to()
165 font->em_scalef_x (p3.x.to_real ()), font->em_scalef_y (p3.y.to_real ())); in cubic_to()
/dports/www/lagrange/lagrange-1.7.3/lib/harfbuzz/src/
H A Dhb-ot-cff2-table.cc129 extents->x_bearing = font->em_scalef_x (param.min_x.to_real ()); in get_extents()
130 extents->width = font->em_scalef_x (param.max_x.to_real ()) - extents->x_bearing; in get_extents()
139 extents->y_bearing = font->em_scalef_y (param.max_y.to_real ()); in get_extents()
140 extents->height = font->em_scalef_y (param.min_y.to_real ()) - extents->y_bearing; in get_extents()
156 { draw_helper->move_to (font->em_scalef_x (p.x.to_real ()), font->em_scalef_y (p.y.to_real ())); } in move_to()
159 { draw_helper->line_to (font->em_scalef_x (p.x.to_real ()), font->em_scalef_y (p.y.to_real ())); } in line_to()
163 draw_helper->cubic_to (font->em_scalef_x (p1.x.to_real ()), font->em_scalef_y (p1.y.to_real ()), in cubic_to()
164 font->em_scalef_x (p2.x.to_real ()), font->em_scalef_y (p2.y.to_real ()), in cubic_to()
165 font->em_scalef_x (p3.x.to_real ()), font->em_scalef_y (p3.y.to_real ())); in cubic_to()
/dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/src/java.desktop/share/native/libharfbuzz/
H A Dhb-ot-cff2-table.cc129 extents->x_bearing = font->em_scalef_x (param.min_x.to_real ()); in get_extents()
130 extents->width = font->em_scalef_x (param.max_x.to_real ()) - extents->x_bearing; in get_extents()
139 extents->y_bearing = font->em_scalef_y (param.max_y.to_real ()); in get_extents()
140 extents->height = font->em_scalef_y (param.min_y.to_real ()) - extents->y_bearing; in get_extents()
156 { draw_helper->move_to (font->em_scalef_x (p.x.to_real ()), font->em_scalef_y (p.y.to_real ())); } in move_to()
159 { draw_helper->line_to (font->em_scalef_x (p.x.to_real ()), font->em_scalef_y (p.y.to_real ())); } in line_to()
163 draw_helper->cubic_to (font->em_scalef_x (p1.x.to_real ()), font->em_scalef_y (p1.y.to_real ()), in cubic_to()
164 font->em_scalef_x (p2.x.to_real ()), font->em_scalef_y (p2.y.to_real ()), in cubic_to()
165 … font->em_scalef_x (p3.x.to_real ()), font->em_scalef_y (p3.y.to_real ())); in cubic_to()
/dports/graphics/nip2/nip2-8.7.1/share/nip2/compat/7.26/
H A DImage.def31 = image_new (to_real nwidth) (to_real nheight) (to_real nbands)
397 (to_real nxres) (to_real nyres)
398 (to_real nxoff) (to_real nyoff));
418 = cache (to_real tile_width) (to_real tile_height)
1632 (to_real wrap) align.value (to_real dpi));
1888 _result = Image (im_eye (to_real nwidth) (to_real nheight)
1921 grey = im_fgrey (to_real nwidth) (to_real sheight) *
1941 black = image_new (to_real psize) (to_real psize) 1
2027 size = (to_real nstep * 2 + 1) * to_real psize -
2032 (to_real psize - to_real sepsize);
[all …]
/dports/graphics/nip2/nip2-8.7.1/share/nip2/compat/7.24/
H A DImage.def31 = image_new (to_real nwidth) (to_real nheight) (to_real nbands)
397 (to_real nxres) (to_real nyres)
398 (to_real nxoff) (to_real nyoff));
418 = cache (to_real tile_width) (to_real tile_height)
1520 (to_real wrap) align.value (to_real dpi));
1776 _result = Image (im_eye (to_real nwidth) (to_real nheight)
1809 grey = im_fgrey (to_real nwidth) (to_real sheight) *
1829 black = image_new (to_real psize) (to_real psize) 1
1915 size = (to_real nstep * 2 + 1) * to_real psize -
1920 (to_real psize - to_real sepsize);
[all …]
/dports/graphics/nip2/nip2-8.7.1/share/nip2/start/
H A DMatrix.def39 = Matrix (identity_matrix (to_real s)), to_real s != len v;
51 = transpose [[to_real s, to_real s + to_real t .. to_real e]];
67 to_real s != _s || to_real t != _t || to_real e != _e
294 f = to_real first;
327 f = to_real first;
340 drop (to_real first + to_real number) l;
365 f = to_real first;
366 n = to_real number;
397 f = to_real first;
398 n = to_real number;
[all …]
/dports/graphics/nip2/nip2-8.7.1/share/nip2/compat/8.4/
H A DMatrix.def39 = Matrix (identity_matrix (to_real s)), to_real s != len v;
51 = transpose [[to_real s, to_real s + to_real t .. to_real e]];
67 to_real s != _s || to_real t != _t || to_real e != _e
294 f = to_real first;
327 f = to_real first;
340 drop (to_real first + to_real number) l;
365 f = to_real first;
366 n = to_real number;
397 f = to_real first;
398 n = to_real number;
[all …]
/dports/graphics/nip2/nip2-8.7.1/share/nip2/compat/7.38/
H A DMatrix.def39 = Matrix (identity_matrix (to_real s)), to_real s != len v;
51 = transpose [[to_real s, to_real s + to_real t .. to_real e]];
67 to_real s != _s || to_real t != _t || to_real e != _e
294 f = to_real first;
327 f = to_real first;
340 drop (to_real first + to_real number) l;
365 f = to_real first;
366 n = to_real number;
397 f = to_real first;
398 n = to_real number;
[all …]
/dports/graphics/nip2/nip2-8.7.1/share/nip2/compat/7.40/
H A DMatrix.def39 = Matrix (identity_matrix (to_real s)), to_real s != len v;
51 = transpose [[to_real s, to_real s + to_real t .. to_real e]];
67 to_real s != _s || to_real t != _t || to_real e != _e
294 f = to_real first;
327 f = to_real first;
340 drop (to_real first + to_real number) l;
365 f = to_real first;
366 n = to_real number;
397 f = to_real first;
398 n = to_real number;
[all …]
/dports/graphics/nip2/nip2-8.7.1/share/nip2/compat/8.3/
H A DMatrix.def39 = Matrix (identity_matrix (to_real s)), to_real s != len v;
51 = transpose [[to_real s, to_real s + to_real t .. to_real e]];
67 to_real s != _s || to_real t != _t || to_real e != _e
294 f = to_real first;
327 f = to_real first;
340 drop (to_real first + to_real number) l;
365 f = to_real first;
366 n = to_real number;
397 f = to_real first;
398 n = to_real number;
[all …]
/dports/graphics/nip2/nip2-8.7.1/share/nip2/compat/8.2/
H A DMatrix.def39 = Matrix (identity_matrix (to_real s)), to_real s != len v;
51 = transpose [[to_real s, to_real s + to_real t .. to_real e]];
67 to_real s != _s || to_real t != _t || to_real e != _e
294 f = to_real first;
327 f = to_real first;
340 drop (to_real first + to_real number) l;
365 f = to_real first;
366 n = to_real number;
397 f = to_real first;
398 n = to_real number;
[all …]

12345678910>>...15