<?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"> <!-- Generated by graphviz version 2.38.0 (20140413.2041) --> <!-- Title: Invalidation Guarantees Pages: 1 --> <svg width="195pt" height="27pt" viewBox="0.00 0.00 195.00 27.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink"> <g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 23)"> <title>Invalidation Guarantees</title> <polygon fill="white" stroke="none" points="-4,4 -4,-23 191,-23 191,4 -4,4"/> <!-- Node1 --> <g id="node1" class="node"><title>Node1</title> <g id="a_node1"><a xlink:href="a01476.html" target="_top" xlink:title="Tags"> <polygon fill="white" stroke="black" points="0,-0.5 0,-18.5 37,-18.5 37,-0.5 0,-0.5"/> <text text-anchor="middle" x="18.5" y="-7.3" font-family="Helvetica,sans-Serif" font-size="9.00">Tags</text> </a> </g> </g> <!-- Node0 --> <g id="node2" class="node"><title>Node0</title> <polygon fill="#bfbfbf" stroke="black" points="73,-0.5 73,-18.5 187,-18.5 187,-0.5 73,-0.5"/> <text text-anchor="middle" x="130" y="-7.3" font-family="Helvetica,sans-Serif" font-size="9.00">Invalidation Guarantees</text> </g> <!-- Node1->Node0 --> <g id="edge1" class="edge"><title>Node1->Node0</title> <path fill="none" stroke="black" d="M47.334,-9.5C55.0976,-9.5 63.8223,-9.5 72.6036,-9.5"/> <polygon fill="black" stroke="black" points="47.0931,-6.0001 37.0931,-9.5 47.093,-13.0001 47.0931,-6.0001"/> </g> </g> </svg>