| /dports/math/py-or-tools/or-tools-9.2/examples/flatzinc/ |
| H A D | ormat_game_generate.fzn | 12 array [1..16] of var 0..1: overlays :: output_array([1..4, 1..4]);
13 constraint int_lin_eq([-1, -1, -1, -1], [overlays[1], overlays[2], overlays[3], overlays[4]], -1);
14 constraint int_lin_eq([-1, -1, -1, -1], [overlays[1], overlays[5], overlays[9], overlays[13]], -1);
15 constraint int_lin_eq([-1, -1, -1, -1], [overlays[2], overlays[6], overlays[10], overlays[14]], -1);
16 constraint int_lin_eq([-1, -1, -1, -1], [overlays[3], overlays[7], overlays[11], overlays[15]], -1);
17 constraint int_lin_eq([-1, -1, -1, -1], [overlays[4], overlays[8], overlays[12], overlays[16]], -1);
18 constraint int_lin_eq([-1, -1, -1, -1], [overlays[5], overlays[6], overlays[7], overlays[8]], -1);
19 constraint int_lin_eq([-1, -1, -1, -1], [overlays[9], overlays[10], overlays[11], overlays[12]], -1…
20 constraint int_lin_eq([-1, -1, -1, -1], [overlays[13], overlays[14], overlays[15], overlays[16]], -…
|
| /dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.platform.ua/org.eclipse.ui.cheatsheets/src/org/eclipse/ui/internal/cheatsheets/composite/explorer/ |
| H A D | AbstractOverlayIcon.java | 33 this(overlays, null); in AbstractOverlayIcon()
37 fOverlays = overlays; in AbstractOverlayIcon()
44 if (overlays == null) in drawBottomLeft()
46 int length = overlays.length; in drawBottomLeft()
49 if (i < length && overlays[i] != null) { in drawBottomLeft()
57 if (overlays == null) in drawBottomRight()
59 int length = overlays.length; in drawBottomRight()
91 if (overlays == null) in drawTopLeft()
93 int length = overlays.length; in drawTopLeft()
104 if (overlays == null) in drawTopRight()
[all …]
|
| /dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.platform.ua/org.eclipse.help.ui/src/org/eclipse/help/ui/internal/util/ |
| H A D | AbstractOverlayIcon.java | 34 this(overlays, null); in AbstractOverlayIcon()
38 fOverlays = overlays; in AbstractOverlayIcon()
45 if (overlays == null) in drawBottomLeft()
47 int length = overlays.length; in drawBottomLeft()
50 if (i < length && overlays[i] != null) { in drawBottomLeft()
58 if (overlays == null) in drawBottomRight()
60 int length = overlays.length; in drawBottomRight()
92 if (overlays == null) in drawTopLeft()
94 int length = overlays.length; in drawTopLeft()
105 if (overlays == null) in drawTopRight()
[all …]
|
| /dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.pde.ui/ui/org.eclipse.pde.ui/src/org/eclipse/pde/internal/ui/util/ |
| H A D | AbstractOverlayIcon.java | 34 this(overlays, null); in AbstractOverlayIcon()
38 fOverlays = overlays; in AbstractOverlayIcon()
46 if (overlays == null) in drawBottomLeft()
48 int length = overlays.length; in drawBottomLeft()
51 if (i < length && overlays[i] != null) { in drawBottomLeft()
60 if (overlays == null) in drawBottomRight()
62 int length = overlays.length; in drawBottomRight()
95 if (overlays == null) in drawTopLeft()
97 int length = overlays.length; in drawTopLeft()
109 if (overlays == null) in drawTopRight()
[all …]
|
| /dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.pde.ui/ui/org.eclipse.pde.runtime/src/org/eclipse/pde/internal/runtime/ |
| H A D | OverlayIcon.java | 35 fOverlays = overlays; in OverlayIcon()
43 fOverlays = overlays; in OverlayIcon()
48 if (overlays == null) in drawBottomLeft()
50 int length = overlays.length; in drawBottomLeft()
53 if (i < length && overlays[i] != null) { in drawBottomLeft()
62 if (overlays == null) in drawBottomRight()
64 int length = overlays.length; in drawBottomRight()
96 if (overlays == null) in drawTopLeft()
98 int length = overlays.length; in drawTopLeft()
110 if (overlays == null) in drawTopRight()
[all …]
|
| /dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.platform.ui/bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/ide/misc/ |
| H A D | OverlayIcon.java | 43 fOverlays = overlays; in OverlayIcon()
48 if (overlays == null) { in drawBottomLeft()
51 int length = overlays.length; in drawBottomLeft()
54 if (i < length && overlays[i] != null) { in drawBottomLeft()
63 if (overlays == null) { in drawBottomRight()
66 int length = overlays.length; in drawBottomRight()
69 if (i < length && overlays[i] != null) { in drawBottomRight()
108 if (overlays == null) { in drawTopLeft()
111 int length = overlays.length; in drawTopLeft()
123 if (overlays == null) { in drawTopRight()
[all …]
|
| /dports/devel/pytype/pytype-2021.9.9/pytype/ |
| H A D | overlay_dict.py | 11 from pytype.overlays import abc_overlay
13 from pytype.overlays import attr_overlay
14 from pytype.overlays import chex_overlay
16 from pytype.overlays import dataclass_overlay
17 from pytype.overlays import enum_overlay
18 from pytype.overlays import flax_overlay
19 from pytype.overlays import future_overlay
21 from pytype.overlays import six_overlay
23 from pytype.overlays import sys_overlay
25 from pytype.overlays import typing_overlay
[all …]
|
| /dports/www/qt5-webengine/qtwebengine-everywhere-src-5.15.2/src/3rdparty/chromium/ios/chrome/browser/ui/overlays/web_content_area/java_script_dialogs/ |
| H A D | BUILD.gn | 20 "//ios/chrome/browser/overlays",
25 "//ios/chrome/browser/ui/overlays:coordinators",
26 "//ios/chrome/browser/ui/overlays/common/alerts",
46 "//ios/chrome/browser/overlays",
51 "//ios/chrome/browser/ui/overlays:coordinators",
72 "//ios/chrome/browser/overlays",
77 "//ios/chrome/browser/ui/overlays:coordinators",
98 "//ios/chrome/browser/overlays",
128 "//ios/chrome/browser/overlays",
130 "//ios/chrome/browser/overlays/test",
[all …]
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/ios/chrome/browser/infobars/overlays/browser_agent/interaction_handlers/common/ |
| H A D | BUILD.gn | 20 "//ios/chrome/browser/infobars/overlays",
21 "//ios/chrome/browser/infobars/overlays:util",
23 "//ios/chrome/browser/overlays",
24 "//ios/chrome/browser/overlays/public/common/infobars",
25 "//ios/chrome/browser/overlays/public/infobar_banner",
26 "//ios/chrome/browser/overlays/public/infobar_modal",
44 "//ios/chrome/browser/infobars/overlays",
45 "//ios/chrome/browser/infobars/overlays:util",
51 "//ios/chrome/browser/overlays",
54 "//ios/chrome/browser/overlays/public/infobar_modal",
[all …]
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/ios/chrome/browser/ui/overlays/infobar_banner/ |
| H A D | BUILD.gn | 28 "//ios/chrome/browser/overlays",
29 "//ios/chrome/browser/overlays/public/common/infobars",
33 "//ios/chrome/browser/ui/overlays:coordinators",
34 "//ios/chrome/browser/ui/overlays:util",
55 "//ios/chrome/browser/overlays",
56 "//ios/chrome/browser/overlays/public/infobar_banner",
59 "//ios/chrome/browser/ui/overlays:coordinators",
73 "//ios/chrome/browser/overlays",
74 "//ios/chrome/browser/overlays/public/infobar_banner",
75 "//ios/chrome/browser/overlays/test",
[all …]
|
| /dports/java/phpeclipse/plugins/net.sourceforge.phpeclipse.ui/src/net/sourceforge/phpeclipse/ui/views/util/ |
| H A D | OverlayImageDescriptor.java | 50 ImageDescriptor[][] overlays) { in OverlayImageDescriptor() argument
51 this(base, overlays, null); in OverlayImageDescriptor()
68 this.overlays = overlays; in OverlayImageDescriptor()
87 if (overlays != null) { in drawCompositeImage()
88 if (overlays.length > 0) { in drawCompositeImage()
89 drawTopRight(overlays[0]); in drawCompositeImage()
91 if (overlays.length > 1) { in drawCompositeImage()
94 if (overlays.length > 2) { in drawCompositeImage()
95 drawBottomLeft(overlays[2]); in drawCompositeImage()
97 if (overlays.length > 3) { in drawCompositeImage()
[all …]
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/ios/chrome/browser/infobars/overlays/browser_agent/interaction_handlers/save_card/ |
| H A D | BUILD.gn | 24 "//ios/chrome/browser/infobars/overlays",
25 "//ios/chrome/browser/infobars/overlays:util",
29 "//ios/chrome/browser/overlays",
30 "//ios/chrome/browser/overlays/public/infobar_banner",
31 "//ios/chrome/browser/overlays/public/infobar_modal",
52 "//ios/chrome/browser/infobars/overlays",
53 "//ios/chrome/browser/infobars/overlays:util",
58 "//ios/chrome/browser/overlays",
59 "//ios/chrome/browser/overlays/public/common",
61 "//ios/chrome/browser/overlays/public/infobar_modal",
[all …]
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/ios/chrome/browser/infobars/overlays/browser_agent/interaction_handlers/translate/ |
| H A D | BUILD.gn | 24 "//ios/chrome/browser/infobars/overlays",
25 "//ios/chrome/browser/infobars/overlays:util",
29 "//ios/chrome/browser/overlays",
30 "//ios/chrome/browser/overlays/public/infobar_banner",
31 "//ios/chrome/browser/overlays/public/infobar_modal",
51 "//ios/chrome/browser/infobars/overlays",
52 "//ios/chrome/browser/infobars/overlays:util",
57 "//ios/chrome/browser/overlays",
58 "//ios/chrome/browser/overlays/public/common",
60 "//ios/chrome/browser/overlays/public/infobar_modal",
[all …]
|
| /dports/www/qt5-webengine/qtwebengine-everywhere-src-5.15.2/src/3rdparty/chromium/ios/chrome/browser/infobars/overlays/ |
| H A D | BUILD.gn | 5 source_set("overlays") {
29 "//ios/chrome/browser/overlays",
30 "//ios/chrome/browser/overlays/public/common/infobars",
31 "//ios/chrome/browser/overlays/public/infobar_banner",
32 "//ios/chrome/browser/overlays/public/infobar_modal",
55 "//ios/chrome/browser/overlays",
68 ":overlays",
71 "//ios/chrome/browser/overlays",
88 ":overlays",
97 "//ios/chrome/browser/overlays",
[all …]
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/ios/chrome/browser/infobars/overlays/ |
| H A D | BUILD.gn | 5 source_set("overlays") {
36 "//ios/chrome/browser/overlays",
37 "//ios/chrome/browser/overlays/public/common",
40 "//ios/chrome/browser/overlays/public/infobar_modal",
62 "//ios/chrome/browser/overlays",
77 ":overlays",
80 "//ios/chrome/browser/overlays",
101 ":overlays",
115 "//ios/chrome/browser/overlays",
116 "//ios/chrome/browser/overlays/public/common",
[all …]
|
| /dports/net/mosh/mosh-1.3.2/src/frontend/ |
| H A D | stmclient.cc | 122 overlays.set_title_prefix( wstring( L"[mosh] " ) ); in init()
190 overlays.get_notification_engine().set_escape_key_string( tmp ); in init()
201 overlays.get_notification_engine().server_heard( timestamp() ); in shutdown()
202 overlays.set_title_prefix( wstring( L"" ) ); in shutdown()
274 overlays.apply( new_state ); in output_new_frame()
361 overlays.get_notification_engine().set_notification_string( L"" ); in process_user_input()
405 overlays.get_prediction_engine().reset(); in process_resize()
431 int wait_time = min( network->wait_time(), overlays.wait_time() ); in main()
535 && (overlays.get_notification_engine().get_notification_string() in main()
537 overlays.get_notification_engine().set_notification_string( L"" ); in main()
[all …]
|
| /dports/games/marblemarcher/Marble-Marcher-Community-Edition-1.4.5/src/ |
| H A D | Gamemodes.h | 43 void OpenMainMenu(Scene * scene, Overlays * overlays);
45 void OpenCredits(Scene * scene, Overlays * overlays);
47 void OpenEditor(Scene * scene, Overlays * overlays, int level);
52 void OpenControlMenu(Scene * scene, Overlays * overlays);
56 void OpenPauseMenu(Scene * scene, Overlays * overlays);
58 void OpenScreenSaver(Scene * scene, Overlays * overlays);
64 void OpenLevelMenu(Scene* scene, Overlays* overlays);
65 void ConfirmLevelDeletion(int lvl, Scene* scene, Overlays* overlays);
67 void ConfirmEditorExit(Scene * scene, Overlays * overlays);
68 void ConfirmExit(Scene * scene, Overlays * overlays);
[all …]
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/ios/chrome/browser/infobars/overlays/browser_agent/ |
| H A D | BUILD.gn | 12 "//ios/chrome/browser/infobars/overlays",
13 "//ios/chrome/browser/infobars/overlays:util",
14 "//ios/chrome/browser/infobars/overlays/browser_agent/interaction_handlers",
16 "//ios/chrome/browser/overlays",
17 "//ios/chrome/browser/overlays/public/common/infobars",
18 "//ios/chrome/browser/overlays/public/infobar_banner",
52 "//ios/chrome/browser/infobars/overlays:overlay_type",
57 "//ios/chrome/browser/overlays",
58 "//ios/chrome/browser/overlays/public/common/infobars",
59 "//ios/chrome/browser/overlays/public/infobar_banner",
[all …]
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/ios/chrome/browser/ui/overlays/infobar_banner/translate/ |
| H A D | BUILD.gn | 14 "//ios/chrome/browser/overlays/public/common/infobars",
15 "//ios/chrome/browser/overlays/public/infobar_banner",
16 "//ios/chrome/browser/ui/overlays:coordinators",
32 "//ios/chrome/browser/overlays",
33 "//ios/chrome/browser/overlays/public/infobar_banner",
35 "//ios/chrome/browser/ui/overlays:coordinators",
55 "//ios/chrome/browser/overlays",
57 "//ios/chrome/browser/overlays/public/infobar_banner",
58 "//ios/chrome/browser/overlays/test",
63 "//ios/chrome/browser/ui/overlays:coordinators",
[all …]
|
| /dports/multimedia/gmerlin/gmerlin-1.2.0/lib/x11/ |
| H A D | glvideo.c | 49 texture_t * overlays; member
350 priv->overlays[i].width; in put_frame_gl()
353 priv->overlays[i].height; in put_frame_gl()
355 tex_x2 = (float)(priv->overlays[i].src_rect.x + priv->overlays[i].src_rect.w) / in put_frame_gl()
356 priv->overlays[i].width; in put_frame_gl()
358 tex_y2 = (float)(priv->overlays[i].src_rect.y + priv->overlays[i].src_rect.h) / in put_frame_gl()
402 priv->overlays = in add_overlay_stream_gl()
403 realloc(priv->overlays, in add_overlay_stream_gl()
480 if(priv->overlays) in close_gl()
482 free(priv->overlays); in close_gl()
[all …]
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/ios/chrome/browser/infobars/overlays/browser_agent/interaction_handlers/passwords/ |
| H A D | BUILD.gn | 23 "//ios/chrome/browser/infobars/overlays",
24 "//ios/chrome/browser/infobars/overlays:util",
28 "//ios/chrome/browser/overlays",
29 "//ios/chrome/browser/overlays/public/infobar_banner",
30 "//ios/chrome/browser/overlays/public/infobar_modal",
52 "//ios/chrome/browser/infobars/overlays",
53 "//ios/chrome/browser/infobars/overlays:util",
57 "//ios/chrome/browser/overlays",
59 "//ios/chrome/browser/overlays/public/infobar_banner",
60 "//ios/chrome/browser/overlays/public/infobar_modal",
[all …]
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/ios/chrome/browser/ui/overlays/infobar_modal/ |
| H A D | BUILD.gn | 30 "//ios/chrome/browser/overlays",
31 "//ios/chrome/browser/overlays/public/common/infobars",
34 "//ios/chrome/browser/ui/overlays:coordinators",
49 "//ios/chrome/browser/overlays",
50 "//ios/chrome/browser/overlays/public/infobar_modal",
53 "//ios/chrome/browser/ui/overlays:coordinators",
74 "//ios/chrome/browser/overlays",
75 "//ios/chrome/browser/overlays/public/infobar_modal",
76 "//ios/chrome/browser/overlays/test",
77 "//ios/chrome/browser/ui/overlays:coordinators",
[all …]
|
| /dports/www/qt5-webengine/qtwebengine-everywhere-src-5.15.2/src/3rdparty/chromium/ios/chrome/browser/infobars/overlays/browser_agent/interaction_handlers/common/ |
| H A D | BUILD.gn | 19 "//ios/chrome/browser/infobars/overlays:util",
20 "//ios/chrome/browser/infobars/overlays/browser_agent/interaction_handlers",
21 "//ios/chrome/browser/overlays",
22 "//ios/chrome/browser/overlays/public/common/infobars",
23 "//ios/chrome/browser/overlays/public/infobar_banner",
24 "//ios/chrome/browser/overlays/public/infobar_modal",
46 "//ios/chrome/browser/overlays",
47 "//ios/chrome/browser/overlays/public/common/infobars",
48 "//ios/chrome/browser/overlays/public/infobar_banner",
49 "//ios/chrome/browser/overlays/public/infobar_modal",
[all …]
|
| /dports/multimedia/clutter-gst3/clutter-gst-3.0.27/clutter-gst/ |
| H A D | clutter-gst-types.c | 125 ClutterGstOverlays *overlays = g_slice_new0 (ClutterGstOverlays); in clutter_gst_overlays_new() local
127 overlays->overlays = g_ptr_array_new_with_free_func (clutter_gst_overlay_free); in clutter_gst_overlays_new()
129 return overlays; in clutter_gst_overlays_new()
137 ClutterGstOverlays *overlays = clutter_gst_overlays_new (); in clutter_gst_overlays_copy() local
138 GPtrArray *src_overlays = ((ClutterGstOverlays *) data)->overlays; in clutter_gst_overlays_copy()
142 g_ptr_array_add (overlays->overlays, in clutter_gst_overlays_copy()
145 return overlays; in clutter_gst_overlays_copy()
156 ClutterGstOverlays *overlays = (ClutterGstOverlays *) data; in clutter_gst_overlays_free() local
158 g_ptr_array_unref (overlays->overlays); in clutter_gst_overlays_free()
160 g_slice_free (ClutterGstOverlays, overlays); in clutter_gst_overlays_free()
|
| /dports/www/qt5-webengine/qtwebengine-everywhere-src-5.15.2/src/3rdparty/chromium/ios/chrome/browser/ui/overlays/ |
| H A D | BUILD.gn | 5 source_set("overlays") {
31 "//ios/chrome/browser/ui/overlays/test",
39 "//ios/chrome/browser/overlays",
43 "//ios/chrome/browser/ui/overlays/infobar_banner",
44 "//ios/chrome/browser/ui/overlays/infobar_modal",
90 "//ios/chrome/browser/overlays",
108 "//ios/chrome/browser/overlays",
130 ":overlays",
135 "//ios/chrome/browser/overlays",
138 "//ios/chrome/browser/overlays/test",
[all …]
|