Skip to content

Commit

Permalink
Regenerated documentation.
Browse files Browse the repository at this point in the history
  • Loading branch information
@lukstafi
lukstafi committed Mar 23, 2014
1 parent df5ffdb commit 2c6f783
Show file tree
Hide file tree
Showing 10 changed files with 31 additions and 9 deletions.
8 changes: 7 additions & 1 deletion doc/code/Abduction.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -63,7 +63,13 @@ <h1>Module <a href="type_Abduction.html">Abduction</a></h1>
are not most general. Default <code class="code">false</code>.<br>
</div>

<pre><span id="VALricher_answers"><span class="keyword">val</span> richer_answers</span> : <code class="type">bool Pervasives.ref</code></pre>
<pre><span id="VALricher_answers"><span class="keyword">val</span> richer_answers</span> : <code class="type">bool Pervasives.ref</code></pre><div class="info ">
<code class="code">revert_cst=true</code> tries replacing constants by variables in the
initial candidates for abduction answer, given corresponding
equations in the premise. Default <code class="code">true</code>.<br>
</div>

<pre><span id="VALrevert_cst"><span class="keyword">val</span> revert_cst</span> : <code class="type">bool Pervasives.ref</code></pre>
<pre><span id="VALtimeout_count"><span class="keyword">val</span> timeout_count</span> : <code class="type">int Pervasives.ref</code></pre>
<pre><span id="VALfail_timeout_count"><span class="keyword">val</span> fail_timeout_count</span> : <code class="type">int Pervasives.ref</code></pre>
<pre><span id="VALno_alien_prem"><span class="keyword">val</span> no_alien_prem</span> : <code class="type">bool Pervasives.ref</code></pre><div class="info ">
Expand Down
1 change: 1 addition & 0 deletions doc/code/Infer.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -40,6 +40,7 @@ <h1>Module <a href="type_Infer.html">Infer</a></h1>
<pre><span id="VALannotating_fun"><span class="keyword">val</span> annotating_fun</span> : <code class="type">bool Pervasives.ref</code></pre>
<pre><span id="VALannotating_letin"><span class="keyword">val</span> annotating_letin</span> : <code class="type">bool Pervasives.ref</code></pre>
<pre><span id="VALinform_toplevel"><span class="keyword">val</span> inform_toplevel</span> : <code class="type">bool Pervasives.ref</code></pre>
<pre><span id="VALtime_toplevel"><span class="keyword">val</span> time_toplevel</span> : <code class="type">bool Pervasives.ref</code></pre>
<pre><code><span id="TYPEcnstrnt"><span class="keyword">type</span> <code class="type"></code>cnstrnt</span> = </code></pre><table class="typetable">
<tr>
<td align="left" valign="top" >
Expand Down
7 changes: 4 additions & 3 deletions doc/code/Terms.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -38,7 +38,8 @@ <h1>Module <a href="type_Terms.html">Terms</a></h1>
<b>Since</b> Mar 2013<br>
</div>
<hr width="100%">
<br>

<pre><span id="VALshow_extypes"><span class="keyword">val</span> show_extypes</span> : <code class="type">bool Pervasives.ref</code></pre><br>
<h2 id="2_Definitions">Definitions</h2><br>

<pre><span id="VALdebug"><span class="keyword">val</span> debug</span> : <code class="type">bool Pervasives.ref</code></pre>
Expand Down Expand Up @@ -534,7 +535,7 @@ <h3 id="3_Zippers">Zippers.</h3><br>
<td align="left" valign="top" >
<code><span class="keyword">|</span></code></td>
<td align="left" valign="top" >
<code><span id="TYPEELTstruct_item.LetVal"><span class="constructor">LetVal</span></span> <span class="keyword">of</span> <code class="type">string option * <a href="Terms.html#TYPEpat">pat</a> * <a href="Terms.html#TYPEuexpr">uexpr</a> * <a href="Terms.html#TYPEtyp_scheme">typ_scheme</a> option<br> * <a href="Terms.html#TYPEuexpr">uexpr</a> list * <a href="Terms.html#TYPElc">lc</a></code></code></td>
<code><span id="TYPEELTstruct_item.LetVal"><span class="constructor">LetVal</span></span> <span class="keyword">of</span> <code class="type">string option * <a href="Terms.html#TYPEpat">pat</a> * <a href="Terms.html#TYPEuexpr">uexpr</a> * <a href="Terms.html#TYPEtyp_scheme">typ_scheme</a> option * <a href="Terms.html#TYPElc">lc</a></code></code></td>

</tr></table>

Expand Down Expand Up @@ -577,7 +578,7 @@ <h3 id="3_Zippers">Zippers.</h3><br>
<td align="left" valign="top" >
<code><span class="keyword">|</span></code></td>
<td align="left" valign="top" >
<code><span id="TYPEELTannot_item.ILetVal"><span class="constructor">ILetVal</span></span> <span class="keyword">of</span> <code class="type">string option * <a href="Terms.html#TYPEpat">pat</a> * <a href="Terms.html#TYPEtexpr">texpr</a> * <a href="Terms.html#TYPEtyp_scheme">typ_scheme</a><br> * (string * <a href="Terms.html#TYPEtyp_scheme">typ_scheme</a>) list * <a href="Terms.html#TYPEtexpr">texpr</a> list<br> * (<a href="Terms.html#TYPEpat">pat</a> * int option) list * <a href="Terms.html#TYPElc">lc</a></code></code></td>
<code><span id="TYPEELTannot_item.ILetVal"><span class="constructor">ILetVal</span></span> <span class="keyword">of</span> <code class="type">string option * <a href="Terms.html#TYPEpat">pat</a> * <a href="Terms.html#TYPEtexpr">texpr</a> * <a href="Terms.html#TYPEtyp_scheme">typ_scheme</a><br> * (string * <a href="Terms.html#TYPEtyp_scheme">typ_scheme</a>) list * (<a href="Terms.html#TYPEpat">pat</a> * int option) list<br> * <a href="Terms.html#TYPElc">lc</a></code></code></td>

</tr></table>

Expand Down
2 changes: 1 addition & 1 deletion doc/code/html.stamp
View file
Original file line number Diff line number Diff line change
@@ -1 +1 @@
28f09b073267850f329cd388fcfe9996
199897d40a8487a113d547a2662f1c14
13 changes: 12 additions & 1 deletion doc/code/index_values.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -326,14 +326,21 @@ <h1>Index of values</h1>
</td></tr>
<tr><td><a href="Terms.html#VALreturn_type">return_type</a> [<a href="Terms.html">Terms</a>]</td>
<td></td></tr>
<tr><td><a href="Abduction.html#VALrevert_cst">revert_cst</a> [<a href="Abduction.html">Abduction</a>]</td>
<td></td></tr>
<tr><td><a href="Terms.html#VALrevert_renaming">revert_renaming</a> [<a href="Terms.html">Terms</a>]</td>
<td><div class="info">
Union/conjunction of sort-separated formulas, additionally
perform an update of the term substitution.
</div>
</td></tr>
<tr><td><a href="Abduction.html#VALricher_answers">richer_answers</a> [<a href="Abduction.html">Abduction</a>]</td>
<td></td></tr>
<td><div class="info">
<code class="code">revert_cst=true</code> tries replacing constants by variables in the
initial candidates for abduction answer, given corresponding
equations in the premise.
</div>
</td></tr>
<tr><td align="left"><br>S</td></tr>
<tr><td><a href="Terms.html#VALsb_atom_binary">sb_atom_binary</a> [<a href="Terms.html">Terms</a>]</td>
<td></td></tr>
Expand All @@ -356,6 +363,8 @@ <h1>Index of values</h1>
<td></td></tr>
<tr><td><a href="Infer.html#VALseparate_subst">separate_subst</a> [<a href="Infer.html">Infer</a>]</td>
<td></td></tr>
<tr><td><a href="Terms.html#VALshow_extypes">show_extypes</a> [<a href="Terms.html">Terms</a>]</td>
<td></td></tr>
<tr><td><a href="Terms.html#VALsigma">sigma</a> [<a href="Terms.html">Terms</a>]</td>
<td></td></tr>
<tr><td><a href="Infer.html#VALsimplify">simplify</a> [<a href="Infer.html">Infer</a>]</td>
Expand Down Expand Up @@ -389,6 +398,8 @@ <h1>Index of values</h1>
<td></td></tr>
<tr><td><a href="Terms.html#VALtdelta'">tdelta'</a> [<a href="Terms.html">Terms</a>]</td>
<td></td></tr>
<tr><td><a href="Infer.html#VALtime_toplevel">time_toplevel</a> [<a href="Infer.html">Infer</a>]</td>
<td></td></tr>
<tr><td><a href="Invariants.html#VALtimeout_count">timeout_count</a> [<a href="Invariants.html">Invariants</a>]</td>
<td></td></tr>
<tr><td><a href="Abduction.html#VALtimeout_count">timeout_count</a> [<a href="Abduction.html">Abduction</a>]</td>
Expand Down
1 change: 1 addition & 0 deletions doc/code/type_Abduction.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -18,6 +18,7 @@
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;skip_kind&nbsp;:&nbsp;<span class="constructor">Abduction</span>.skip_kind&nbsp;<span class="constructor">Pervasives</span>.ref<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;more_general&nbsp;:&nbsp;bool&nbsp;<span class="constructor">Pervasives</span>.ref<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;richer_answers&nbsp;:&nbsp;bool&nbsp;<span class="constructor">Pervasives</span>.ref<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;revert_cst&nbsp;:&nbsp;bool&nbsp;<span class="constructor">Pervasives</span>.ref<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;timeout_count&nbsp;:&nbsp;int&nbsp;<span class="constructor">Pervasives</span>.ref<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;fail_timeout_count&nbsp;:&nbsp;int&nbsp;<span class="constructor">Pervasives</span>.ref<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;no_alien_prem&nbsp;:&nbsp;bool&nbsp;<span class="constructor">Pervasives</span>.ref<br>
Expand Down
1 change: 1 addition & 0 deletions doc/code/type_Infer.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -17,6 +17,7 @@
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;annotating_fun&nbsp;:&nbsp;bool&nbsp;<span class="constructor">Pervasives</span>.ref<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;annotating_letin&nbsp;:&nbsp;bool&nbsp;<span class="constructor">Pervasives</span>.ref<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;inform_toplevel&nbsp;:&nbsp;bool&nbsp;<span class="constructor">Pervasives</span>.ref<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;time_toplevel&nbsp;:&nbsp;bool&nbsp;<span class="constructor">Pervasives</span>.ref<br>
&nbsp;&nbsp;<span class="keyword">type</span>&nbsp;cnstrnt&nbsp;=<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">A</span>&nbsp;<span class="keyword">of</span>&nbsp;<span class="constructor">Terms</span>.formula<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="keywordsign">|</span>&nbsp;<span class="constructor">And</span>&nbsp;<span class="keyword">of</span>&nbsp;<span class="constructor">Infer</span>.cnstrnt&nbsp;list<br>
Expand Down
7 changes: 4 additions & 3 deletions doc/code/type_Terms.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -14,6 +14,7 @@
</head>
<body>
<code class="code"><span class="keyword">sig</span><br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;show_extypes&nbsp;:&nbsp;bool&nbsp;<span class="constructor">Pervasives</span>.ref<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;debug&nbsp;:&nbsp;bool&nbsp;<span class="constructor">Pervasives</span>.ref<br>
&nbsp;&nbsp;<span class="keyword">type</span>&nbsp;cns_name&nbsp;=&nbsp;<span class="constructor">CNam</span>&nbsp;<span class="keyword">of</span>&nbsp;string&nbsp;<span class="keywordsign">|</span>&nbsp;<span class="constructor">Extype</span>&nbsp;<span class="keyword">of</span>&nbsp;int<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;tuple&nbsp;:&nbsp;<span class="constructor">Terms</span>.cns_name<br>
Expand Down Expand Up @@ -153,7 +154,7 @@
&nbsp;&nbsp;&nbsp;&nbsp;<span class="keywordsign">|</span>&nbsp;<span class="constructor">LetRecVal</span>&nbsp;<span class="keyword">of</span>&nbsp;string&nbsp;option&nbsp;*&nbsp;string&nbsp;*&nbsp;<span class="constructor">Terms</span>.uexpr&nbsp;*<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Terms</span>.typ_scheme&nbsp;option&nbsp;*&nbsp;<span class="constructor">Terms</span>.uexpr&nbsp;list&nbsp;*&nbsp;<span class="constructor">Terms</span>.lc<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="keywordsign">|</span>&nbsp;<span class="constructor">LetVal</span>&nbsp;<span class="keyword">of</span>&nbsp;string&nbsp;option&nbsp;*&nbsp;<span class="constructor">Terms</span>.pat&nbsp;*&nbsp;<span class="constructor">Terms</span>.uexpr&nbsp;*<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Terms</span>.typ_scheme&nbsp;option&nbsp;*&nbsp;<span class="constructor">Terms</span>.uexpr&nbsp;list&nbsp;*&nbsp;<span class="constructor">Terms</span>.lc<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Terms</span>.typ_scheme&nbsp;option&nbsp;*&nbsp;<span class="constructor">Terms</span>.lc<br>
&nbsp;&nbsp;<span class="keyword">type</span>&nbsp;annot_item&nbsp;=<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">ITypConstr</span>&nbsp;<span class="keyword">of</span>&nbsp;string&nbsp;option&nbsp;*&nbsp;<span class="constructor">Terms</span>.cns_name&nbsp;*&nbsp;<span class="constructor">Defs</span>.sort&nbsp;list&nbsp;*<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Terms</span>.lc<br>
Expand All @@ -165,8 +166,8 @@
&nbsp;&nbsp;&nbsp;&nbsp;<span class="keywordsign">|</span>&nbsp;<span class="constructor">ILetRecVal</span>&nbsp;<span class="keyword">of</span>&nbsp;string&nbsp;option&nbsp;*&nbsp;string&nbsp;*&nbsp;<span class="constructor">Terms</span>.texpr&nbsp;*&nbsp;<span class="constructor">Terms</span>.typ_scheme&nbsp;*<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Terms</span>.texpr&nbsp;list&nbsp;*&nbsp;(<span class="constructor">Terms</span>.pat&nbsp;*&nbsp;int&nbsp;option)&nbsp;list&nbsp;*&nbsp;<span class="constructor">Terms</span>.lc<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="keywordsign">|</span>&nbsp;<span class="constructor">ILetVal</span>&nbsp;<span class="keyword">of</span>&nbsp;string&nbsp;option&nbsp;*&nbsp;<span class="constructor">Terms</span>.pat&nbsp;*&nbsp;<span class="constructor">Terms</span>.texpr&nbsp;*&nbsp;<span class="constructor">Terms</span>.typ_scheme&nbsp;*<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;(string&nbsp;*&nbsp;<span class="constructor">Terms</span>.typ_scheme)&nbsp;list&nbsp;*&nbsp;<span class="constructor">Terms</span>.texpr&nbsp;list&nbsp;*<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;(<span class="constructor">Terms</span>.pat&nbsp;*&nbsp;int&nbsp;option)&nbsp;list&nbsp;*&nbsp;<span class="constructor">Terms</span>.lc<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;(string&nbsp;*&nbsp;<span class="constructor">Terms</span>.typ_scheme)&nbsp;list&nbsp;*&nbsp;(<span class="constructor">Terms</span>.pat&nbsp;*&nbsp;int&nbsp;option)&nbsp;list&nbsp;*<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Terms</span>.lc<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;typ_size&nbsp;:&nbsp;<span class="constructor">Terms</span>.typ&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;int<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;atom_size&nbsp;:&nbsp;<span class="constructor">Terms</span>.atom&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;int<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;fvs_typ&nbsp;:&nbsp;<span class="constructor">Terms</span>.typ&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Defs</span>.<span class="constructor">VarSet</span>.t<br>
Expand Down
Binary file modified doc/invargent-manual.pdf
View file
Binary file not shown.
Binary file modified doc/invargent.pdf
View file
Binary file not shown.

0 comments on commit 2c6f783

Please sign in to comment.