/usr/share/doc/liboasis-ocaml-doc/oasis/OASISGraph.html is in liboasis-ocaml-doc 0.3.0-4.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 | <!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="OASISHostPath.html">
<link rel="next" href="BaseArgExt.html">
<link rel="Up" href="index.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="FormatExt" rel="Chapter" href="FormatExt.html">
<link title="FormatMarkdown" rel="Chapter" href="FormatMarkdown.html">
<link title="ODNFunc" rel="Chapter" href="ODNFunc.html">
<link title="PropList" rel="Chapter" href="PropList.html">
<link title="OASISUtils" rel="Chapter" href="OASISUtils.html">
<link title="OASISUnixPath" rel="Chapter" href="OASISUnixPath.html">
<link title="OASISContext" rel="Chapter" href="OASISContext.html">
<link title="OASISGettext" rel="Chapter" href="OASISGettext.html">
<link title="OASISMessage" rel="Chapter" href="OASISMessage.html">
<link title="OASISTypes" rel="Chapter" href="OASISTypes.html">
<link title="OASISParse" rel="Chapter" href="OASISParse.html">
<link title="OASISValues" rel="Chapter" href="OASISValues.html">
<link title="OASISExpr" rel="Chapter" href="OASISExpr.html">
<link title="OASISVersion" rel="Chapter" href="OASISVersion.html">
<link title="OASISLicense" rel="Chapter" href="OASISLicense.html">
<link title="OASISFileTemplate" rel="Chapter" href="OASISFileTemplate.html">
<link title="OASISBuildSection" rel="Chapter" href="OASISBuildSection.html">
<link title="OASISDocument" rel="Chapter" href="OASISDocument.html">
<link title="OASISExecutable" rel="Chapter" href="OASISExecutable.html">
<link title="OASISFlag" rel="Chapter" href="OASISFlag.html">
<link title="OASISLibrary" rel="Chapter" href="OASISLibrary.html">
<link title="OASISPackage" rel="Chapter" href="OASISPackage.html">
<link title="OASISSourceRepository" rel="Chapter" href="OASISSourceRepository.html">
<link title="OASISTest" rel="Chapter" href="OASISTest.html">
<link title="OASISPlugin" rel="Chapter" href="OASISPlugin.html">
<link title="OASISSchema" rel="Chapter" href="OASISSchema.html">
<link title="OASISSection" rel="Chapter" href="OASISSection.html">
<link title="OASISData" rel="Chapter" href="OASISData.html">
<link title="OASISString" rel="Chapter" href="OASISString.html">
<link title="OASISExec" rel="Chapter" href="OASISExec.html">
<link title="OASISFileUtil" rel="Chapter" href="OASISFileUtil.html">
<link title="OASISHostPath" rel="Chapter" href="OASISHostPath.html">
<link title="OASISGraph" rel="Chapter" href="OASISGraph.html">
<link title="BaseArgExt" rel="Chapter" href="BaseArgExt.html">
<link title="BaseBuilt" rel="Chapter" href="BaseBuilt.html">
<link title="BaseCheck" rel="Chapter" href="BaseCheck.html">
<link title="BaseCustom" rel="Chapter" href="BaseCustom.html">
<link title="BaseData" rel="Chapter" href="BaseData.html">
<link title="BaseDoc" rel="Chapter" href="BaseDoc.html">
<link title="BaseEnvLight" rel="Chapter" href="BaseEnvLight.html">
<link title="BaseEnv" rel="Chapter" href="BaseEnv.html">
<link title="BaseFileAB" rel="Chapter" href="BaseFileAB.html">
<link title="BaseGenerate" rel="Chapter" href="BaseGenerate.html">
<link title="BaseLog" rel="Chapter" href="BaseLog.html">
<link title="BaseOCamlcConfig" rel="Chapter" href="BaseOCamlcConfig.html">
<link title="BaseSetup" rel="Chapter" href="BaseSetup.html">
<link title="BaseStandardVar" rel="Chapter" href="BaseStandardVar.html">
<link title="BaseTest" rel="Chapter" href="BaseTest.html">
<link title="BaseDynVar" rel="Chapter" href="BaseDynVar.html">
<link title="BaseMessage" rel="Chapter" href="BaseMessage.html">
<link title="BaseContext" rel="Chapter" href="BaseContext.html">
<link title="SubCommand" rel="Chapter" href="SubCommand.html">
<link title="ArgExt" rel="Chapter" href="ArgExt.html">
<link title="Pager" rel="Chapter" href="Pager.html"><title>OASISGraph</title>
</head>
<body>
<div class="navbar"><a class="pre" href="OASISHostPath.html" title="OASISHostPath">Previous</a>
<a class="up" href="index.html" title="Index">Up</a>
<a class="post" href="BaseArgExt.html" title="BaseArgExt">Next</a>
</div>
<h1>Module <a href="type_OASISGraph.html">OASISGraph</a></h1>
<pre><span class="keyword">module</span> OASISGraph: <code class="code">sig</code> <a href="OASISGraph.html">..</a> <code class="code">end</code></pre><hr width="100%">
<pre><span id="TYPEvertex"><span class="keyword">type</span> <code class="type"></code>vertex</span> = <code class="type">int</code> </pre>
<pre><span class="keyword">module</span> <a href="OASISGraph.SetInt.html">SetInt</a>: <code class="type">Set.Make</code><code class="code">(</code><code class="code">sig</code><div class="sig_block">
<pre><span id="TYPEt"><span class="keyword">type</span> <code class="type"></code>t</span> = <code class="type">int</code> </pre>
<pre><span id="VALcompare"><span class="keyword">val</span> compare</span> : <code class="type">int -> int -> int</code></pre></div><code class="code">end</code><code class="code">)</code></pre>
<pre><code><span id="TYPEt"><span class="keyword">type</span> <code class="type">'a</code> t</span> = {</code></pre><table class="typetable">
<tr>
<td align="left" valign="top" >
<code> </code></td>
<td align="left" valign="top" >
<code><span class="keyword">mutable </span><span id="TYPEELTt.vertexes">vertexes</span> : <code class="type">('a * SetInt.t Pervasives.ref) array</code>;</code></td>
</tr>
<tr>
<td align="left" valign="top" >
<code> </code></td>
<td align="left" valign="top" >
<code><span id="TYPEELTt.values">values</span> : <code class="type">('a, int) Hashtbl.t</code>;</code></td>
</tr></table>
}
<pre><span id="VALcreate"><span class="keyword">val</span> create</span> : <code class="type">int -> 'a <a href="OASISGraph.html#TYPEt">t</a></code></pre>
<pre><span id="VALcopy"><span class="keyword">val</span> copy</span> : <code class="type">'a <a href="OASISGraph.html#TYPEt">t</a> -> 'a <a href="OASISGraph.html#TYPEt">t</a></code></pre>
<pre><span id="VALvalue_of_vertex"><span class="keyword">val</span> value_of_vertex</span> : <code class="type">'a <a href="OASISGraph.html#TYPEt">t</a> -> int -> 'a</code></pre>
<pre><span id="VALvertex_of_value"><span class="keyword">val</span> vertex_of_value</span> : <code class="type">'a <a href="OASISGraph.html#TYPEt">t</a> -> 'a -> int</code></pre>
<pre><span id="VALadd_vertex"><span class="keyword">val</span> add_vertex</span> : <code class="type">'a <a href="OASISGraph.html#TYPEt">t</a> -> 'a -> int</code></pre>
<pre><span id="VALadd_edge"><span class="keyword">val</span> add_edge</span> : <code class="type">'a <a href="OASISGraph.html#TYPEt">t</a> -> int -> SetInt.elt -> unit</code></pre>
<pre><span id="VALtopological_sort"><span class="keyword">val</span> topological_sort</span> : <code class="type">'a <a href="OASISGraph.html#TYPEt">t</a> -> int list</code></pre>
<pre><span id="VALfold_edges"><span class="keyword">val</span> fold_edges</span> : <code class="type">(int -> SetInt.elt -> 'a -> 'a) -> 'b <a href="OASISGraph.html#TYPEt">t</a> -> 'a -> 'a</code></pre>
<pre><span id="VALtransitive_closure"><span class="keyword">val</span> transitive_closure</span> : <code class="type">'a <a href="OASISGraph.html#TYPEt">t</a> -> unit</code></pre></body></html>
|