gle_1_1OrTools_1_1Util_1_1Domain.html#a357657ded604ecb97b76251146f7ac75">   92</a></span>&#160;  <span class="keyword">public</span> <span class="keywordtype">bool</span> <a class="code" href="classGoogle_1_1OrTools_1_1Util_1_1Domain.html#a357657ded604ecb97b76251146f7ac75">IsEmpty</a>() {</div>
<div class="line"><a name="l00093"></a><span class="lineno">   93</span>&#160;    <span class="keywordtype">bool</span> ret = <a class="code" href="classGoogle_1_1OrTools_1_1Util_1_1operations__research__utilPINVOKE.