<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> <html> <head> <link rel="stylesheet" href="style.css" type="text/css"> <meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type"> <link rel="Start" href="index.html"> <link rel="previous" href="Graphviz.CommonAttributes.html"> <link rel="next" href="Graphviz.Dot.html"> <link rel="Up" href="Graphviz.html"> <link title="Index of types" rel=Appendix href="index_types.html"> <link title="Index of exceptions" rel=Appendix href="index_exceptions.html"> <link title="Index of values" rel=Appendix href="index_values.html"> <link title="Index of modules" rel=Appendix href="index_modules.html"> <link title="Index of module types" rel=Appendix href="index_module_types.html"> <link title="Sig" rel="Chapter" href="Sig.html"> <link title="Sig_pack" rel="Chapter" href="Sig_pack.html"> <link title="Dot_ast" rel="Chapter" href="Dot_ast.html"> <link title="Util" rel="Chapter" href="Util.html"> <link title="Persistent" rel="Chapter" href="Persistent.html"> <link title="Imperative" rel="Chapter" href="Imperative.html"> <link title="Delaunay" rel="Chapter" href="Delaunay.html"> <link title="Builder" rel="Chapter" href="Builder.html"> <link title="Classic" rel="Chapter" href="Classic.html"> <link title="Rand" rel="Chapter" href="Rand.html"> <link title="Oper" rel="Chapter" href="Oper.html"> <link title="Path" rel="Chapter" href="Path.html"> <link title="Traverse" rel="Chapter" href="Traverse.html"> <link title="Coloring" rel="Chapter" href="Coloring.html"> <link title="Topological" rel="Chapter" href="Topological.html"> <link title="Components" rel="Chapter" href="Components.html"> <link title="Kruskal" rel="Chapter" href="Kruskal.html"> <link title="Flow" rel="Chapter" href="Flow.html"> <link title="Graphviz" rel="Chapter" href="Graphviz.html"> <link title="Gml" rel="Chapter" href="Gml.html"> <link title="Dot" rel="Chapter" href="Dot.html"> <link title="Pack" rel="Chapter" href="Pack.html"> <link title="Gmap" rel="Chapter" href="Gmap.html"> <link title="Minsep" rel="Chapter" href="Minsep.html"> <link title="Cliquetree" rel="Chapter" href="Cliquetree.html"> <link title="Mcs_m" rel="Chapter" href="Mcs_m.html"> <link title="Md" rel="Chapter" href="Md.html"> <link title="Strat" rel="Chapter" href="Strat.html"><title>Graphviz.DotAttributes</title> </head> <body> <div class="navbar"><a href="Graphviz.CommonAttributes.html">Previous</a> <a href="Graphviz.html">Up</a> <a href="Graphviz.Dot.html">Next</a> </div> <center><h1>Module <a href="type_Graphviz.DotAttributes.html">Graphviz.DotAttributes</a></h1></center> <br> <pre><span class="keyword">module</span> DotAttributes: <code class="code">sig</code> <a href="Graphviz.DotAttributes.html">..</a> <code class="code">end</code></pre><code class="code">DotAttributes</code> extends <code class="code">CommonAttributes</code> and implements <code class="code">ATTRIBUTES</code>.<br> <hr width="100%"> <pre><span class="keyword">type</span> <a name="TYPEgraph"></a><code class="type"></code>graph = <code class="type">[ `Bgcolor of <a href="Graphviz.html#TYPEcolor">Graphviz.color</a><br> | `Center of bool<br> | `Comment of string<br> | `Concentrate of bool<br> | `Fontcolor of <a href="Graphviz.html#TYPEcolor">Graphviz.color</a><br> | `Fontname of string<br> | `Fontpath of string<br> | `Fontsize of int<br> | `Label of string<br> | `Layers of string list<br> | `Margin of float<br> | `Mclimit of float<br> | `Nodesep of float<br> | `Nslimit of int<br> | `Nslimit1 of int<br> | `OrderingOut<br> | `Orientation of [ `Landscape | `Portrait ]<br> | `Page of float * float<br> | `Pagedir of [ `LeftToRight | `TopToBottom ]<br> | `Quantum of float<br> | `Rankdir of [ `LeftToRight | `TopToBottom ]<br> | `Ranksep of float<br> | `Ratio of [ `Auto | `Compress | `Fill | `Float of float ]<br> | `Samplepoints of int<br> | `Size of float * float<br> | `Url of string ]</code> </pre> <div class="info"> Attributes of graphs. They include all common graph attributes and several specific ones. All attributes described in the "dot User's Manual, February 4, 2002" are handled, excepted: clusterank, color, compound, labeljust, labelloc, ordering, rank, remincross, rotate, searchsize and style.<br> </div> <pre><span class="keyword">type</span> <a name="TYPEvertex"></a><code class="type"></code>vertex = <code class="type">[ `Color of <a href="Graphviz.html#TYPEcolor">Graphviz.color</a><br> | `Comment of string<br> | `Distortion of float<br> | `Fillcolor of <a href="Graphviz.html#TYPEcolor">Graphviz.color</a><br> | `Fixedsize of bool<br> | `Fontcolor of <a href="Graphviz.html#TYPEcolor">Graphviz.color</a><br> | `Fontname of string<br> | `Fontsize of int<br> | `Height of float<br> | `Label of string<br> | `Layer of string<br> | `Orientation of float<br> | `Peripheries of int<br> | `Regular of bool<br> | `Shape of<br> [ `Box<br> | `Circle<br> | `Diamond<br> | `Doublecircle<br> | `Ellipse<br> | `Plaintext<br> | `Polygon of int * float<br> | `Record ]<br> | `Style of [ `Bold | `Dashed | `Dotted | `Filled | `Invis | `Solid ]<br> | `Url of string<br> | `Width of float<br> | `Z of float ]</code> </pre> <div class="info"> Attributes of nodes. They include all common node attributes and several specific ones. All attributes described in the "dot User's Manual, February 4, 2002" are handled, excepted: bottomlabel, group, shapefile and toplabel.<br> </div> <pre><span class="keyword">type</span> <a name="TYPEedge"></a><code class="type"></code>edge = <code class="type">[ `Arrowhead of <a href="Graphviz.html#TYPEarrow_style">Graphviz.arrow_style</a><br> | `Arrowsize of float<br> | `Arrowtail of <a href="Graphviz.html#TYPEarrow_style">Graphviz.arrow_style</a><br> | `Color of <a href="Graphviz.html#TYPEcolor">Graphviz.color</a><br> | `Comment of string<br> | `Constraints of bool<br> | `Decorate of bool<br> | `Dir of [ `Back | `Both | `Forward | `None ]<br> | `Fontcolor of <a href="Graphviz.html#TYPEcolor">Graphviz.color</a><br> | `Fontname of string<br> | `Fontsize of int<br> | `Headlabel of string<br> | `Headport of [ `E | `N | `NE | `NW | `S | `SE | `SW | `W ]<br> | `Headurl of string<br> | `Label of string<br> | `Labelangle of float<br> | `Labeldistance of float<br> | `Labelfloat of bool<br> | `Labelfontcolor of <a href="Graphviz.html#TYPEcolor">Graphviz.color</a><br> | `Labelfontname of string<br> | `Labelfontsize of int<br> | `Layer of string<br> | `Minlen of int<br> | `Samehead of string<br> | `Sametail of string<br> | `Style of [ `Bold | `Dashed | `Dotted | `Invis | `Solid ]<br> | `Taillabel of string<br> | `Tailport of [ `E | `N | `NE | `NW | `S | `SE | `SW | `W ]<br> | `Tailurl of string<br> | `Weight of int ]</code> </pre> <div class="info"> Attributes of edges. They include all common edge attributes and several specific ones. All attributes described in the "dot User's Manual, February 4, 2002" are handled, excepted: lhead and ltail.<br> </div> <br><code><span class="keyword">type</span> <a name="TYPEsubgraph"></a><code class="type"></code>subgraph = {</code><table class="typetable"> <tr> <td align="left" valign="top" > <code> </code></td> <td align="left" valign="top" > <code>sg_name : <code class="type">string</code>;</code></td> </tr> <tr> <td align="left" valign="top" > <code> </code></td> <td align="left" valign="top" > <code>sg_attributes : <code class="type"><a href="Graphviz.DotAttributes.html#TYPEvertex">vertex</a> list</code>;</code></td> </tr></table> } <div class="info"> Subgraphs have a name and some vertices.<br> </div> </body></html>