/seL4-l4v-10.1.1/isabelle/lib/browser/GraphBrowser/ |
H A D | Spline.java | 22 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 D | Spline.java | 22 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 D | shapes.scala | 126 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 D | graph_panel.scala | 214 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 D | graphview.scala | 37 def translate_vertex(v: Layout.Vertex, dx: Double, dy: Double): Unit = 38 _layout = _layout.translate_vertex(v, dx, dy)
|
H A D | layout.scala | 370 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 D | shapes.scala | 126 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 D | graph_panel.scala | 214 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 D | graphview.scala | 37 def translate_vertex(v: Layout.Vertex, dx: Double, dy: Double): Unit = 38 _layout = _layout.translate_vertex(v, dx, dy)
|
H A D | layout.scala | 370 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 D | Transform.sml | 41 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 D | Scrollbar.sml | 153 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 D | Date.sml | 168 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 D | xwindows.cpp | 2667 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...] |