line"><a name="l00056"></a><span class="lineno"><a class="line" href="classGoogle_1_1OrTools_1_1Util_1_1Domain.html#a5669c93d2e233c82a5a33910fcbe8fe0">   56</a></span>&#160;  <span class="keyword">public</span> <span class="keyword">static</span> <a class="code" href="classGoogle_1_1OrTools_1_1Util_1_1Domain.html">Domain</a> <a class="code" href="classGoogle_1_1OrTools_1_1Util_1_1Domain.html#a5669c93d2e233c82a5a33910fcbe8fe0">AllValues</a>() {</div>
<div class="line"><a name="l00057"></a><span class="lineno