Searched refs:dx (Results 1 - 25 of 26) sorted by relevance

12

/seL4-l4v-10.1.1/seL4/src/arch/x86/32/
H A Dmachine_asm.S74 movw 4(%esp), %dx
75 outb %al, %dx
81 movw 4(%esp), %dx
82 outw %ax, %dx
88 movw 4(%esp), %dx
89 outl %eax, %dx
94 movw 4(%esp), %dx
95 inb %dx, %al
100 movw 4(%esp), %dx
101 inw %dx,
[all...]
/seL4-l4v-10.1.1/seL4/src/arch/x86/64/
H A Dmachine_asm.S30 outb %al, %dx
37 outw %ax, %dx
44 outl %eax, %dx
51 inb %dx, %al
58 inw %dx, %ax
65 inl %dx, %eax
H A Dhead.S37 movw $0x3f8, %dx
40 outb %al, %dx
/seL4-l4v-10.1.1/isabelle/lib/browser/GraphBrowser/
H A DSpline.java22 int dx,dy; field in class:SplineSection
28 dx=dx2;dy=dy2;
37 if (dx>=dy) {
38 if (dx==0) return s;
39 m=1/((double)dx);
40 for (x=0;x<dx;x++) {
H A DTreeNode.java131 int dx=0;
140 dx=Math.max(dx,x+h+4+fm.stringWidth(name));
146 dx=Math.max(dx,d.width);
161 dx=Math.max(dx,x+h+4+fm.stringWidth(name));
164 return new Dimension(dx,y);
/seL4-l4v-10.1.1/l4v/isabelle/lib/browser/GraphBrowser/
H A DSpline.java22 int dx,dy; field in class:SplineSection
28 dx=dx2;dy=dy2;
37 if (dx>=dy) {
38 if (dx==0) return s;
39 m=1/((double)dx);
40 for (x=0;x<dx;x++) {
H A DTreeNode.java131 int dx=0;
140 dx=Math.max(dx,x+h+4+fm.stringWidth(name));
146 dx=Math.max(dx,d.width);
161 dx=Math.max(dx,x+h+4+fm.stringWidth(name));
164 return new Dimension(dx,y);
/seL4-l4v-10.1.1/isabelle/src/Tools/Graphview/
H A Dshapes.scala125 val dx = coords(2).x - coords(0).x
129 ((dx, dy) /: coords.sliding(3)) {
130 case ((dx, dy), List(l, m, r)) =>
134 l.x + slack * dx, l.y + slack * dy,
191 val (dx, dy) = (fx - tx, fy - ty)
192 if ((dx * dx + dy * dy) < 1.0) {
194 at.rotate(- (math.atan2(dx, dy) + math.Pi / 2))
H A Dlayout.scala80 private def move_vertex(graph: Graph, v: Vertex, dx: Double): Graph =
81 if (dx == 0.0) graph else graph.map_node(v, info => info.copy(x = info.x + dx))
262 def move(graph: Graph, dx: Double): Graph =
263 if (dx == 0.0) graph else (graph /: content)(move_vertex(_, _, dx))
296 val dx =
302 (r.move(graph, dx), moved || d != 0.0)
370 def translate_vertex(v: Layout.Vertex, dx: Double, dy: Double): Layout =
372 if ((dx
[all...]
H A Dgraph_panel.scala213 val dx = to.x - from.x
219 r.translate(- dx, - dy)
223 ds.foreach(d => graphview.translate_vertex(d, dx / s, dy / s))
226 ls.foreach(l => graphview.translate_vertex(Layout.Node(l), dx / s, dy / s))
H A Dgraphview.scala37 def translate_vertex(v: Layout.Vertex, dx: Double, dy: Double): Unit =
38 _layout = _layout.translate_vertex(v, dx, dy)
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Graphview/
H A Dshapes.scala125 val dx = coords(2).x - coords(0).x
129 ((dx, dy) /: coords.sliding(3)) {
130 case ((dx, dy), List(l, m, r)) =>
134 l.x + slack * dx, l.y + slack * dy,
191 val (dx, dy) = (fx - tx, fy - ty)
192 if ((dx * dx + dy * dy) < 1.0) {
194 at.rotate(- (math.atan2(dx, dy) + math.Pi / 2))
H A Dlayout.scala80 private def move_vertex(graph: Graph, v: Vertex, dx: Double): Graph =
81 if (dx == 0.0) graph else graph.map_node(v, info => info.copy(x = info.x + dx))
262 def move(graph: Graph, dx: Double): Graph =
263 if (dx == 0.0) graph else (graph /: content)(move_vertex(_, _, dx))
296 val dx =
302 (r.move(graph, dx), moved || d != 0.0)
370 def translate_vertex(v: Layout.Vertex, dx: Double, dy: Double): Layout =
372 if ((dx
[all...]
H A Dgraph_panel.scala213 val dx = to.x - from.x
219 r.translate(- dx, - dy)
223 ds.foreach(d => graphview.translate_vertex(d, dx / s, dy / s))
226 ls.foreach(l => graphview.translate_vertex(Layout.Node(l), dx / s, dy / s))
H A Dgraphview.scala37 def translate_vertex(v: Layout.Vertex, dx: Double, dy: Double): Unit =
38 _layout = _layout.translate_vertex(v, dx, dy)
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/
H A DTransform.sml41 type XForm = { m11: real, m12: real, m21: real, m22: real, dx: real, dy: real }
106 type XForm = { m11: real, m12: real, m21: real, m22: real, dx: real, dy: real }
109 fun breakXForm {m11,m12,m21,m22,dx,dy} = (m11,m12,m21,m22,dx,dy)
110 fun mkXForm (m11,m12,m21,m22,dx,dy) = {m11=m11,m12=m12,m21=m21,m22=m22,dx=dx,dy=dy}
153 val zeroXFORM: XForm = { m11=0.0, m12=0.0, m21=0.0, m22=0.0, dx=0.0, dy=0.0 }
H A DScrollbar.sml153 fun ScrollDC(hDC, dx, dy, prcScroll, prcClip, hrgnUpdate): RECT =
156 val () = scrollDC(hDC, dx, dy, prcScroll, prcClip, hrgnUpdate, v)
160 and ScrollWindowEx(hWnd, dx, dy, prcScroll, prcClip, hrgnUpdate, flags) =
164 scrollWindowEx(hWnd, dx, dy, prcScroll, prcClip, hrgnUpdate, v, flags)
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dreals.cpp200 double dx = real_arg(pushedArg); local
201 int64_t i = (int64_t)dx;
585 double dx = real_arg(arg);
591 char *chars = poly_dtoa(dx, mode, digits, &decpt, &sign, NULL);
H A Dxwindows.cpp2666 int dx,
2670 XGetSubImage(d,drawable,sx,sy,sw,sh,mask,CImageFormat(format),image,dx,dy);
2683 int dx,
2689 XPutImage(d,drawable,gc,image,sx,sy,dx,dy,dw,dh);
2771 int dx = ev->xmotion.x - A->button->x; local
2776 if (abs(dx) > MouseDrift) return False;
2785 int dx = ev->xbutton.x - A->button->x; local
2792 if (abs(dx) > MouseDrift) return False;
3712 int dx,dy,s; local
3714 s = XTranslateCoordinates(DEREFDISPLAYHANDLE(dsHandle)->display,src,dst,x,y,&dx,
2655 GetSubImage( Display *d, Drawable drawable, int sx, int sy, unsigned sw, unsigned sh, unsigned mask, int format, XImage *image, int dx, int dy ) argument
2675 PutImage( Display *d, Drawable drawable, GC gc, XImage *image, int sx, int sy, int dx, int dy, unsigned dw, unsigned dh ) argument
[all...]
/seL4-l4v-10.1.1/HOL4/src/quotient/examples/lambda/
H A Dbarendregt.sml184 val xmgroups = map (fn dx => filter (fn (x,matches) => (x = dx))
/seL4-l4v-10.1.1/HOL4/src/quotient/examples/sigma/
H A Dbarendregt.sml187 val xmgroups = map (fn dx => filter (fn (x,matches) => (x = dx))
/seL4-l4v-10.1.1/HOL4/examples/theorem-prover/lisp-runtime/implementation/
H A Dlisp_bytecode_stepScript.sml915 ``SPEC X64_MODEL p {(w,xs)} q /\ one_byte_list w xs (fun2set (d,dd DIFF dx)) ==>
922 \\ Q.PAT_X_ASSUM `one_byte_list w xs (fun2set (d,dd DIFF dx))` MP_TAC
924 \\ Q.SPEC_TAC (`w`,`w`) \\ Q.SPEC_TAC (`dx`,`dx`) \\ Q.SPEC_TAC (`xs`,`xs`)
934 ``SPEC X64_MODEL p {(w,xs)} q /\ one_byte_list w xs (fun2set (d,dd DIFF dx)) ==>
983 ?dx. (one_byte_list (p + 0x17w)
985 (fun2set (d,dd DIFF dx))` by
1024 \\ Q.LIST_EXISTS_TAC [`[0x41w; 0xB8w] ++ IMMEDIATE32 w0n`,`p + 0x17w`,`dx`]
/seL4-l4v-10.1.1/HOL4/src/integer/
H A Dint_arithScript.sml825 mn | dx + bqn + vpm /\ d | av - ub )
846 (* m | ax + b /\ n | ux + v ==> mn | dx + vmp + bnq *)
888 (* mn | dx + vmp + bnq /\ d | av - ub ==> m | ax + b *)
948 (* mn | dx + vmp + bnq /\ d | av - ub ==> n | ux + v *)
H A DCooperShell.sml483 mn | dx + vmp + bnq /\ d | av - ub
/seL4-l4v-10.1.1/HOL4/src/real/
H A DintegralScript.sml1483 MAP_EVERY X_GEN_TAC [``dx:num->real``, ``px:num->real``] THEN
1486 [``N1 + N2:num``, ``dx:num->real``, ``px:num->real``,
1488 SUBGOAL_THEN``tdiv (a,b) (dx,px) /\ fine (g ((N1:num) + N2)) (dx,px) /\
1510 abs (rsum (dx,px) f - rsum ((d :num -> num -> real) (N1 + N2),
1516 EXISTS_TAC``abs((rsum(dx,px) f -
1524 EXISTS_TAC``abs(rsum(dx,px) f -

Completed in 206 milliseconds

12