+++ /dev/null
-<?xml version="1.0" encoding="utf-8" standalone="no"?>
-<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
-<svg xmlns="http://www.w3.org/2000/svg" xmlns:xl="http://www.w3.org/1999/xlink" version="1.1" viewBox="5 32 709 537" width="709pt" height="537pt" xmlns:dc="http://purl.org/dc/elements/1.1/"><metadata> Produced by OmniGraffle 6.1 <dc:date>2014-11-26 21:24:31 +0000</dc:date></metadata><defs><filter id="Shadow" filterUnits="userSpaceOnUse"><feGaussianBlur in="SourceAlpha" result="blur" stdDeviation="1.308"/><feOffset in="blur" result="offset" dx="0" dy="2"/><feFlood flood-color="black" flood-opacity=".5" result="flood"/><feComposite in="flood" in2="offset" operator="in" result="color"/><feMerge><feMergeNode in="color"/><feMergeNode in="SourceGraphic"/></feMerge></filter><font-face font-family="Helvetica" font-size="12" units-per-em="1000" underline-position="-75.683594" underline-thickness="49.316406" slope="0" x-height="522.94922" cap-height="717.28516" ascent="770.01953" descent="-229.98047" font-weight="500"><font-face-src><font-face-name name="Helvetica"/></font-face-src></font-face><font-face font-family="Helvetica" font-size="12" units-per-em="1000" underline-position="-75.683594" underline-thickness="49.316406" slope="0" x-height="532.22656" cap-height="719.72656" ascent="770.01953" descent="-229.98047" font-weight="bold"><font-face-src><font-face-name name="Helvetica-Bold"/></font-face-src></font-face><marker orient="auto" overflow="visible" markerUnits="strokeWidth" id="UMLInheritance_Marker" viewBox="-1 -8 14 16" markerWidth="14" markerHeight="16" color="black"><g><path d="M 12 0 L 0 -7 L 0 7 Z" fill="none" stroke="currentColor" stroke-width="1"/></g></marker><marker orient="auto" overflow="visible" markerUnits="strokeWidth" id="Arrow_Marker" viewBox="-1 -4 10 8" markerWidth="10" markerHeight="8" color="black"><g><path d="M 8 0 L 0 -3 L 0 3 Z" fill="none" stroke="currentColor" stroke-width="1"/></g></marker><marker orient="auto" overflow="visible" markerUnits="strokeWidth" id="FilledArrow_Marker" viewBox="-1 -4 10 8" markerWidth="10" markerHeight="8" color="black"><g><path d="M 8 0 L 0 -3 L 0 3 Z" fill="currentColor" stroke="currentColor" stroke-width="1"/></g></marker><font-face font-family="Helvetica" font-size="12" units-per-em="1000" underline-position="-75.683594" underline-thickness="49.316406" slope="-1e3" x-height="522.94922" cap-height="717.28516" ascent="770.01953" descent="-229.98047" font-style="italic" font-weight="500"><font-face-src><font-face-name name="Helvetica-Oblique"/></font-face-src></font-face><marker orient="auto" overflow="visible" markerUnits="strokeWidth" id="UMLInheritance_Marker_2" viewBox="-1 -8 14 16" markerWidth="14" markerHeight="16" color="gray"><g><path d="M 12 0 L 0 -7 L 0 7 Z" fill="none" stroke="currentColor" stroke-width="1"/></g></marker><font-face font-family="Monaco" font-size="10" units-per-em="1000" underline-position="-37.597656" underline-thickness="75.683594" slope="0" x-height="560.54688" cap-height="780.27344" ascent="1e3" descent="-250" font-weight="500"><font-face-src><font-face-name name="Monaco"/></font-face-src></font-face><marker orient="auto" overflow="visible" markerUnits="strokeWidth" id="StickArrow_Marker" viewBox="-1 -4 9 8" markerWidth="9" markerHeight="8" color="blue"><g><path d="M 6.3999996 0 L 0 0 M 0 -2.3999999 L 6.3999996 0 L 0 2.3999999" fill="none" stroke="currentColor" stroke-width="1"/></g></marker><marker orient="auto" overflow="visible" markerUnits="strokeWidth" id="Ball_Marker" viewBox="-6 -4 7 8" markerWidth="7" markerHeight="8" color="blue"><g><circle cx="-2.3999988" cy="0" r="2.3999977" fill="none" stroke="currentColor" stroke-width="1"/></g></marker><font-face font-family="Helvetica" font-size="13" units-per-em="1000" underline-position="-75.683594" underline-thickness="49.316406" slope="0" x-height="522.94922" cap-height="717.28516" ascent="770.01953" descent="-229.98047" font-weight="500"><font-face-src><font-face-name name="Helvetica"/></font-face-src></font-face></defs><g stroke="none" stroke-opacity="1" stroke-dasharray="none" fill="none" fill-opacity="1"><title>Canvas 1</title><rect fill="white" width="768.0188" height="588.0188"/><g><title>Layer 1</title><rect x="67.3713" y="354" width="232.664" height="103.055" fill="#dee4ff"/><rect x="67.3713" y="354" width="232.664" height="103.055" stroke="silver" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><rect x="251.917" y="60.5674" width="137.5" height="101.779" fill="#fff9ab"/><rect x="251.917" y="60.5674" width="137.5" height="101.779" stroke="silver" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><rect x="45" y="191.359" width="261" height="127.641" fill="#aebcff"/><rect x="45" y="191.359" width="261" height="127.641" stroke="silver" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><rect x="336" y="193" width="367" height="236.266" fill="#a7ffb4"/><rect x="336" y="193" width="367" height="236.266" stroke="silver" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><g filter="url(#Shadow)"><rect x="126.92008" y="233.5" width="105.75" height="14" fill="white"/><rect x="126.92008" y="233.5" width="105.75" height="14" stroke="red" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(131.92008 233.5)" fill="red"><tspan font-family="Helvetica" font-size="12" font-weight="500" fill="red" x="0" y="11" textLength="47.34375">search ()</tspan></text></g><g filter="url(#Shadow)"><rect x="126.92008" y="219.5" width="105.75" height="14" fill="white"/><rect x="126.92008" y="219.5" width="105.75" height="14" stroke="red" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(131.92008 219.5)" fill="red"><tspan font-family="Helvetica" font-size="12" font-weight="500" fill="red" x="0" y="11" textLength="37.330078">VM vm</tspan></text></g><g filter="url(#Shadow)"><rect x="126.92008" y="205.5" width="105.75" height="14" fill="white"/><rect x="126.92008" y="205.5" width="105.75" height="14" stroke="red" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(131.92008 205.5)" fill="red"><tspan font-family="Helvetica" font-size="12" font-weight="bold" fill="red" x="27.862305" y="11" textLength="40.02539">Search</tspan></text></g><line x1="179.49" y1="268.089" x2="179.59506" y2="260.99852" marker-end="url(#UMLInheritance_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><g filter="url(#Shadow)"><rect x="353.25" y="219.5" width="105.75" height="42" fill="white"/><rect x="353.25" y="219.5" width="105.75" height="42" stroke="red" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(358.25 219.5)" fill="red"><tspan font-family="Helvetica" font-size="12" font-weight="500" fill="red" x="0" y="11" textLength="51.339844">forward ()</tspan><tspan font-family="Helvetica" font-size="12" font-weight="500" fill="red" x="0" y="25" textLength="62.677734">backtrack ()</tspan><tspan font-family="Helvetica" font-size="12" font-weight="500" fill="red" x="0" y="39" textLength="76.69336">restoreState ()</tspan></text></g><g filter="url(#Shadow)"><rect x="353.25" y="205.5" width="105.75" height="14" fill="white"/><rect x="353.25" y="205.5" width="105.75" height="14" stroke="red" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(358.25 205.5)" fill="red"><tspan font-family="Helvetica" font-size="12" font-weight="bold" fill="red" x="38.875" y="11" textLength="18">VM</tspan></text></g><g filter="url(#Shadow)"><rect x="60.625" y="289" width="105.75" height="14" fill="white"/><rect x="60.625" y="289" width="105.75" height="14" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(65.625 289)" fill="gray"><tspan font-family="Helvetica" font-size="12" font-weight="500" fill="gray" x="0" y="11" textLength="47.34375">search ()</tspan></text></g><g filter="url(#Shadow)"><rect x="60.625" y="275" width="105.75" height="14" fill="white"/><rect x="60.625" y="275" width="105.75" height="14" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(65.625 275)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="bold" x="19.864258" y="11" textLength="56.021484">DFSearch</tspan></text></g><g filter="url(#Shadow)"><rect x="263.917" y="105.328" width="114" height="14" fill="white"/><rect x="263.917" y="105.328" width="114" height="14" stroke="red" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(268.917 105.328)" fill="red"><tspan font-family="Helvetica" font-size="12" font-weight="500" fill="red" x="0" y="11" textLength="28.669922">run ()</tspan></text></g><g filter="url(#Shadow)"><rect x="263.917" y="91.3279" width="114" height="14" fill="white"/><rect x="263.917" y="91.3279" width="114" height="14" stroke="red" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(268.917 91.3279)" fill="red"><tspan font-family="Helvetica" font-size="12" font-weight="500" fill="red" x="0" y="11" textLength="90.697266">search, vm, confi</tspan><tspan font-family="Helvetica" font-size="12" font-weight="500" fill="red" x="90.697266" y="11" textLength="6.673828">g</tspan></text></g><g filter="url(#Shadow)"><rect x="263.917" y="77.3279" width="114" height="14" fill="white"/><rect x="263.917" y="77.3279" width="114" height="14" stroke="red" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(268.917 77.3279)" fill="red"><tspan font-family="Helvetica" font-size="12" font-weight="bold" fill="red" x="40.996094" y="11" textLength="22.007812">JPF</tspan></text></g><path d="M 263.917 113.349 L 31.6528 111.887 L 31 284 L 43.1 284" marker-end="url(#Arrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1" stroke-dasharray="2,2"/><path d="M 377.917 111.887 L 483.589 111.925 L 483.312 205.5 L 468.9 205.5" marker-end="url(#Arrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1" stroke-dasharray="2,2"/><line x1="232.67008" y1="226.5" x2="343.35009" y2="226.04105" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><g filter="url(#Shadow)"><rect x="371.194" y="340.3" width="122" height="28" fill="white"/><rect x="371.194" y="340.3" width="122" height="28" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(376.194 340.3)" fill="gray"><tspan font-family="Helvetica" font-size="12" font-weight="500" fill="gray" x="0" y="11" textLength="49.359375">executeT</tspan><tspan font-family="Helvetica" font-size="12" font-weight="500" fill="gray" x="48.919922" y="11" textLength="56.683594">ransition ()</tspan><tspan font-family="Helvetica" font-size="12" font-weight="500" fill="gray" x="0" y="25" textLength="108.714844">executeInstruction ()</tspan></text></g><g filter="url(#Shadow)"><rect x="371.194" y="326.3" width="122" height="14" fill="white"/><rect x="371.194" y="326.3" width="122" height="14" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(376.194 326.3)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="bold" x="25.000977" y="11" textLength="61.998047">ThreadInfo</tspan></text></g><g filter="url(#Shadow)"><rect x="341.325" y="292.463" width="145" height="28" fill="white"/><rect x="341.325" y="292.463" width="145" height="28" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(346.325 292.463)" fill="gray"><tspan font-family="Helvetica" font-size="12" font-weight="500" fill="gray" x="0" y="11" textLength="74.689453">initializeNextT</tspan><tspan font-family="Helvetica" font-size="12" font-weight="500" fill="gray" x="74.25" y="11" textLength="53.34961">ransition()</tspan><tspan font-family="Helvetica" font-size="12" font-weight="500" fill="gray" x="0" y="25" textLength="74.033203">executeNextT</tspan><tspan font-family="Helvetica" font-size="12" font-weight="500" fill="gray" x="73.59375" y="25" textLength="53.34961">ransition()</tspan></text></g><g filter="url(#Shadow)"><rect x="341.325" y="278.463" width="145" height="14" fill="white"/><rect x="341.325" y="278.463" width="145" height="14" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(346.325 278.463)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="bold" x="31.482422" y="11" textLength="72.035156">SystemState</tspan></text></g><g filter="url(#Shadow)"><rect x="591.25" y="232.411" width="82.375" height="20.589" fill="white"/><rect x="591.25" y="232.411" width="82.375" height="20.589" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(596.25 235.7055)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="bold" x="9.1816406" y="11" textLength="54.01172">ClassInfo</tspan></text></g><g filter="url(#Shadow)"><rect x="605.438" y="258.411" width="82.375" height="20.589" fill="white"/><rect x="605.438" y="258.411" width="82.375" height="20.589" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(610.438 261.7055)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="bold" x="3.8642578" y="11" textLength="64.646484">MethodInfo</tspan></text></g><g filter="url(#Shadow)"><rect x="606.25" y="284.411" width="82.375" height="20.589" fill="white"/><rect x="606.25" y="284.411" width="82.375" height="20.589" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(611.25 287.7055)" fill="gray"><tspan font-family="Helvetica" font-size="12" font-weight="bold" fill="gray" x="11.191406" y="11" textLength="49.992188">FieldInfo</tspan></text></g><g filter="url(#Shadow)"><rect x="500.625" y="279.161" width="82.375" height="20.589" fill="white"/><rect x="500.625" y="279.161" width="82.375" height="20.589" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(505.625 282.4555)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="bold" x="1.8515625" y="11" textLength="68.671875">ElementInfo</tspan></text></g><g filter="url(#Shadow)"><rect x="515.594" y="305.161" width="67.0625" height="20.589" fill="white"/><rect x="515.594" y="305.161" width="67.0625" height="20.589" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(520.594 308.4555)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="bold" x="11.1933594" y="11" textLength="34.675781">Fields</tspan></text></g><g filter="url(#Shadow)"><rect x="515.938" y="330.161" width="67.0625" height="20.589" fill="white"/><rect x="515.938" y="330.161" width="67.0625" height="20.589" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(520.938 333.4555)" fill="gray"><tspan font-family="Helvetica" font-size="12" font-weight="bold" fill="gray" x="6.538086" y="11" textLength="43.986328">Monitor</tspan></text></g><g filter="url(#Shadow)"><rect x="485.938" y="251.456" width="82.375" height="20.589" fill="white"/><rect x="485.938" y="251.456" width="82.375" height="20.589" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(490.938 254.7505)" fill="gray"><tspan font-family="Helvetica" font-size="12" font-weight="bold" fill="gray" x="16.511719" y="11" textLength="39.351562">Statics</tspan></text></g><text transform="translate(374.731 408.79)" fill="blue"><tspan font-family="Helvetica" font-size="12" font-style="italic" font-weight="500" fill="blue" x=".12988281" y="11" textLength="106.740234">bytecode execution</tspan></text><text transform="translate(611.5 312.411)" fill="blue"><tspan font-family="Helvetica" font-size="12" font-style="italic" font-weight="500" fill="blue" x=".31054688" y="11" textLength="62.378906">type + code</tspan><tspan font-family="Helvetica" font-size="12" font-style="italic" font-weight="500" fill="blue" x="18.161133" y="25" textLength="26.677734">mgnt</tspan></text><text transform="translate(536.5 357.572)" fill="blue"><tspan font-family="Helvetica" font-size="12" font-style="italic" font-weight="500" fill="blue" x=".4892578" y="11" textLength="32.021484">object</tspan><tspan font-family="Helvetica" font-size="12" font-style="italic" font-weight="500" fill="blue" x=".158203125" y="25" textLength="32.683594">model</tspan></text><rect x="251.917" y="43.7905" width="78" height="17.1216" fill="#fff9ab"/><rect x="251.917" y="43.7905" width="78" height="17.1216" stroke="silver" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(256.917 45.3513)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x="2.0869141" y="11" textLength="19.347656">gov</tspan><tspan font-family="Helvetica" font-size="12" font-weight="500" x="20.549805" y="11" textLength="45.36328">.nasa.jpf</tspan></text><rect x="45" y="173" width="114" height="18" fill="#aebcff"/><rect x="45" y="173" width="114" height="18" stroke="silver" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(50 175)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x=".41113281" y="11" textLength="19.347656">gov</tspan><tspan font-family="Helvetica" font-size="12" font-weight="500" x="18.874023" y="11" textLength="84.714844">.nasa.jpf.search</tspan></text><g filter="url(#Shadow)"><rect x="183.625" y="377.236" width="105.75" height="14" fill="white"/><rect x="183.625" y="377.236" width="105.75" height="14" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(188.625 377.236)" fill="gray"><tspan font-family="Helvetica" font-size="12" font-weight="500" fill="gray" x="0" y="11" textLength="47.34375">search ()</tspan></text></g><g filter="url(#Shadow)"><rect x="183.625" y="363.236" width="105.75" height="14" fill="white"/><rect x="183.625" y="363.236" width="105.75" height="14" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(188.625 363.236)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="bold" x="2.1865234" y="11" textLength="91.376953">HeuristicSearch</tspan></text></g><path d="M 113.5 275 L 113.5 268 L 236.5 268 L 236.5 356.236 L 236.5 363.236" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><rect x="336" y="175" width="97.375" height="18" fill="#a7ffb4"/><rect x="336" y="175" width="97.375" height="18" stroke="silver" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(341 177)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x="2.109375" y="11" textLength="19.347656">gov</tspan><tspan font-family="Helvetica" font-size="12" font-weight="500" x="20.572266" y="11" textLength="64.69336">.nasa.jpf.vm</tspan></text><rect x="67.3713" y="336" width="162" height="18" fill="#dee4ff"/><rect x="67.3713" y="336" width="162" height="18" stroke="silver" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(72.3713 338)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x=".40234375" y="11" textLength="19.347656">gov</tspan><tspan font-family="Helvetica" font-size="12" font-weight="500" x="18.865234" y="11" textLength="132.73242">.nasa.jpf.search.heuristic</tspan></text><line x1="236.275" y1="419.43" x2="236.39227" y2="404.73557" marker-end="url(#UMLInheritance_Marker_2)" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><rect x="396" y="467.057" width="166.625" height="90" fill="#deffe8"/><rect x="396" y="467.057" width="166.625" height="90" stroke="silver" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><rect x="396" y="449.057" width="162" height="18" fill="#deffe8"/><rect x="396" y="449.057" width="162" height="18" stroke="silver" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(401 451.057)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="500" x="8.4033203" y="11" textLength="19.347656">gov</tspan><tspan font-family="Helvetica" font-size="12" font-weight="500" x="26.866211" y="11" textLength="116.73047">.nasa.jpf.vm.bytecode</tspan></text><g filter="url(#Shadow)"><rect x="416.125" y="485.057" width="122" height="14" fill="white"/><rect x="416.125" y="485.057" width="122" height="14" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(421.125 485.057)" fill="gray"><tspan font-family="Helvetica" font-size="12" font-weight="500" fill="gray" x="0" y="11" textLength="53.35547">execute ()</tspan></text></g><g filter="url(#Shadow)"><rect x="416.125" y="471.057" width="122" height="14" fill="white"/><rect x="416.125" y="471.057" width="122" height="14" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(421.125 471.057)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="bold" x="25.000977" y="11" textLength="61.998047">Instruction</tspan></text></g><line x1="476.365" y1="520.646" x2="476.3219" y2="512.5568" marker-end="url(#UMLInheritance_Marker_2)" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><g filter="url(#Shadow)"><rect x="459.25" y="525.351" width="43" height="18" fill="white"/><rect x="459.25" y="525.351" width="43" height="18" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(464.25 527.351)" fill="gray"><tspan font-family="Helvetica" font-size="12" font-weight="bold" fill="gray" x="11.4990234" y="11" textLength="10.001953">...</tspan></text></g><rect x="455.25" y="521.351" width="43" height="18" fill="white"/><rect x="455.25" y="521.351" width="43" height="18" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(460.25 523.351)" fill="gray"><tspan font-family="Helvetica" font-size="12" font-weight="bold" fill="gray" x="11.4990234" y="11" textLength="10.001953">...</tspan></text><path d="M 371.194 347.3 L 353.25 347.55 L 353.25 485.057 L 406.225 485.057" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><g filter="url(#Shadow)"><rect x="251.917" y="274.824" width="43" height="18" fill="white"/><rect x="251.917" y="274.824" width="43" height="18" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(256.917 276.824)" fill="gray"><tspan font-family="Helvetica" font-size="12" font-weight="bold" fill="gray" x="11.4990234" y="11" textLength="10.001953">...</tspan></text></g><path d="M 235.68224 268 L 272.978 268 L 273.417 274.824" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><g filter="url(#Shadow)"><rect x="183.4" y="433.43" width="105.75" height="14" fill="white"/><rect x="183.4" y="433.43" width="105.75" height="14" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(188.4 433.43)" fill="gray"><tspan font-family="Helvetica" font-size="12" font-weight="500" fill="gray" x="0" y="11" textLength="47.34375">search ()</tspan></text></g><g filter="url(#Shadow)"><rect x="183.4" y="419.43" width="105.75" height="14" fill="white"/><rect x="183.4" y="419.43" width="105.75" height="14" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(188.4 419.43)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="bold" x="10.199219" y="11" textLength="75.351562">BFSHeuristic</tspan></text></g><g filter="url(#Shadow)"><rect x="108" y="419.253" width="43" height="18" fill="white"/><rect x="108" y="419.253" width="43" height="18" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(113 421.253)" fill="gray"><tspan font-family="Helvetica" font-size="12" font-weight="bold" fill="gray" x="11.4990234" y="11" textLength="10.001953">...</tspan></text></g><path d="M 235.682 410.984 L 129.425 410.984 L 129.5 419.253" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(31 471.057)" fill="blue"><tspan font-family="Monaco" font-size="10" font-weight="500" fill="blue" x="0" y="10" textLength="102.0166">while (notDone) {</tspan><tspan font-family="Monaco" font-size="10" font-weight="500" fill="blue" x="0" y="24" textLength="96.015625"> ..vm.forward();</tspan><tspan font-family="Monaco" font-size="10" font-weight="500" fill="blue" x="0" y="38" textLength="108.01758"> ..vm.backtrack();</tspan><tspan font-family="Monaco" font-size="10" font-weight="500" fill="blue" x="0" y="52" textLength="156.02539"> if (!properties.check()){</tspan><tspan font-family="Monaco" font-size="10" font-weight="500" fill="blue" x="0" y="66" textLength="168.02734"> reportError(); break; ...</tspan></text><path d="M 48.938554 304.05756 C 43.085163 312.15881 30.529805 331.16365 22.8773 354.647 C 12.6393 386.0645 17.02699 410.2525 22.8773 427.469 C 26.786267 438.97245 34.286499 452.55632 39.54308 460.30485" marker-end="url(#StickArrow_Marker)" marker-start="url(#Ball_Marker)" stroke="blue" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(142.526 127.115)" fill="black"><tspan font-family="Helvetica" font-size="13" font-weight="500" x="0" y="13" textLength="90.67627">search.class=...</tspan></text><text transform="translate(405.865 127)" fill="black"><tspan font-family="Helvetica" font-size="13" font-weight="500" x="0" y="13" textLength="68.98633">vm.class=...</tspan></text><g filter="url(#Shadow)"><rect x="396.381" y="390.67" width="105.75" height="14" fill="white"/><rect x="396.381" y="390.67" width="105.75" height="14" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(401.381 390.67)" fill="gray"><tspan font-family="Helvetica" font-size="12" font-weight="500" fill="gray" x="0" y="11" textLength="85.365234">push (), pop() ...</tspan></text></g><g filter="url(#Shadow)"><rect x="396.381" y="376.67" width="105.75" height="14" fill="white"/><rect x="396.381" y="376.67" width="105.75" height="14" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(401.381 377.67)" fill="black"><tspan font-family="Helvetica" font-size="12" font-weight="bold" x="13.855469" y="11" textLength="68.039062">StackFrame</tspan></text></g><g filter="url(#Shadow)"><rect x="292.164" y="131.276" width="82.375" height="20.589" fill="white"/><rect x="292.164" y="131.276" width="82.375" height="20.589" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(297.164 134.5705)" fill="gray"><tspan font-family="Helvetica" font-size="12" font-weight="bold" fill="gray" x="17.194336" y="11" textLength="30.65625">Confi</tspan><tspan font-family="Helvetica" font-size="12" font-weight="bold" fill="gray" x="47.850586" y="11" textLength="7.330078">g</tspan></text></g><g filter="url(#Shadow)"><rect x="488.713" y="222.411" width="67.0625" height="20.589" fill="white"/><rect x="488.713" y="222.411" width="67.0625" height="20.589" stroke="gray" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/><text transform="translate(493.713 225.7055)" fill="gray"><tspan font-family="Helvetica" font-size="12" font-weight="bold" fill="gray" x="13.859375" y="11" textLength="29.34375">Heap</tspan></text></g></g></g></svg>
projects / jpf-core.git / blobdiff
