Searched refs:dy (Results 1 - 14 of 14) sorted by relevance

/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) {
47 m=1/((double)dy);
48 for (y=0;y<dy;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) {
47 m=1/((double)dy);
48 for (y=0;y<dy;y++) {
/seL4-l4v-10.1.1/isabelle/src/Tools/Graphview/
H A Dshapes.scala126 val dy = coords(2).y - coords(0).y
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 Dgraph_panel.scala214 val dy = to.y - from.y
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)
H A Dlayout.scala370 def translate_vertex(v: Layout.Vertex, dx: Double, dy: Double): Layout =
372 if ((dx == 0.0 && dy == 0.0) || !output_graph.defined(v)) this
375 output_graph.map_node(v, info => info.copy(x = info.x + dx, y = info.y + dy))
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Graphview/
H A Dshapes.scala126 val dy = coords(2).y - coords(0).y
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 Dgraph_panel.scala214 val dy = to.y - from.y
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)
H A Dlayout.scala370 def translate_vertex(v: Layout.Vertex, dx: Double, dy: Double): Layout =
372 if ((dx == 0.0 && dy == 0.0) || !output_graph.defined(v)) this
375 output_graph.map_node(v, info => info.copy(x = info.x + dx, y = info.y + 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/basis/
H A DDate.sml168 fun dayToMonth dy mth =
169 if dy <= Vector.sub(if isLeap then dayInLeapYearVec else dayVec, mth+1)
171 else dayToMonth dy (mth+1)
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dxwindows.cpp2667 int dy
2670 XGetSubImage(d,drawable,sx,sy,sw,sh,mask,CImageFormat(format),image,dx,dy);
2684 int dy,
2689 XPutImage(d,drawable,gc,image,sx,sy,dx,dy,dw,dh);
2772 int dy = ev->xmotion.y - A->button->y; local
2777 if (abs(dy) > MouseDrift) return False;
2786 int dy = ev->xbutton.y - A->button->y; local
2793 if (abs(dy) > MouseDrift) return False;
3712 int dx,dy,s; local
3714 s = XTranslateCoordinates(DEREFDISPLAYHANDLE(dsHandle)->display,src,dst,x,y,&dx,&dy,
2675 PutImage( Display *d, Drawable drawable, GC gc, XImage *image, int sx, int sy, int dx, int dy, unsigned dw, unsigned dh ) argument
[all...]

Completed in 677 milliseconds