Sophie

Sophie

distrib > Mageia > 4 > x86_64 > by-pkgid > 63d75c5c01679a5f3a8c1c737e47bef7 > files > 18

ocaml-rtime-devel-0.9.3-5.mga4.x86_64.rpm

<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 title="Index of types" rel=Appendix href="index_types.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="Rtime" rel="Chapter" href="Rtime.html"><title>Index of values</title>
</head>
<body>
<div class="navbar">&nbsp;<a class="up" href="index.html" title="Index">Up</a>
&nbsp;</div>
<h1>Index of values</h1>
<table>
<tr><td align="left"><br>C</td></tr>
<tr><td><a href="Rtime.html#VALcreate">create</a> [<a href="Rtime.html">Rtime</a>]</td>
<td><div class="info">
<code class="code">create earlier now</code> is a timeline whose absolute current time is
    defined by calling the function <code class="code">now</code>.
</div>
</td></tr>
<tr><td align="left"><br>D</td></tr>
<tr><td><a href="Rtime.html#VALdelay_e">delay_e</a> [<a href="Rtime.html">Rtime</a>]</td>
<td><div class="info">
<code class="code">delay_e stop l d e</code> is an event such that : 
     Occurences are those of <code class="code">e</code> delayed by <code class="code">d</code> units of time on <code class="code">l</code>., No occurences are generated after <code class="code">stop</code> occurs (existing deadlines
       are removed).
</div>
</td></tr>
<tr><td><a href="Rtime.html#VALdelay_s">delay_s</a> [<a href="Rtime.html">Rtime</a>]</td>
<td><div class="info">
<code class="code">delay_s eq stop l d i s</code> is :
    <pre class="codepre"><code class="code">S.hold ?eq i (S.delay stop l d (S.changes s))</code></pre>
</div>
</td></tr>
<tr><td align="left"><br>N</td></tr>
<tr><td><a href="Rtime.html#VALnow">now</a> [<a href="Rtime.html">Rtime</a>]</td>
<td><div class="info">
<code class="code">now l</code> is the current time on the timeline.
</div>
</td></tr>
<tr><td align="left"><br>P</td></tr>
<tr><td><a href="Rtime.html#VALprogress">progress</a> [<a href="Rtime.html">Rtime</a>]</td>
<td><div class="info">
<code class="code">progress exec l</code> immediatly removes the next deadline from the
    timeline and if <code class="code">exec</code> is <code class="code">true</code> (default) executes it.
</div>
</td></tr>
<tr><td align="left"><br>S</td></tr>
<tr><td><a href="Rtime.html#VALstamp">stamp</a> [<a href="Rtime.html">Rtime</a>]</td>
<td><div class="info">
<code class="code">stamp stop occ l t</code> is an event such that :
     A single occurence is scheduled for <code class="code">t</code> on <code class="code">l</code>., The occurence's stamp is <code class="code">occ t t'</code> with t' the occurence time., No occurence is generated after a <code class="code">stop</code> occurs 
       (existing deadlines are removed) or if <code class="code">t</code> is earlier than <code class="code">now l</code> 
    when <code class="code">stamp</code> gets executed.
</div>
</td></tr>
<tr><td><a href="Rtime.html#VALstamps">stamps</a> [<a href="Rtime.html">Rtime</a>]</td>
<td><div class="info">
<code class="code">stamps stop start occ l</code> is an event such that :
     The first occurence is scheduled for <code class="code">start</code> (defaults to <code class="code">now l</code>)., At each occurence time <code class="code">t</code>, <code class="code">occ start t</code> returns the stamp for the 
       current occurence and the time of the next schedule. If the latter 
       is earlier or equal to <code class="code">t</code> no new occurence is scheduled., No occurences are generated after a <code class="code">stop</code> occurs 
       (existing deadlines are removed) or if <code class="code">start</code> is earlier than 
       <code class="code">now l</code> when <code class="code">stamps</code> gets exectued.
</div>
</td></tr>
<tr><td align="left"><br>W</td></tr>
<tr><td><a href="Rtime.html#VALwakeup">wakeup</a> [<a href="Rtime.html">Rtime</a>]</td>
<td><div class="info">
<code class="code">wakeup l</code> is the duration until the next deadline on the timeline
    (if any).
</div>
</td></tr>
</table>
</body>
</html>