blob: 71682cca1627109c066aaee1475ac9bde5b5c798 (
plain)
1
2
3
4
5
6
|
<map id="plugins/datamodel/promela/parser" name="plugins/datamodel/promela/parser">
<area shape="rect" id="node1" href="dir_e6a6070638770f4ca71667876e845f16.html" title="parser" alt="" coords="27,52,99,100"/>
<area shape="rect" id="node2" href="dir_23ec12649285f9fabf3a6b7380226c28.html" title="util" alt="" coords="27,148,99,196"/>
<area shape="rect" id="edge1-headlabel" href="dir_000012_000022.html" title="1" alt="" coords="67,122,75,137"/>
<area shape="rect" id="clust1" href="dir_672dcfd9277f9ad29030da9749b32c8e.html" title="promela" alt="" coords="16,16,109,111"/>
</map>
|
