73 lines
36 KiB
HTML
73 lines
36 KiB
HTML
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
|
||
<html xmlns="http://www.w3.org/1999/xhtml">
|
||
<head>
|
||
<title>OR-Tools</title>
|
||
<meta http-equiv="Content-Type" content="text/html;"/>
|
||
<meta charset="utf-8"/>
|
||
<!--<link rel='stylesheet' type='text/css' href="https://fonts.googleapis.com/css?family=Ubuntu:400,700,400italic"/>-->
|
||
<link rel="stylesheet" type="text/css" href="ortools.css" title="default" media="screen,print" />
|
||
<script type="text/javascript" src="jquery.js"></script>
|
||
<script type="text/javascript" src="dynsections.js"></script>
|
||
</head>
|
||
<body>
|
||
<div id="banner-container">
|
||
<div id="banner">
|
||
<span id="sfml">OR-Tools 7.2</span>
|
||
</div>
|
||
</div>
|
||
<link rel="icon" href="https://developers.google.com/optimization/images/orLogo.png">
|
||
<div id="content">
|
||
<!-- Generated by Doxygen 1.8.15 -->
|
||
<div id="navrow1" class="tabs">
|
||
<ul class="tablist">
|
||
<li><a href="index.html"><span>Main Page</span></a></li>
|
||
<li><a href="pages.html"><span>Related Pages</span></a></li>
|
||
<li><a href="namespaces.html"><span>Namespaces</span></a></li>
|
||
<li><a href="annotated.html"><span>Classes</span></a></li>
|
||
</ul>
|
||
</div>
|
||
<div id="navrow2" class="tabs2">
|
||
<ul class="tablist">
|
||
<li><a href="files.html"><span>File List</span></a></li>
|
||
</ul>
|
||
</div>
|
||
<div id="nav-path" class="navpath">
|
||
<ul>
|
||
<li class="navelem"><a class="el" href="dir_a7cc1eeded8f693d0da6c729bc88c45a.html">ortools</a></li><li class="navelem"><a class="el" href="dir_b2c6d49957bf5d0c7726edb4b829cd4d.html">gen</a></li><li class="navelem"><a class="el" href="dir_82da1734a9cb0f1cf40dbd95c2117ce5.html">com</a></li><li class="navelem"><a class="el" href="dir_1713cbfcde5229f242ac28be432e77c9.html">google</a></li><li class="navelem"><a class="el" href="dir_06c320066273db25e45ae140036401c9.html">ortools</a></li><li class="navelem"><a class="el" href="dir_30c16d0ea2b8b707d4259b84f04f92f9.html">util</a></li> </ul>
|
||
</div>
|
||
</div><!-- top -->
|
||
<div class="header">
|
||
<div class="headertitle">
|
||
<div class="title">Domain.java</div> </div>
|
||
</div><!--header-->
|
||
<div class="contents">
|
||
<a href="Domain_8java.html">Go to the documentation of this file.</a><div class="fragment"><div class="line"><a name="l00001"></a><span class="lineno"> 1</span> <span class="comment">/* ----------------------------------------------------------------------------</span></div><div class="line"><a name="l00002"></a><span class="lineno"> 2</span> <span class="comment"> * This file was automatically generated by SWIG (http://www.swig.org).</span></div><div class="line"><a name="l00003"></a><span class="lineno"> 3</span> <span class="comment"> * Version 4.0.0</span></div><div class="line"><a name="l00004"></a><span class="lineno"> 4</span> <span class="comment"> *</span></div><div class="line"><a name="l00005"></a><span class="lineno"> 5</span> <span class="comment"> * Do not make changes to this file unless you know what you are doing--modify</span></div><div class="line"><a name="l00006"></a><span class="lineno"> 6</span> <span class="comment"> * the SWIG interface file instead.</span></div><div class="line"><a name="l00007"></a><span class="lineno"> 7</span> <span class="comment"> * ----------------------------------------------------------------------------- */</span></div><div class="line"><a name="l00008"></a><span class="lineno"> 8</span> </div><div class="line"><a name="l00009"></a><span class="lineno"><a class="line" href="namespacecom_1_1google_1_1ortools_1_1util.html"> 9</a></span> <span class="keyword">package </span>com.google.ortools.util;</div><div class="line"><a name="l00010"></a><span class="lineno"> 10</span> </div><div class="line"><a name="l00014"></a><span class="lineno"><a class="line" href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html"> 14</a></span> <span class="keyword">public</span> <span class="keyword">class </span><a class="code" href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html">Domain</a> {</div><div class="line"><a name="l00015"></a><span class="lineno"> 15</span>  <span class="keyword">private</span> <span class="keyword">transient</span> <span class="keywordtype">long</span> swigCPtr;</div><div class="line"><a name="l00016"></a><span class="lineno"> 16</span>  <span class="keyword">protected</span> <span class="keyword">transient</span> <span class="keywordtype">boolean</span> swigCMemOwn;</div><div class="line"><a name="l00017"></a><span class="lineno"> 17</span> </div><div class="line"><a name="l00018"></a><span class="lineno"><a class="line" href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html#af815910dab415f43bb698be41e858c0b"> 18</a></span>  <span class="keyword">protected</span> <a class="code" href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html#af815910dab415f43bb698be41e858c0b">Domain</a>(<span class="keywordtype">long</span> cPtr, <span class="keywordtype">boolean</span> cMemoryOwn) {</div><div class="line"><a name="l00019"></a><span class="lineno"> 19</span>  swigCMemOwn = cMemoryOwn;</div><div class="line"><a name="l00020"></a><span class="lineno"> 20</span>  swigCPtr = cPtr;</div><div class="line"><a name="l00021"></a><span class="lineno"> 21</span>  }</div><div class="line"><a name="l00022"></a><span class="lineno"> 22</span> </div><div class="line"><a name="l00023"></a><span class="lineno"> 23</span>  <span class="keyword">protected</span> <span class="keyword">static</span> <span class="keywordtype">long</span> getCPtr(<a class="code" href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html">Domain</a> obj) {</div><div class="line"><a name="l00024"></a><span class="lineno"> 24</span>  <span class="keywordflow">return</span> (obj == <span class="keyword">null</span>) ? 0 : obj.swigCPtr;</div><div class="line"><a name="l00025"></a><span class="lineno"> 25</span>  }</div><div class="line"><a name="l00026"></a><span class="lineno"> 26</span> </div><div class="line"><a name="l00027"></a><span class="lineno"> 27</span>  @SuppressWarnings(<span class="stringliteral">"deprecation"</span>)</div><div class="line"><a name="l00028"></a><span class="lineno"> 28</span>  protected <span class="keywordtype">void</span> finalize() {</div><div class="line"><a name="l00029"></a><span class="lineno"> 29</span>  <span class="keyword">delete</span>();</div><div class="line"><a name="l00030"></a><span class="lineno"> 30</span>  }</div><div class="line"><a name="l00031"></a><span class="lineno"> 31</span> </div><div class="line"><a name="l00032"></a><span class="lineno"><a class="line" href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html#ac14130a0c1a5297a3c4649040e22ea1b"> 32</a></span>  <span class="keyword">public</span> <span class="keyword">synchronized</span> <span class="keywordtype">void</span> <span class="keyword">delete</span>() {</div><div class="line"><a name="l00033"></a><span class="lineno"> 33</span>  <span class="keywordflow">if</span> (swigCPtr != 0) {</div><div class="line"><a name="l00034"></a><span class="lineno"> 34</span>  <span class="keywordflow">if</span> (swigCMemOwn) {</div><div class="line"><a name="l00035"></a><span class="lineno"> 35</span>  swigCMemOwn = <span class="keyword">false</span>;</div><div class="line"><a name="l00036"></a><span class="lineno"> 36</span>  mainJNI.delete_Domain(swigCPtr);</div><div class="line"><a name="l00037"></a><span class="lineno"> 37</span>  }</div><div class="line"><a name="l00038"></a><span class="lineno"> 38</span>  swigCPtr = 0;</div><div class="line"><a name="l00039"></a><span class="lineno"> 39</span>  }</div><div class="line"><a name="l00040"></a><span class="lineno"> 40</span>  }</div><div class="line"><a name="l00041"></a><span class="lineno"> 41</span> </div><div class="line"><a name="l00045"></a><span class="lineno"><a class="line" href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html#ab18cfbee2982788d5c80db29c949f68b"> 45</a></span>  <span class="keyword">public</span> <a class="code" href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html#ab18cfbee2982788d5c80db29c949f68b">Domain</a>() {</div><div class="line"><a name="l00046"></a><span class="lineno"> 46</span>  <span class="keyword">this</span>(mainJNI.new_Domain__SWIG_0(), <span class="keyword">true</span>);</div><div class="line"><a name="l00047"></a><span class="lineno"> 47</span>  }</div><div class="line"><a name="l00048"></a><span class="lineno"> 48</span> </div><div class="line"><a name="l00052"></a><span class="lineno"><a class="line" href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html#abef21fb76ae280375d6b2872fdf045e4"> 52</a></span>  <span class="keyword">public</span> <a class="code" href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html#abef21fb76ae280375d6b2872fdf045e4">Domain</a>(<span class="keywordtype">long</span> value) {</div><div class="line"><a name="l00053"></a><span class="lineno"> 53</span>  <span class="keyword">this</span>(mainJNI.new_Domain__SWIG_1(value), <span class="keyword">true</span>);</div><div class="line"><a name="l00054"></a><span class="lineno"> 54</span>  }</div><div class="line"><a name="l00055"></a><span class="lineno"> 55</span> </div><div class="line"><a name="l00059"></a><span class="lineno"><a class="line" href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html#afe97c8f4886e8389fa0e675153d79aad"> 59</a></span>  <span class="keyword">public</span> <a class="code" href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html#afe97c8f4886e8389fa0e675153d79aad">Domain</a>(<span class="keywordtype">long</span> left, <span class="keywordtype">long</span> right) {</div><div class="line"><a name="l00060"></a><span class="lineno"> 60</span>  <span class="keyword">this</span>(mainJNI.new_Domain__SWIG_2(left, right), <span class="keyword">true</span>);</div><div class="line"><a name="l00061"></a><span class="lineno"> 61</span>  }</div><div class="line"><a name="l00062"></a><span class="lineno"> 62</span> </div><div class="line"><a name="l00066"></a><span class="lineno"><a class="line" href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html#aff672fde036cb9855306055858572a6c"> 66</a></span>  <span class="keyword">public</span> <span class="keyword">static</span> <a class="code" href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html">Domain</a> <a class="code" href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html#aff672fde036cb9855306055858572a6c">allValues</a>() {</div><div class="line"><a name="l00067"></a><span class="lineno"> 67</span>  <span class="keywordflow">return</span> <span class="keyword">new</span> <a class="code" href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html#ab18cfbee2982788d5c80db29c949f68b">Domain</a>(mainJNI.Domain_allValues(), <span class="keyword">true</span>);</div><div class="line"><a name="l00068"></a><span class="lineno"> 68</span>  }</div><div class="line"><a name="l00069"></a><span class="lineno"> 69</span> </div><div class="line"><a name="l00073"></a><span class="lineno"><a class="line" href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html#a299b2f810835cd5f39d5a892140409e8"> 73</a></span>  <span class="keyword">public</span> <span class="keyword">static</span> <a class="code" href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html">Domain</a> <a class="code" href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html#a299b2f810835cd5f39d5a892140409e8">fromValues</a>(<span class="keywordtype">long</span>[] values) {</div><div class="line"><a name="l00074"></a><span class="lineno"> 74</span>  <span class="keywordflow">return</span> <span class="keyword">new</span> <a class="code" href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html#ab18cfbee2982788d5c80db29c949f68b">Domain</a>(mainJNI.Domain_fromValues(values), <span class="keyword">true</span>);</div><div class="line"><a name="l00075"></a><span class="lineno"> 75</span>  }</div><div class="line"><a name="l00076"></a><span class="lineno"> 76</span> </div><div class="line"><a name="l00080"></a><span class="lineno"><a class="line" href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html#a19c054d5f6543797b1ad6b402d5f3404"> 80</a></span>  <span class="keyword">public</span> <span class="keyword">static</span> <a class="code" href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html">Domain</a> <a class="code" href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html#a19c054d5f6543797b1ad6b402d5f3404">fromIntervals</a>(<span class="keywordtype">long</span>[][] intervals) {</div><div class="line"><a name="l00081"></a><span class="lineno"> 81</span>  <span class="keywordflow">return</span> <span class="keyword">new</span> <a class="code" href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html#ab18cfbee2982788d5c80db29c949f68b">Domain</a>(mainJNI.Domain_fromIntervals(intervals), <span class="keyword">true</span>);</div><div class="line"><a name="l00082"></a><span class="lineno"> 82</span>  }</div><div class="line"><a name="l00083"></a><span class="lineno"> 83</span> </div><div class="line"><a name="l00087"></a><span class="lineno"><a class="line" href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html#a0fd1b8ab1206e8c10f6fa6dc5dd21e12"> 87</a></span>  <span class="keyword">public</span> <span class="keyword">static</span> <a class="code" href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html">Domain</a> <a class="code" href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html#a0fd1b8ab1206e8c10f6fa6dc5dd21e12">fromFlatIntervals</a>(<span class="keywordtype">long</span>[] flat_intervals) {</div><div class="line"><a name="l00088"></a><span class="lineno"> 88</span>  <span class="keywordflow">return</span> <span class="keyword">new</span> <a class="code" href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html#ab18cfbee2982788d5c80db29c949f68b">Domain</a>(mainJNI.Domain_fromFlatIntervals(flat_intervals), <span class="keyword">true</span>);</div><div class="line"><a name="l00089"></a><span class="lineno"> 89</span>  }</div><div class="line"><a name="l00090"></a><span class="lineno"> 90</span> </div><div class="line"><a name="l00094"></a><span class="lineno"><a class="line" href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html#a2e5a2a9635145a40646cdc5cad96f179"> 94</a></span>  <span class="keyword">public</span> <span class="keywordtype">long</span>[] <a class="code" href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html#a2e5a2a9635145a40646cdc5cad96f179">flattenedIntervals</a>() {</div><div class="line"><a name="l00095"></a><span class="lineno"> 95</span>  <span class="keywordflow">return</span> mainJNI.Domain_flattenedIntervals(swigCPtr, <span class="keyword">this</span>);</div><div class="line"><a name="l00096"></a><span class="lineno"> 96</span> }</div><div class="line"><a name="l00097"></a><span class="lineno"> 97</span> </div><div class="line"><a name="l00101"></a><span class="lineno"><a class="line" href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html#ab43592f4c67c462b52e147242b4f2860"> 101</a></span>  <span class="keyword">public</span> <span class="keywordtype">boolean</span> <a class="code" href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html#ab43592f4c67c462b52e147242b4f2860">isEmpty</a>() {</div><div class="line"><a name="l00102"></a><span class="lineno"> 102</span>  <span class="keywordflow">return</span> mainJNI.Domain_isEmpty(swigCPtr, <span class="keyword">this</span>);</div><div class="line"><a name="l00103"></a><span class="lineno"> 103</span>  }</div><div class="line"><a name="l00104"></a><span class="lineno"> 104</span> </div><div class="line"><a name="l00108"></a><span class="lineno"><a class="line" href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html#ad8f9aabb9756d040c04d373e23edc7f0"> 108</a></span>  <span class="keyword">public</span> <span class="keywordtype">long</span> <a class="code" href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html#ad8f9aabb9756d040c04d373e23edc7f0">size</a>() {</div><div class="line"><a name="l00109"></a><span class="lineno"> 109</span>  <span class="keywordflow">return</span> mainJNI.Domain_size(swigCPtr, <span class="keyword">this</span>);</div><div class="line"><a name="l00110"></a><span class="lineno"> 110</span>  }</div><div class="line"><a name="l00111"></a><span class="lineno"> 111</span> </div><div class="line"><a name="l00115"></a><span class="lineno"><a class="line" href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html#a8d18576ab944addefccc823796ea777d"> 115</a></span>  <span class="keyword">public</span> <span class="keywordtype">long</span> <a class="code" href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html#a8d18576ab944addefccc823796ea777d">min</a>() {</div><div class="line"><a name="l00116"></a><span class="lineno"> 116</span>  <span class="keywordflow">return</span> mainJNI.Domain_min(swigCPtr, <span class="keyword">this</span>);</div><div class="line"><a name="l00117"></a><span class="lineno"> 117</span>  }</div><div class="line"><a name="l00118"></a><span class="lineno"> 118</span> </div><div class="line"><a name="l00122"></a><span class="lineno"><a class="line" href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html#a35f0d751cdaf0896574aa3e7da4fa9d7"> 122</a></span>  <span class="keyword">public</span> <span class="keywordtype">long</span> <a class="code" href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html#a35f0d751cdaf0896574aa3e7da4fa9d7">max</a>() {</div><div class="line"><a name="l00123"></a><span class="lineno"> 123</span>  <span class="keywordflow">return</span> mainJNI.Domain_max(swigCPtr, <span class="keyword">this</span>);</div><div class="line"><a name="l00124"></a><span class="lineno"> 124</span>  }</div><div class="line"><a name="l00125"></a><span class="lineno"> 125</span> </div><div class="line"><a name="l00129"></a><span class="lineno"><a class="line" href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html#a1e28fb70f8dba8d6195f1d15c51fafa7"> 129</a></span>  <span class="keyword">public</span> <span class="keywordtype">boolean</span> <a class="code" href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html#a1e28fb70f8dba8d6195f1d15c51fafa7">contains</a>(<span class="keywordtype">long</span> value) {</div><div class="line"><a name="l00130"></a><span class="lineno"> 130</span>  <span class="keywordflow">return</span> mainJNI.Domain_contains(swigCPtr, <span class="keyword">this</span>, value);</div><div class="line"><a name="l00131"></a><span class="lineno"> 131</span>  }</div><div class="line"><a name="l00132"></a><span class="lineno"> 132</span> </div><div class="line"><a name="l00136"></a><span class="lineno"><a class="line" href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html#abb160cd482a8c7ad625b545b28a5da5f"> 136</a></span>  <span class="keyword">public</span> <a class="code" href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html">Domain</a> <a class="code" href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html#abb160cd482a8c7ad625b545b28a5da5f">complement</a>() {</div><div class="line"><a name="l00137"></a><span class="lineno"> 137</span>  <span class="keywordflow">return</span> <span class="keyword">new</span> <a class="code" href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html#ab18cfbee2982788d5c80db29c949f68b">Domain</a>(mainJNI.Domain_complement(swigCPtr, <span class="keyword">this</span>), <span class="keyword">true</span>);</div><div class="line"><a name="l00138"></a><span class="lineno"> 138</span>  }</div><div class="line"><a name="l00139"></a><span class="lineno"> 139</span> </div><div class="line"><a name="l00143"></a><span class="lineno"><a class="line" href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html#a4d98e5387bb26584cbef534887fe330a"> 143</a></span>  <span class="keyword">public</span> <a class="code" href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html">Domain</a> <a class="code" href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html#a4d98e5387bb26584cbef534887fe330a">negation</a>() {</div><div class="line"><a name="l00144"></a><span class="lineno"> 144</span>  <span class="keywordflow">return</span> <span class="keyword">new</span> <a class="code" href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html#ab18cfbee2982788d5c80db29c949f68b">Domain</a>(mainJNI.Domain_negation(swigCPtr, <span class="keyword">this</span>), <span class="keyword">true</span>);</div><div class="line"><a name="l00145"></a><span class="lineno"> 145</span>  }</div><div class="line"><a name="l00146"></a><span class="lineno"> 146</span> </div><div class="line"><a name="l00150"></a><span class="lineno"><a class="line" href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html#ab2f20e0b44bbcd89b238ff313b362f1e"> 150</a></span>  <span class="keyword">public</span> <a class="code" href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html">Domain</a> <a class="code" href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html#ab2f20e0b44bbcd89b238ff313b362f1e">intersectionWith</a>(<a class="code" href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html">Domain</a> domain) {</div><div class="line"><a name="l00151"></a><span class="lineno"> 151</span>  <span class="keywordflow">return</span> <span class="keyword">new</span> <a class="code" href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html#ab18cfbee2982788d5c80db29c949f68b">Domain</a>(mainJNI.Domain_intersectionWith(swigCPtr, <span class="keyword">this</span>, <a class="code" href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html">Domain</a>.getCPtr(domain), domain), <span class="keyword">true</span>);</div><div class="line"><a name="l00152"></a><span class="lineno"> 152</span>  }</div><div class="line"><a name="l00153"></a><span class="lineno"> 153</span> </div><div class="line"><a name="l00157"></a><span class="lineno"><a class="line" href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html#a178c97921895cfea1d5c277a5f706b5a"> 157</a></span>  <span class="keyword">public</span> <a class="code" href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html">Domain</a> <a class="code" href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html#a178c97921895cfea1d5c277a5f706b5a">unionWith</a>(<a class="code" href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html">Domain</a> domain) {</div><div class="line"><a name="l00158"></a><span class="lineno"> 158</span>  <span class="keywordflow">return</span> <span class="keyword">new</span> <a class="code" href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html#ab18cfbee2982788d5c80db29c949f68b">Domain</a>(mainJNI.Domain_unionWith(swigCPtr, <span class="keyword">this</span>, <a class="code" href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html">Domain</a>.getCPtr(domain), domain), <span class="keyword">true</span>);</div><div class="line"><a name="l00159"></a><span class="lineno"> 159</span>  }</div><div class="line"><a name="l00160"></a><span class="lineno"> 160</span> </div><div class="line"><a name="l00164"></a><span class="lineno"><a class="line" href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html#afff6d41414c173a033e2c3e6d36cc52a"> 164</a></span>  <span class="keyword">public</span> <a class="code" href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html">Domain</a> <a class="code" href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html#afff6d41414c173a033e2c3e6d36cc52a">additionWith</a>(<a class="code" href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html">Domain</a> domain) {</div><div class="line"><a name="l00165"></a><span class="lineno"> 165</span>  <span class="keywordflow">return</span> <span class="keyword">new</span> <a class="code" href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html#ab18cfbee2982788d5c80db29c949f68b">Domain</a>(mainJNI.Domain_additionWith(swigCPtr, <span class="keyword">this</span>, <a class="code" href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html">Domain</a>.getCPtr(domain), domain), <span class="keyword">true</span>);</div><div class="line"><a name="l00166"></a><span class="lineno"> 166</span>  }</div><div class="line"><a name="l00167"></a><span class="lineno"> 167</span> </div><div class="line"><a name="l00171"></a><span class="lineno"><a class="line" href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html#a0189be53f5d5e4b1d2f46b2dd8730e4e"> 171</a></span>  <span class="keyword">public</span> String <a class="code" href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html#a0189be53f5d5e4b1d2f46b2dd8730e4e">toString</a>() {</div><div class="line"><a name="l00172"></a><span class="lineno"> 172</span>  <span class="keywordflow">return</span> mainJNI.Domain_toString(swigCPtr, <span class="keyword">this</span>);</div><div class="line"><a name="l00173"></a><span class="lineno"> 173</span>  }</div><div class="line"><a name="l00174"></a><span class="lineno"> 174</span> </div><div class="line"><a name="l00175"></a><span class="lineno"> 175</span> }</div><div class="ttc" id="classcom_1_1google_1_1ortools_1_1util_1_1Domain_html_ad8f9aabb9756d040c04d373e23edc7f0"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html#ad8f9aabb9756d040c04d373e23edc7f0">com.google.ortools.util.Domain.size</a></div><div class="ttdeci">long size()</div><div class="ttdoc">Returns the number of elements in the domain.</div><div class="ttdef"><b>Definition:</b> <a href="Domain_8java_source.html#l00108">Domain.java:108</a></div></div>
|
||
<div class="ttc" id="classcom_1_1google_1_1ortools_1_1util_1_1Domain_html_ab43592f4c67c462b52e147242b4f2860"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html#ab43592f4c67c462b52e147242b4f2860">com.google.ortools.util.Domain.isEmpty</a></div><div class="ttdeci">boolean isEmpty()</div><div class="ttdoc">Returns true if this is the empty set.</div><div class="ttdef"><b>Definition:</b> <a href="Domain_8java_source.html#l00101">Domain.java:101</a></div></div>
|
||
<div class="ttc" id="classcom_1_1google_1_1ortools_1_1util_1_1Domain_html_a1e28fb70f8dba8d6195f1d15c51fafa7"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html#a1e28fb70f8dba8d6195f1d15c51fafa7">com.google.ortools.util.Domain.contains</a></div><div class="ttdeci">boolean contains(long value)</div><div class="ttdoc">Returns true iff value is in Domain.</div><div class="ttdef"><b>Definition:</b> <a href="Domain_8java_source.html#l00129">Domain.java:129</a></div></div>
|
||
<div class="ttc" id="classcom_1_1google_1_1ortools_1_1util_1_1Domain_html_a8d18576ab944addefccc823796ea777d"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html#a8d18576ab944addefccc823796ea777d">com.google.ortools.util.Domain.min</a></div><div class="ttdeci">long min()</div><div class="ttdoc">Returns the domain min value.</div><div class="ttdef"><b>Definition:</b> <a href="Domain_8java_source.html#l00115">Domain.java:115</a></div></div>
|
||
<div class="ttc" id="classcom_1_1google_1_1ortools_1_1util_1_1Domain_html_a2e5a2a9635145a40646cdc5cad96f179"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html#a2e5a2a9635145a40646cdc5cad96f179">com.google.ortools.util.Domain.flattenedIntervals</a></div><div class="ttdeci">long [] flattenedIntervals()</div><div class="ttdoc">This method returns the flattened list of interval bounds of the domain.</div><div class="ttdef"><b>Definition:</b> <a href="Domain_8java_source.html#l00094">Domain.java:94</a></div></div>
|
||
<div class="ttc" id="classcom_1_1google_1_1ortools_1_1util_1_1Domain_html_af815910dab415f43bb698be41e858c0b"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html#af815910dab415f43bb698be41e858c0b">com.google.ortools.util.Domain.Domain</a></div><div class="ttdeci">Domain(long cPtr, boolean cMemoryOwn)</div><div class="ttdef"><b>Definition:</b> <a href="Domain_8java_source.html#l00018">Domain.java:18</a></div></div>
|
||
<div class="ttc" id="classcom_1_1google_1_1ortools_1_1util_1_1Domain_html_afe97c8f4886e8389fa0e675153d79aad"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html#afe97c8f4886e8389fa0e675153d79aad">com.google.ortools.util.Domain.Domain</a></div><div class="ttdeci">Domain(long left, long right)</div><div class="ttdoc">Constructor for the common case of a single interval [left, right].</div><div class="ttdef"><b>Definition:</b> <a href="Domain_8java_source.html#l00059">Domain.java:59</a></div></div>
|
||
<div class="ttc" id="classcom_1_1google_1_1ortools_1_1util_1_1Domain_html_abef21fb76ae280375d6b2872fdf045e4"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html#abef21fb76ae280375d6b2872fdf045e4">com.google.ortools.util.Domain.Domain</a></div><div class="ttdeci">Domain(long value)</div><div class="ttdoc">Constructor for the common case of a singleton domain.</div><div class="ttdef"><b>Definition:</b> <a href="Domain_8java_source.html#l00052">Domain.java:52</a></div></div>
|
||
<div class="ttc" id="classcom_1_1google_1_1ortools_1_1util_1_1Domain_html_a35f0d751cdaf0896574aa3e7da4fa9d7"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html#a35f0d751cdaf0896574aa3e7da4fa9d7">com.google.ortools.util.Domain.max</a></div><div class="ttdeci">long max()</div><div class="ttdoc">Returns the domain max value.</div><div class="ttdef"><b>Definition:</b> <a href="Domain_8java_source.html#l00122">Domain.java:122</a></div></div>
|
||
<div class="ttc" id="classcom_1_1google_1_1ortools_1_1util_1_1Domain_html_aff672fde036cb9855306055858572a6c"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html#aff672fde036cb9855306055858572a6c">com.google.ortools.util.Domain.allValues</a></div><div class="ttdeci">static Domain allValues()</div><div class="ttdoc">Returns the full domain Int64.</div><div class="ttdef"><b>Definition:</b> <a href="Domain_8java_source.html#l00066">Domain.java:66</a></div></div>
|
||
<div class="ttc" id="classcom_1_1google_1_1ortools_1_1util_1_1Domain_html_ab2f20e0b44bbcd89b238ff313b362f1e"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html#ab2f20e0b44bbcd89b238ff313b362f1e">com.google.ortools.util.Domain.intersectionWith</a></div><div class="ttdeci">Domain intersectionWith(Domain domain)</div><div class="ttdoc">Returns the set D ∩ domain.</div><div class="ttdef"><b>Definition:</b> <a href="Domain_8java_source.html#l00150">Domain.java:150</a></div></div>
|
||
<div class="ttc" id="classcom_1_1google_1_1ortools_1_1util_1_1Domain_html_a299b2f810835cd5f39d5a892140409e8"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html#a299b2f810835cd5f39d5a892140409e8">com.google.ortools.util.Domain.fromValues</a></div><div class="ttdeci">static Domain fromValues(long[] values)</div><div class="ttdoc">Creates a domain from the union of an unsorted list of integer values.</div><div class="ttdef"><b>Definition:</b> <a href="Domain_8java_source.html#l00073">Domain.java:73</a></div></div>
|
||
<div class="ttc" id="classcom_1_1google_1_1ortools_1_1util_1_1Domain_html_a0fd1b8ab1206e8c10f6fa6dc5dd21e12"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html#a0fd1b8ab1206e8c10f6fa6dc5dd21e12">com.google.ortools.util.Domain.fromFlatIntervals</a></div><div class="ttdeci">static Domain fromFlatIntervals(long[] flat_intervals)</div><div class="ttdoc">This method is available in Python, Java and .NET.</div><div class="ttdef"><b>Definition:</b> <a href="Domain_8java_source.html#l00087">Domain.java:87</a></div></div>
|
||
<div class="ttc" id="classcom_1_1google_1_1ortools_1_1util_1_1Domain_html_a0189be53f5d5e4b1d2f46b2dd8730e4e"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html#a0189be53f5d5e4b1d2f46b2dd8730e4e">com.google.ortools.util.Domain.toString</a></div><div class="ttdeci">String toString()</div><div class="ttdoc">Returns a compact std::string of a vector of intervals like "[1,4][6][10,20]".</div><div class="ttdef"><b>Definition:</b> <a href="Domain_8java_source.html#l00171">Domain.java:171</a></div></div>
|
||
<div class="ttc" id="classcom_1_1google_1_1ortools_1_1util_1_1Domain_html_abb160cd482a8c7ad625b545b28a5da5f"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html#abb160cd482a8c7ad625b545b28a5da5f">com.google.ortools.util.Domain.complement</a></div><div class="ttdeci">Domain complement()</div><div class="ttdoc">Returns the set Int64 ∖ D.</div><div class="ttdef"><b>Definition:</b> <a href="Domain_8java_source.html#l00136">Domain.java:136</a></div></div>
|
||
<div class="ttc" id="classcom_1_1google_1_1ortools_1_1util_1_1Domain_html_a178c97921895cfea1d5c277a5f706b5a"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html#a178c97921895cfea1d5c277a5f706b5a">com.google.ortools.util.Domain.unionWith</a></div><div class="ttdeci">Domain unionWith(Domain domain)</div><div class="ttdoc">Returns the set D ∪ domain.</div><div class="ttdef"><b>Definition:</b> <a href="Domain_8java_source.html#l00157">Domain.java:157</a></div></div>
|
||
<div class="ttc" id="classcom_1_1google_1_1ortools_1_1util_1_1Domain_html_a19c054d5f6543797b1ad6b402d5f3404"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html#a19c054d5f6543797b1ad6b402d5f3404">com.google.ortools.util.Domain.fromIntervals</a></div><div class="ttdeci">static Domain fromIntervals(long[][] intervals)</div><div class="ttdoc">This method is available in Python, Java and .NET.</div><div class="ttdef"><b>Definition:</b> <a href="Domain_8java_source.html#l00080">Domain.java:80</a></div></div>
|
||
<div class="ttc" id="classcom_1_1google_1_1ortools_1_1util_1_1Domain_html_a4d98e5387bb26584cbef534887fe330a"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html#a4d98e5387bb26584cbef534887fe330a">com.google.ortools.util.Domain.negation</a></div><div class="ttdeci">Domain negation()</div><div class="ttdoc">Returns {x ∈ Int64, ∃ e ∈ D, x = -e}.</div><div class="ttdef"><b>Definition:</b> <a href="Domain_8java_source.html#l00143">Domain.java:143</a></div></div>
|
||
<div class="ttc" id="classcom_1_1google_1_1ortools_1_1util_1_1Domain_html_afff6d41414c173a033e2c3e6d36cc52a"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html#afff6d41414c173a033e2c3e6d36cc52a">com.google.ortools.util.Domain.additionWith</a></div><div class="ttdeci">Domain additionWith(Domain domain)</div><div class="ttdoc">Returns {x ∈ Int64, ∃ a ∈ D, ∃ b ∈ domain, x = a + b}.</div><div class="ttdef"><b>Definition:</b> <a href="Domain_8java_source.html#l00164">Domain.java:164</a></div></div>
|
||
<div class="ttc" id="classcom_1_1google_1_1ortools_1_1util_1_1Domain_html"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html">com.google.ortools.util.Domain</a></div><div class="ttdoc">We call "domain" any subset of Int64 = [kint64min, kint64max].</div><div class="ttdef"><b>Definition:</b> <a href="Domain_8java_source.html#l00014">Domain.java:14</a></div></div>
|
||
<div class="ttc" id="classcom_1_1google_1_1ortools_1_1util_1_1Domain_html_ab18cfbee2982788d5c80db29c949f68b"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1util_1_1Domain.html#ab18cfbee2982788d5c80db29c949f68b">com.google.ortools.util.Domain.Domain</a></div><div class="ttdeci">Domain()</div><div class="ttdoc">By default, Domain will be empty.</div><div class="ttdef"><b>Definition:</b> <a href="Domain_8java_source.html#l00045">Domain.java:45</a></div></div>
|
||
</div><!-- fragment --></div><!-- contents -->
|
||
</div>
|
||
<div id="footer-container">
|
||
<div id="footer">
|
||
</div>
|
||
</div>
|
||
</body>
|
||
</html>
|