#!/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.asSyntax.RelExpr
	c13815 [label=<<table title="jason.asSyntax.RelExpr" border="0" cellborder="1" cellspacing="0" cellpadding="2" port="p" bgcolor="lemonChiffon" href="./RelExpr.html">
		<tr><td><table border="0" cellspacing="0" cellpadding="1">
<tr><td align="center" balign="center"> RelExpr </td></tr>
		</table></td></tr>
		</table>>, fontname="Helvetica", fontcolor="black", fontsize=14.0];
	// jason.asSyntax.RelExpr.RelationalOp
	c13816 [label=<<table title="jason.asSyntax.RelExpr.RelationalOp" border="0" cellborder="1" cellspacing="0" cellpadding="2" port="p" href="./RelExpr.RelationalOp.html">
		<tr><td><table border="0" cellspacing="0" cellpadding="1">
<tr><td align="center" balign="center"> &#171;enumeration&#187; </td></tr>
<tr><td align="center" balign="center"> RelationalOp </td></tr>
		</table></td></tr>
		<tr><td><table border="0" cellspacing="0" cellpadding="1">
<tr><td align="left" balign="left"> none </td></tr>
<tr><td align="left" balign="left"> gt </td></tr>
<tr><td align="left" balign="left"> gte </td></tr>
<tr><td align="left" balign="left"> lt </td></tr>
<tr><td align="left" balign="left"> lte </td></tr>
<tr><td align="left" balign="left"> eq </td></tr>
<tr><td align="left" balign="left"> dif </td></tr>
<tr><td align="left" balign="left"> unify </td></tr>
<tr><td align="left" balign="left"> literalBuilder </td></tr>
		</table></td></tr>
		</table>>, fontname="Helvetica", fontcolor="black", fontsize=14.0];
	// jason.asSyntax.LogicalFormula
	c13828 [label=<<table title="jason.asSyntax.LogicalFormula" border="0" cellborder="1" cellspacing="0" cellpadding="2" port="p" href="./LogicalFormula.html">
		<tr><td><table border="0" cellspacing="0" cellpadding="1">
<tr><td align="center" balign="center"> &#171;interface&#187; </td></tr>
<tr><td align="center" balign="center"> LogicalFormula </td></tr>
		</table></td></tr>
		</table>>, fontname="Helvetica", fontcolor="black", fontsize=14.0];
	// jason.asSyntax.BinaryStructure
	c13839 [label=<<table title="jason.asSyntax.BinaryStructure" border="0" cellborder="1" cellspacing="0" cellpadding="2" port="p" href="./BinaryStructure.html">
		<tr><td><table border="0" cellspacing="0" cellpadding="1">
<tr><td align="center" balign="center"><font face="Helvetica-Oblique"> BinaryStructure </font></td></tr>
		</table></td></tr>
		</table>>, fontname="Helvetica", fontcolor="black", fontsize=14.0];
	//jason.asSyntax.RelExpr extends jason.asSyntax.BinaryStructure
	c13839:p -> c13815:p [dir=back,arrowtail=empty];
	//jason.asSyntax.RelExpr implements jason.asSyntax.LogicalFormula
	c13828:p -> c13815:p [dir=back,arrowtail=empty,style=dashed];
	// jason.asSyntax.RelExpr NAVASSOC jason.asSyntax.RelExpr.RelationalOp
	c13815:p -> c13816:p [taillabel="", label="op", headlabel="", fontname="Helvetica", fontcolor="black", fontsize=10.0, color="black", arrowhead=open];
}

