ass="lineno">  109</span>&#160;    <span class="keywordflow">return</span> ret;</div>
<div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;  }</div>
<div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160; </div>
<div class="line"><a name="l00112"></a><span class="lineno"><a class="line" href="classGoogle_1_1OrTools_1_1Util_1_1Domain.html#ab613fee6b08a7ec8047fd89a9f903d43">  112</a></span>&#160;  <span class="keyword">public</span> <span class="keywordtype">boo