="lineno">   15</span>&#160;<span class="keyword">namespace </span><a class="code" href="../../dd/dc0/namespaceposition3__se.html">position3_se</a> {</div>
<div class="line"><a name="l00016"></a><span class="lineno">   16</span>&#160; </div>
<div class="line"><a name="l00017"></a><span class="lineno"><a class="line" href="../../d2/d76/classposition3__se_1_1Position3Estimator.html#a48bb305e7d553c8854a66c5b66108814">   17</a></span>&#160;<span class="keywordtype">void</span> <a class="code" href="../../d2/d76