software/minizinc/docs/en/figures/handlers.svg at develop · dekker.one/on-restart-benchmarks

this repo has no description
on-restart-benchmarks / software / minizinc / docs / en / figures / handlers.svg
at develop 14 kB view raw view rendered
  1<?xml version="1.0" encoding="UTF-8" standalone="no"?>
  2<svg
  3   xmlns:dc="http://purl.org/dc/elements/1.1/"
  4   xmlns:cc="http://creativecommons.org/ns#"
  5   xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
  6   xmlns:svg="http://www.w3.org/2000/svg"
  7   xmlns="http://www.w3.org/2000/svg"
  8   viewBox="0 0 536 162.66667"
  9   height="162.66667"
 10   width="536"
 11   xml:space="preserve"
 12   id="svg2"
 13   version="1.1"><metadata
 14     id="metadata8"><rdf:RDF><cc:Work
 15         rdf:about=""><dc:format>image/svg+xml</dc:format><dc:type
 16           rdf:resource="http://purl.org/dc/dcmitype/StillImage" /></cc:Work></rdf:RDF></metadata><defs
 17     id="defs6" /><g
 18     transform="matrix(1.3333333,0,0,-1.3333333,0,162.66667)"
 19     id="g10"><g
 20       id="g12" /><g
 21       id="g14"><path
 22         id="path16"
 23         style="fill:#ffffff;fill-opacity:1;fill-rule:nonzero;stroke:none"
 24         d="m -51.5,-604.5 h 559 v 783 h -559 z" /><g
 25         transform="matrix(1,0,0,-1,22,16)"
 26         id="g18"><text
 27           id="text22"
 28           style="font-variant:normal;font-weight:normal;font-size:12px;font-family:Helvetica;-inkscape-font-specification:Helvetica;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none"
 29           transform="translate(-3.336914,4)"><tspan
 30             id="tspan20"
 31             y="0"
 32             x="0">0</tspan></text>
 33</g><g
 34         transform="matrix(1,0,0,-1,162.5,16)"
 35         id="g24"><text
 36           id="text28"
 37           style="font-variant:normal;font-weight:normal;font-size:12px;font-family:Helvetica;-inkscape-font-specification:Helvetica;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none"
 38           transform="translate(-6.673828,4)"><tspan
 39             id="tspan26"
 40             y="0"
 41             x="0 6.6743999">60</tspan></text>
 42</g><g
 43         transform="matrix(1,0,0,-1,310,16)"
 44         id="g30"><text
 45           id="text34"
 46           style="font-variant:normal;font-weight:normal;font-size:12px;font-family:Helvetica;-inkscape-font-specification:Helvetica;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none"
 47           transform="translate(-10.01074,4)"><tspan
 48             id="tspan32"
 49             y="0"
 50             x="0 6.6743999 13.3488">120</tspan></text>
 51</g><g
 52         transform="matrix(1,0,0,-1,94,16)"
 53         id="g36"><text
 54           id="text40"
 55           style="font-variant:normal;font-weight:normal;font-size:12px;font-family:Helvetica;-inkscape-font-specification:Helvetica;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none"
 56           transform="translate(-6.673828,4)"><tspan
 57             id="tspan38"
 58             y="0"
 59             x="0 6.6743999">30</tspan></text>
 60</g><g
 61         transform="matrix(1,0,0,-1,238,16)"
 62         id="g42"><text
 63           id="text46"
 64           style="font-variant:normal;font-weight:normal;font-size:12px;font-family:Helvetica;-inkscape-font-specification:Helvetica;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none"
 65           transform="translate(-6.673828,4)"><tspan
 66             id="tspan44"
 67             y="0"
 68             x="0 6.6743999">90</tspan></text>
 69</g><path
 70         id="path48"
 71         style="fill:#ffffff;fill-opacity:1;fill-rule:nonzero;stroke:none"
 72         d="M 21.25,33.5 H 165.5 v 54 H 21.25 Z" /><g
 73         transform="matrix(1,0,0,-1,-50.5,177.5)"
 74         id="g50"><path
 75           id="path52"
 76           style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:10;stroke-dasharray:none;stroke-opacity:1"
 77           d="M 71.75,90 H 216 v 54 H 71.75 Z" /></g><g
 78         transform="matrix(1,0,0,-1,92.875,61)"
 79         id="g54"><text
 80           id="text58"
 81           style="font-variant:normal;font-weight:normal;font-size:12px;font-family:Helvetica;-inkscape-font-specification:Helvetica;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none"
 82           transform="translate(-14.68066,4)"><tspan
 83             id="tspan56"
 84             y="0"
 85             x="0 6.6743999 9.3408003 16.0152 22.6896">piano</tspan></text>
 86</g><path
 87         id="path60"
 88         style="fill:#ffffff;fill-opacity:1;fill-rule:nonzero;stroke:none"
 89         d="M 237.75,69.5 H 310 v 18 h -72.25 z" /><g
 90         transform="matrix(1,0,0,-1,-50.5,177.5)"
 91         id="g62"><path
 92           id="path64"
 93           style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:10;stroke-dasharray:none;stroke-opacity:1"
 94           d="m 288.25,90 h 72.25 v 18 h -72.25 z" /></g><g
 95         transform="matrix(1,0,0,-1,273.375,79)"
 96         id="g66"><text
 97           id="text70"
 98           style="font-variant:normal;font-weight:normal;font-size:12px;font-family:Helvetica;-inkscape-font-specification:Helvetica;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none"
 99           transform="translate(-27.35449,4)"><tspan
100             id="tspan68"
101             y="0"
102             x="0 6 8.6664 15.3408 22.0152 24.681601 31.356001 34.689602 41.363998 48.038399">single bed</tspan></text>
103</g><path
104         id="path72"
105         style="fill:#ffffff;fill-opacity:1;fill-rule:nonzero;stroke:none"
106         d="M 21.25,87.5 H 58.5 v 18 H 21.25 Z" /><g
107         transform="matrix(1,0,0,-1,-50.5,177.5)"
108         id="g74"><path
109           id="path76"
110           style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:10;stroke-dasharray:none;stroke-opacity:1"
111           d="M 71.75,72 H 109 V 90 H 71.75 Z" /></g><g
112         transform="matrix(1,0,0,-1,39.375,97)"
113         id="g78"><text
114           id="text82"
115           style="font-variant:normal;font-weight:normal;font-size:12px;font-family:Helvetica;-inkscape-font-specification:Helvetica;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none"
116           transform="translate(-13.00488,4)"><tspan
117             id="tspan80"
118             y="0"
119             x="0 6 12.6744 19.348801 22.0152">chair</tspan></text>
120</g><path
121         id="path84"
122         style="fill:#ffffff;fill-opacity:1;fill-rule:nonzero;stroke:none"
123         d="m 56,87.5 h 37.25 v 18 H 56 Z" /><g
124         transform="matrix(1,0,0,-1,-50.5,177.5)"
125         id="g86"><path
126           id="path88"
127           style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:10;stroke-dasharray:none;stroke-opacity:1"
128           d="m 106.5,72 h 37.25 V 90 H 106.5 Z" /></g><g
129         transform="matrix(1,0,0,-1,74.125,97)"
130         id="g90"><text
131           id="text94"
132           style="font-variant:normal;font-weight:normal;font-size:12px;font-family:Helvetica;-inkscape-font-specification:Helvetica;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none"
133           transform="translate(-13.00488,4)"><tspan
134             id="tspan92"
135             y="0"
136             x="0 6 12.6744 19.348801 22.0152">chair</tspan></text>
137</g><g
138         transform="matrix(1,0,0,-1,13,34)"
139         id="g96"><text
140           id="text100"
141           style="font-variant:normal;font-weight:normal;font-size:12px;font-family:Helvetica;-inkscape-font-specification:Helvetica;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none"
142           transform="translate(-3.336914,4)"><tspan
143             id="tspan98"
144             y="0"
145             x="0">0</tspan></text>
146</g><g
147         transform="matrix(1,0,0,-1,13,52)"
148         id="g102"><text
149           id="text106"
150           style="font-variant:normal;font-weight:normal;font-size:12px;font-family:Helvetica;-inkscape-font-specification:Helvetica;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none"
151           transform="translate(-3.336914,4)"><tspan
152             id="tspan104"
153             y="0"
154             x="0">1</tspan></text>
155</g><g
156         transform="matrix(1,0,0,-1,13,70)"
157         id="g108"><text
158           id="text112"
159           style="font-variant:normal;font-weight:normal;font-size:12px;font-family:Helvetica;-inkscape-font-specification:Helvetica;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none"
160           transform="translate(-3.336914,4)"><tspan
161             id="tspan110"
162             y="0"
163             x="0">2</tspan></text>
164</g><g
165         transform="matrix(1,0,0,-1,13,88)"
166         id="g114"><text
167           id="text118"
168           style="font-variant:normal;font-weight:normal;font-size:12px;font-family:Helvetica;-inkscape-font-specification:Helvetica;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none"
169           transform="translate(-3.336914,4)"><tspan
170             id="tspan116"
171             y="0"
172             x="0">3</tspan></text>
173</g><g
174         transform="matrix(1,0,0,-1,13,106)"
175         id="g120"><text
176           id="text124"
177           style="font-variant:normal;font-weight:normal;font-size:12px;font-family:Helvetica;-inkscape-font-specification:Helvetica;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none"
178           transform="translate(-3.336914,4)"><tspan
179             id="tspan122"
180             y="0"
181             x="0">4</tspan></text>
182</g><path
183         id="path126"
184         style="fill:#ffffff;fill-opacity:1;fill-rule:nonzero;stroke:none"
185         d="m 165.5,33.5 h 108.25 v 36 H 165.5 Z" /><g
186         transform="matrix(1,0,0,-1,-50.5,177.5)"
187         id="g128"><path
188           id="path130"
189           style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:10;stroke-dasharray:none;stroke-opacity:1"
190           d="m 216,108 h 108.25 v 36 H 216 Z" /></g><g
191         transform="matrix(1,0,0,-1,219.125,52)"
192         id="g132"><text
193           id="text136"
194           style="font-variant:normal;font-weight:normal;font-size:12px;font-family:Helvetica;-inkscape-font-specification:Helvetica;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none"
195           transform="translate(-15.00879,4)"><tspan
196             id="tspan134"
197             y="0"
198             x="0 3.3336 7.3295999 9.9960003 16.670401 23.344801">fridge</tspan></text>
199</g><path
200         id="path138"
201         style="fill:#ffffff;fill-opacity:1;fill-rule:nonzero;stroke:none"
202         d="m 165.5,69.5 h 72.25 v 36 H 165.5 Z" /><g
203         transform="matrix(1,0,0,-1,-50.5,177.5)"
204         id="g140"><path
205           id="path142"
206           style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:10;stroke-dasharray:none;stroke-opacity:1"
207           d="m 216,72 h 72.25 v 36 H 216 Z" /></g><g
208         transform="matrix(1,0,0,-1,201.125,88)"
209         id="g144"><text
210           id="text148"
211           style="font-variant:normal;font-weight:normal;font-size:12px;font-family:Helvetica;-inkscape-font-specification:Helvetica;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none"
212           transform="translate(-29.69531,4)"><tspan
213             id="tspan146"
214             y="0"
215             x="0 6.6743999 13.3488 20.023199 26.697599 29.364 36.038399 39.376801 46.051201 52.725601">double bed</tspan></text>
216</g><path
217         id="path150"
218         style="fill:#ffffff;fill-opacity:1;fill-rule:nonzero;stroke:none"
219         d="m 310,33.5 h 49.69849 v 36 H 310 Z" /><g
220         transform="matrix(1,0,0,-1,-50.5,177.5)"
221         id="g152"><path
222           id="path154"
223           style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:10;stroke-dasharray:none;stroke-opacity:1"
224           d="m 360.5,108 h 49.69849 v 36 H 360.5 Z" /></g><g
225         transform="matrix(1,0,0,-1,334.3492,52)"
226         id="g156"><text
227           id="text160"
228           style="font-variant:normal;font-weight:normal;font-size:12px;font-family:Helvetica;-inkscape-font-specification:Helvetica;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none"
229           transform="translate(-13.00488,-3)"><tspan
230             id="tspan158"
231             y="0"
232             x="0 8.6664 15.3408 19.3368">ward</tspan></text>
233</g><g
234         transform="matrix(1,0,0,-1,334.3492,52)"
235         id="g162"><text
236           id="text166"
237           style="font-variant:normal;font-weight:normal;font-size:12px;font-family:Helvetica;-inkscape-font-specification:Helvetica;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none"
238           transform="translate(-12.00879,11)"><tspan
239             id="tspan164"
240             y="0"
241             x="0 3.9960001 10.6704 17.344801">robe</tspan></text>
242</g><path
243         id="path168"
244         style="fill:#ffffff;fill-opacity:1;fill-rule:nonzero;stroke:none"
245         d="M 272.75,33.5 H 310 v 36 h -37.25 z" /><g
246         transform="matrix(1,0,0,-1,-50.5,177.5)"
247         id="g170"><path
248           id="path172"
249           style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:10;stroke-dasharray:none;stroke-opacity:1"
250           d="m 323.25,108 h 37.25 v 36 h -37.25 z" /></g><g
251         transform="matrix(1,0,0,-1,290.875,52)"
252         id="g174"><text
253           id="text178"
254           style="font-variant:normal;font-weight:normal;font-size:12px;font-family:Helvetica;-inkscape-font-specification:Helvetica;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none"
255           transform="translate(-13.01074,4)"><tspan
256             id="tspan176"
257             y="0"
258             x="0 3.3336 10.0032 16.6728 19.3344">table</tspan></text>
259</g><g
260         transform="matrix(1,0,0,-1,382,16)"
261         id="g180"><text
262           id="text184"
263           style="font-variant:normal;font-weight:normal;font-size:12px;font-family:Helvetica;-inkscape-font-specification:Helvetica;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none"
264           transform="translate(-10.01074,4)"><tspan
265             id="tspan182"
266             y="0"
267             x="0 6.6743999 13.3488">150</tspan></text>
268</g></g></g></svg>