<!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=utf-8" http-equiv="Content-Type">
<link rel="Start" href="index.html">
<link rel="previous" href="M_GSet.html">
<link rel="next" href="M_ORSet.html">
<link rel="Up" 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="Index of module types" rel=Appendix href="index_module_types.html">
<link title="Crdt" rel="Chapter" href="Crdt.html">
<link title="I_IntVector" rel="Chapter" href="I_IntVector.html">
<link title="I_GCounter" rel="Chapter" href="I_GCounter.html">
<link title="I_PNCounter" rel="Chapter" href="I_PNCounter.html">
<link title="I_GSet" rel="Chapter" href="I_GSet.html">
<link title="I_ORSet" rel="Chapter" href="I_ORSet.html">
<link title="I_USet" rel="Chapter" href="I_USet.html">
<link title="Immutable_types" rel="Chapter" href="Immutable_types.html">
<link title="M_GCounter" rel="Chapter" href="M_GCounter.html">
<link title="M_GSet" rel="Chapter" href="M_GSet.html">
<link title="M_IntVector" rel="Chapter" href="M_IntVector.html">
<link title="M_ORSet" rel="Chapter" href="M_ORSet.html">
<link title="M_PNCounter" rel="Chapter" href="M_PNCounter.html">
<link title="M_USet" rel="Chapter" href="M_USet.html">
<link title="Mutable_types" rel="Chapter" href="Mutable_types.html"><title>M_IntVector</title>
</head>
<body>
<div class="navbar"><a class="pre" href="M_GSet.html" title="M_GSet">Previous</a>
&nbsp;<a class="up" href="index.html" title="Index">Up</a>
&nbsp;<a class="post" href="M_ORSet.html" title="M_ORSet">Next</a>
</div>
<h1>Module <a href="type_M_IntVector.html">M_IntVector</a></h1>

<pre><span class="keyword">module</span> M_IntVector: <code class="code"><span class="keyword">sig</span></code> <a href="M_IntVector.html">..</a> <code class="code"><span class="keyword">end</span></code></pre><div class="info module top">
Vector Clocks.
<p>

    An integer vector where each replica is restricted to incrementing its own
    index <code class="code">i</code>. This index is generated at random and assigned to a <code class="code">numsite</code>
    value when calling <code class="code">make ()</code> or <code class="code">make_in_range n</code>. All subsequent calls to
    update operations will only act on the position noted by <code class="code">numsite</code>.
<p>

    By default, <a href="Mutable_types.Mergeable.html#VALmake"><code class="code"><span class="constructor">Mutable_types</span>.<span class="constructor">Mergeable</span>.make</code></a> just calls
    <a href="Mutable_types.IVector.html#VALmake_in_range"><code class="code"><span class="constructor">Mutable_types</span>.<span class="constructor">IVector</span>.make_in_range</code></a> <code class="code">n</code> with <code class="code">n = 11</code>. You can
    override this by calling <code class="code">make_in_range</code> directly.<br>
</div>
<hr width="100%">

<pre><span class="keyword">include</span> <a href="Mutable_types.IVector.html">Mutable_types.IVector</a></pre>
<div class="info ">
A Vector Clock is a <a href="Mutable_types.IVector.html"><code class="code"><span class="constructor">Mutable_types</span>.<span class="constructor">IVector</span></code></a> with type
    <code class="code">elt = int list</code><br>
</div>
</body></html>