#!/usr/local/bin/dot
#
# Class diagram 
# Generated by UMLGraph version 5.1 (http://www.umlgraph.org/)
#

digraph G {
	edge [fontname="Helvetica",fontsize=10,labelfontname="Helvetica",labelfontsize=10];
	node [fontname="Helvetica",fontsize=10,shape=plaintext];
	nodesep=0.25;
	ranksep=0.5;
	// jason.stdlib.union
	c45805 [label=<<table title="jason.stdlib.union" border="0" cellborder="1" cellspacing="0" cellpadding="2" port="p" bgcolor="lemonChiffon" href="./union.html">
		<tr><td><table border="0" cellspacing="0" cellpadding="1">
<tr><td align="center" balign="center"> union </td></tr>
		</table></td></tr>
		</table>>, fontname="Helvetica", fontcolor="black", fontsize=14.0];
	// jason.stdlib.difference
	c45857 [label=<<table title="jason.stdlib.difference" border="0" cellborder="1" cellspacing="0" cellpadding="2" port="p" href="./difference.html">
		<tr><td><table border="0" cellspacing="0" cellpadding="1">
<tr><td align="center" balign="center"> difference </td></tr>
		</table></td></tr>
		</table>>, fontname="Helvetica", fontcolor="black", fontsize=14.0];
	//jason.stdlib.union extends jason.stdlib.difference
	c45857:p -> c45805:p [dir=back,arrowtail=empty];
}

