1_1OrTools_1_1Util_1_1Domain.html">Domain</a> <a class="code" href="classGoogle_1_1OrTools_1_1Util_1_1Domain.html#ababa690b367f2dbe09846fcbefab83aa">AdditionWith</a>(<a class="code" href="classGoogle_1_1OrTools_1_1Util_1_1Domain.html">Domain</a> domain) {</div>
<div class="line"><a name="l00140"></a><span class="lineno">  140</span>&#160;    <a class="code" href="classGoogle_1_1OrTools_1_1Util_1_1Domain.html">Domain</a> ret = <span class="keyword">new</span> <a class="code" href="classGoogle_1_1OrTools_1_1U