Update doc
This commit is contained in:
Corentin Le Molgat
@@ -31,7 +31,7 @@
|
||||
<div align="center">
|
||||
<h1 style="color: #145A32;">Java Reference</h1>
|
||||
</div>
|
||||
<!-- Generated by Doxygen 1.8.18 -->
|
||||
<!-- Generated by Doxygen 1.8.16 -->
|
||||
<div id="navrow1" class="tabs">
|
||||
<ul class="tablist">
|
||||
<li><a href="namespaces.html"><span>Namespaces</span></a></li>
|
||||
@@ -311,7 +311,7 @@
|
||||
<div class="line"><a name="l00260"></a><span class="lineno"> 260</span>  <span class="stringliteral">"ECT_LOWER_HALF\020\002\022\025\n\021SELECT_UPPER_HALF\020\003\022"</span> +</div>
|
||||
<div class="line"><a name="l00261"></a><span class="lineno"> 261</span>  <span class="stringliteral">"\027\n\023SELECT_MEDIAN_VALUE\020\004\"9\n\031PartialVaria"</span> +</div>
|
||||
<div class="line"><a name="l00262"></a><span class="lineno"> 262</span>  <span class="stringliteral">"bleAssignment\022\014\n\004vars\030\001 \003(\005\022\016\n\006values\030\002 "</span> +</div>
|
||||
<div class="line"><a name="l00263"></a><span class="lineno"> 263</span>  <span class="stringliteral">"\003(\003\"\357\002\n\014CpModelProto\022\014\n\004name\030\001 \001(\t\022@\n\tva"</span> +</div>
|
||||
<div class="line"><a name="l00263"></a><span class="lineno"> 263</span>  <span class="stringliteral">"\003(\003\"\204\003\n\014CpModelProto\022\014\n\004name\030\001 \001(\t\022@\n\tva"</span> +</div>
|
||||
<div class="line"><a name="l00264"></a><span class="lineno"> 264</span>  <span class="stringliteral">"riables\030\002 \003(\0132-.operations_research.sat."</span> +</div>
|
||||
<div class="line"><a name="l00265"></a><span class="lineno"> 265</span>  <span class="stringliteral">"IntegerVariableProto\022=\n\013constraints\030\003 \003("</span> +</div>
|
||||
<div class="line"><a name="l00266"></a><span class="lineno"> 266</span>  <span class="stringliteral">"\0132(.operations_research.sat.ConstraintPr"</span> +</div>
|
||||
@@ -320,190 +320,192 @@
|
||||
<div class="line"><a name="l00269"></a><span class="lineno"> 269</span>  <span class="stringliteral">"tegy\030\005 \003(\0132..operations_research.sat.Dec"</span> +</div>
|
||||
<div class="line"><a name="l00270"></a><span class="lineno"> 270</span>  <span class="stringliteral">"isionStrategyProto\022I\n\rsolution_hint\030\006 \001("</span> +</div>
|
||||
<div class="line"><a name="l00271"></a><span class="lineno"> 271</span>  <span class="stringliteral">"\01322.operations_research.sat.PartialVaria"</span> +</div>
|
||||
<div class="line"><a name="l00272"></a><span class="lineno"> 272</span>  <span class="stringliteral">"bleAssignment\"\270\004\n\020CpSolverResponse\0227\n\006st"</span> +</div>
|
||||
<div class="line"><a name="l00273"></a><span class="lineno"> 273</span>  <span class="stringliteral">"atus\030\001 \001(\0162\'.operations_research.sat.CpS"</span> +</div>
|
||||
<div class="line"><a name="l00274"></a><span class="lineno"> 274</span>  <span class="stringliteral">"olverStatus\022\020\n\010solution\030\002 \003(\003\022\027\n\017objecti"</span> +</div>
|
||||
<div class="line"><a name="l00275"></a><span class="lineno"> 275</span>  <span class="stringliteral">"ve_value\030\003 \001(\001\022\034\n\024best_objective_bound\030\004"</span> +</div>
|
||||
<div class="line"><a name="l00276"></a><span class="lineno"> 276</span>  <span class="stringliteral">" \001(\001\022\035\n\025solution_lower_bounds\030\022 \003(\003\022\035\n\025s"</span> +</div>
|
||||
<div class="line"><a name="l00277"></a><span class="lineno"> 277</span>  <span class="stringliteral">"olution_upper_bounds\030\023 \003(\003\022J\n\023tightened_"</span> +</div>
|
||||
<div class="line"><a name="l00278"></a><span class="lineno"> 278</span>  <span class="stringliteral">"variables\030\025 \003(\0132-.operations_research.sa"</span> +</div>
|
||||
<div class="line"><a name="l00279"></a><span class="lineno"> 279</span>  <span class="stringliteral">"t.IntegerVariableProto\022 \n\030all_solutions_"</span> +</div>
|
||||
<div class="line"><a name="l00280"></a><span class="lineno"> 280</span>  <span class="stringliteral">"were_found\030\005 \001(\010\022\024\n\014num_booleans\030\n \001(\003\022\025"</span> +</div>
|
||||
<div class="line"><a name="l00281"></a><span class="lineno"> 281</span>  <span class="stringliteral">"\n\rnum_conflicts\030\013 \001(\003\022\024\n\014num_branches\030\014 "</span> +</div>
|
||||
<div class="line"><a name="l00282"></a><span class="lineno"> 282</span>  <span class="stringliteral">"\001(\003\022\037\n\027num_binary_propagations\030\r \001(\003\022 \n\030"</span> +</div>
|
||||
<div class="line"><a name="l00283"></a><span class="lineno"> 283</span>  <span class="stringliteral">"num_integer_propagations\030\016 \001(\003\022\021\n\twall_t"</span> +</div>
|
||||
<div class="line"><a name="l00284"></a><span class="lineno"> 284</span>  <span class="stringliteral">"ime\030\017 \001(\001\022\021\n\tuser_time\030\020 \001(\001\022\032\n\022determin"</span> +</div>
|
||||
<div class="line"><a name="l00285"></a><span class="lineno"> 285</span>  <span class="stringliteral">"istic_time\030\021 \001(\001\022\027\n\017primal_integral\030\026 \001("</span> +</div>
|
||||
<div class="line"><a name="l00286"></a><span class="lineno"> 286</span>  <span class="stringliteral">"\001\022\025\n\rsolution_info\030\024 \001(\t*[\n\016CpSolverStat"</span> +</div>
|
||||
<div class="line"><a name="l00287"></a><span class="lineno"> 287</span>  <span class="stringliteral">"us\022\013\n\007UNKNOWN\020\000\022\021\n\rMODEL_INVALID\020\001\022\014\n\010FE"</span> +</div>
|
||||
<div class="line"><a name="l00288"></a><span class="lineno"> 288</span>  <span class="stringliteral">"ASIBLE\020\002\022\016\n\nINFEASIBLE\020\003\022\013\n\007OPTIMAL\020\004B@\n"</span> +</div>
|
||||
<div class="line"><a name="l00289"></a><span class="lineno"> 289</span>  <span class="stringliteral">"\026com.google.ortools.satB\017CpModelProtobuf"</span> +</div>
|
||||
<div class="line"><a name="l00290"></a><span class="lineno"> 290</span>  <span class="stringliteral">"P\001\252\002\022Google.OrTools.Satb\006proto3"</span></div>
|
||||
<div class="line"><a name="l00291"></a><span class="lineno"> 291</span>  };</div>
|
||||
<div class="line"><a name="l00292"></a><span class="lineno"> 292</span>  descriptor = <a class="code" href="namespacecom.html">com</a>.<a class="code" href="namespacecom_1_1google.html">google</a>.protobuf.Descriptors.FileDescriptor</div>
|
||||
<div class="line"><a name="l00293"></a><span class="lineno"> 293</span>  .internalBuildGeneratedFileFrom(descriptorData,</div>
|
||||
<div class="line"><a name="l00294"></a><span class="lineno"> 294</span>  <span class="keyword">new</span> <a class="code" href="namespacecom.html">com</a>.<a class="code" href="namespacecom_1_1google.html">google</a>.protobuf.Descriptors.FileDescriptor[] {</div>
|
||||
<div class="line"><a name="l00295"></a><span class="lineno"> 295</span>  });</div>
|
||||
<div class="line"><a name="l00296"></a><span class="lineno"> 296</span>  internal_static_operations_research_sat_IntegerVariableProto_descriptor =</div>
|
||||
<div class="line"><a name="l00297"></a><span class="lineno"> 297</span>  <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModelProtobuf.html#a59e560ee75736dcaacca4641402b059d">getDescriptor</a>().getMessageTypes().get(0);</div>
|
||||
<div class="line"><a name="l00298"></a><span class="lineno"> 298</span>  internal_static_operations_research_sat_IntegerVariableProto_fieldAccessorTable = <span class="keyword">new</span></div>
|
||||
<div class="line"><a name="l00299"></a><span class="lineno"> 299</span>  <a class="code" href="namespacecom.html">com</a>.<a class="code" href="namespacecom_1_1google.html">google</a>.protobuf.GeneratedMessageV3.FieldAccessorTable(</div>
|
||||
<div class="line"><a name="l00300"></a><span class="lineno"> 300</span>  internal_static_operations_research_sat_IntegerVariableProto_descriptor,</div>
|
||||
<div class="line"><a name="l00301"></a><span class="lineno"> 301</span>  <span class="keyword">new</span> java.lang.String[] { <span class="stringliteral">"Name"</span>, <span class="stringliteral">"Domain"</span>, });</div>
|
||||
<div class="line"><a name="l00302"></a><span class="lineno"> 302</span>  internal_static_operations_research_sat_BoolArgumentProto_descriptor =</div>
|
||||
<div class="line"><a name="l00303"></a><span class="lineno"> 303</span>  <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModelProtobuf.html#a59e560ee75736dcaacca4641402b059d">getDescriptor</a>().getMessageTypes().get(1);</div>
|
||||
<div class="line"><a name="l00304"></a><span class="lineno"> 304</span>  internal_static_operations_research_sat_BoolArgumentProto_fieldAccessorTable = <span class="keyword">new</span></div>
|
||||
<div class="line"><a name="l00305"></a><span class="lineno"> 305</span>  <a class="code" href="namespacecom.html">com</a>.<a class="code" href="namespacecom_1_1google.html">google</a>.protobuf.GeneratedMessageV3.FieldAccessorTable(</div>
|
||||
<div class="line"><a name="l00306"></a><span class="lineno"> 306</span>  internal_static_operations_research_sat_BoolArgumentProto_descriptor,</div>
|
||||
<div class="line"><a name="l00307"></a><span class="lineno"> 307</span>  <span class="keyword">new</span> java.lang.String[] { <span class="stringliteral">"Literals"</span>, });</div>
|
||||
<div class="line"><a name="l00308"></a><span class="lineno"> 308</span>  internal_static_operations_research_sat_IntegerArgumentProto_descriptor =</div>
|
||||
<div class="line"><a name="l00309"></a><span class="lineno"> 309</span>  <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModelProtobuf.html#a59e560ee75736dcaacca4641402b059d">getDescriptor</a>().getMessageTypes().get(2);</div>
|
||||
<div class="line"><a name="l00310"></a><span class="lineno"> 310</span>  internal_static_operations_research_sat_IntegerArgumentProto_fieldAccessorTable = <span class="keyword">new</span></div>
|
||||
<div class="line"><a name="l00311"></a><span class="lineno"> 311</span>  <a class="code" href="namespacecom.html">com</a>.<a class="code" href="namespacecom_1_1google.html">google</a>.protobuf.GeneratedMessageV3.FieldAccessorTable(</div>
|
||||
<div class="line"><a name="l00312"></a><span class="lineno"> 312</span>  internal_static_operations_research_sat_IntegerArgumentProto_descriptor,</div>
|
||||
<div class="line"><a name="l00313"></a><span class="lineno"> 313</span>  <span class="keyword">new</span> java.lang.String[] { <span class="stringliteral">"Target"</span>, <span class="stringliteral">"Vars"</span>, });</div>
|
||||
<div class="line"><a name="l00314"></a><span class="lineno"> 314</span>  internal_static_operations_research_sat_LinearExpressionProto_descriptor =</div>
|
||||
<div class="line"><a name="l00315"></a><span class="lineno"> 315</span>  <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModelProtobuf.html#a59e560ee75736dcaacca4641402b059d">getDescriptor</a>().getMessageTypes().get(3);</div>
|
||||
<div class="line"><a name="l00316"></a><span class="lineno"> 316</span>  internal_static_operations_research_sat_LinearExpressionProto_fieldAccessorTable = <span class="keyword">new</span></div>
|
||||
<div class="line"><a name="l00317"></a><span class="lineno"> 317</span>  <a class="code" href="namespacecom.html">com</a>.<a class="code" href="namespacecom_1_1google.html">google</a>.protobuf.GeneratedMessageV3.FieldAccessorTable(</div>
|
||||
<div class="line"><a name="l00318"></a><span class="lineno"> 318</span>  internal_static_operations_research_sat_LinearExpressionProto_descriptor,</div>
|
||||
<div class="line"><a name="l00319"></a><span class="lineno"> 319</span>  <span class="keyword">new</span> java.lang.String[] { <span class="stringliteral">"Vars"</span>, <span class="stringliteral">"Coeffs"</span>, <span class="stringliteral">"Offset"</span>, });</div>
|
||||
<div class="line"><a name="l00320"></a><span class="lineno"> 320</span>  internal_static_operations_research_sat_LinearArgumentProto_descriptor =</div>
|
||||
<div class="line"><a name="l00321"></a><span class="lineno"> 321</span>  <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModelProtobuf.html#a59e560ee75736dcaacca4641402b059d">getDescriptor</a>().getMessageTypes().get(4);</div>
|
||||
<div class="line"><a name="l00322"></a><span class="lineno"> 322</span>  internal_static_operations_research_sat_LinearArgumentProto_fieldAccessorTable = <span class="keyword">new</span></div>
|
||||
<div class="line"><a name="l00323"></a><span class="lineno"> 323</span>  <a class="code" href="namespacecom.html">com</a>.<a class="code" href="namespacecom_1_1google.html">google</a>.protobuf.GeneratedMessageV3.FieldAccessorTable(</div>
|
||||
<div class="line"><a name="l00324"></a><span class="lineno"> 324</span>  internal_static_operations_research_sat_LinearArgumentProto_descriptor,</div>
|
||||
<div class="line"><a name="l00325"></a><span class="lineno"> 325</span>  <span class="keyword">new</span> java.lang.String[] { <span class="stringliteral">"Target"</span>, <span class="stringliteral">"Exprs"</span>, });</div>
|
||||
<div class="line"><a name="l00326"></a><span class="lineno"> 326</span>  internal_static_operations_research_sat_AllDifferentConstraintProto_descriptor =</div>
|
||||
<div class="line"><a name="l00327"></a><span class="lineno"> 327</span>  <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModelProtobuf.html#a59e560ee75736dcaacca4641402b059d">getDescriptor</a>().getMessageTypes().get(5);</div>
|
||||
<div class="line"><a name="l00328"></a><span class="lineno"> 328</span>  internal_static_operations_research_sat_AllDifferentConstraintProto_fieldAccessorTable = <span class="keyword">new</span></div>
|
||||
<div class="line"><a name="l00329"></a><span class="lineno"> 329</span>  <a class="code" href="namespacecom.html">com</a>.<a class="code" href="namespacecom_1_1google.html">google</a>.protobuf.GeneratedMessageV3.FieldAccessorTable(</div>
|
||||
<div class="line"><a name="l00330"></a><span class="lineno"> 330</span>  internal_static_operations_research_sat_AllDifferentConstraintProto_descriptor,</div>
|
||||
<div class="line"><a name="l00331"></a><span class="lineno"> 331</span>  <span class="keyword">new</span> java.lang.String[] { <span class="stringliteral">"Vars"</span>, });</div>
|
||||
<div class="line"><a name="l00332"></a><span class="lineno"> 332</span>  internal_static_operations_research_sat_LinearConstraintProto_descriptor =</div>
|
||||
<div class="line"><a name="l00333"></a><span class="lineno"> 333</span>  <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModelProtobuf.html#a59e560ee75736dcaacca4641402b059d">getDescriptor</a>().getMessageTypes().get(6);</div>
|
||||
<div class="line"><a name="l00334"></a><span class="lineno"> 334</span>  internal_static_operations_research_sat_LinearConstraintProto_fieldAccessorTable = <span class="keyword">new</span></div>
|
||||
<div class="line"><a name="l00335"></a><span class="lineno"> 335</span>  <a class="code" href="namespacecom.html">com</a>.<a class="code" href="namespacecom_1_1google.html">google</a>.protobuf.GeneratedMessageV3.FieldAccessorTable(</div>
|
||||
<div class="line"><a name="l00336"></a><span class="lineno"> 336</span>  internal_static_operations_research_sat_LinearConstraintProto_descriptor,</div>
|
||||
<div class="line"><a name="l00337"></a><span class="lineno"> 337</span>  <span class="keyword">new</span> java.lang.String[] { <span class="stringliteral">"Vars"</span>, <span class="stringliteral">"Coeffs"</span>, <span class="stringliteral">"Domain"</span>, });</div>
|
||||
<div class="line"><a name="l00338"></a><span class="lineno"> 338</span>  internal_static_operations_research_sat_ElementConstraintProto_descriptor =</div>
|
||||
<div class="line"><a name="l00339"></a><span class="lineno"> 339</span>  <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModelProtobuf.html#a59e560ee75736dcaacca4641402b059d">getDescriptor</a>().getMessageTypes().get(7);</div>
|
||||
<div class="line"><a name="l00340"></a><span class="lineno"> 340</span>  internal_static_operations_research_sat_ElementConstraintProto_fieldAccessorTable = <span class="keyword">new</span></div>
|
||||
<div class="line"><a name="l00341"></a><span class="lineno"> 341</span>  <a class="code" href="namespacecom.html">com</a>.<a class="code" href="namespacecom_1_1google.html">google</a>.protobuf.GeneratedMessageV3.FieldAccessorTable(</div>
|
||||
<div class="line"><a name="l00342"></a><span class="lineno"> 342</span>  internal_static_operations_research_sat_ElementConstraintProto_descriptor,</div>
|
||||
<div class="line"><a name="l00343"></a><span class="lineno"> 343</span>  <span class="keyword">new</span> java.lang.String[] { <span class="stringliteral">"Index"</span>, <span class="stringliteral">"Target"</span>, <span class="stringliteral">"Vars"</span>, });</div>
|
||||
<div class="line"><a name="l00344"></a><span class="lineno"> 344</span>  internal_static_operations_research_sat_IntervalConstraintProto_descriptor =</div>
|
||||
<div class="line"><a name="l00345"></a><span class="lineno"> 345</span>  <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModelProtobuf.html#a59e560ee75736dcaacca4641402b059d">getDescriptor</a>().getMessageTypes().get(8);</div>
|
||||
<div class="line"><a name="l00346"></a><span class="lineno"> 346</span>  internal_static_operations_research_sat_IntervalConstraintProto_fieldAccessorTable = <span class="keyword">new</span></div>
|
||||
<div class="line"><a name="l00347"></a><span class="lineno"> 347</span>  <a class="code" href="namespacecom.html">com</a>.<a class="code" href="namespacecom_1_1google.html">google</a>.protobuf.GeneratedMessageV3.FieldAccessorTable(</div>
|
||||
<div class="line"><a name="l00348"></a><span class="lineno"> 348</span>  internal_static_operations_research_sat_IntervalConstraintProto_descriptor,</div>
|
||||
<div class="line"><a name="l00349"></a><span class="lineno"> 349</span>  <span class="keyword">new</span> java.lang.String[] { <span class="stringliteral">"Start"</span>, <span class="stringliteral">"End"</span>, <span class="stringliteral">"Size"</span>, });</div>
|
||||
<div class="line"><a name="l00350"></a><span class="lineno"> 350</span>  internal_static_operations_research_sat_NoOverlapConstraintProto_descriptor =</div>
|
||||
<div class="line"><a name="l00351"></a><span class="lineno"> 351</span>  <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModelProtobuf.html#a59e560ee75736dcaacca4641402b059d">getDescriptor</a>().getMessageTypes().get(9);</div>
|
||||
<div class="line"><a name="l00352"></a><span class="lineno"> 352</span>  internal_static_operations_research_sat_NoOverlapConstraintProto_fieldAccessorTable = <span class="keyword">new</span></div>
|
||||
<div class="line"><a name="l00353"></a><span class="lineno"> 353</span>  <a class="code" href="namespacecom.html">com</a>.<a class="code" href="namespacecom_1_1google.html">google</a>.protobuf.GeneratedMessageV3.FieldAccessorTable(</div>
|
||||
<div class="line"><a name="l00354"></a><span class="lineno"> 354</span>  internal_static_operations_research_sat_NoOverlapConstraintProto_descriptor,</div>
|
||||
<div class="line"><a name="l00355"></a><span class="lineno"> 355</span>  <span class="keyword">new</span> java.lang.String[] { <span class="stringliteral">"Intervals"</span>, });</div>
|
||||
<div class="line"><a name="l00356"></a><span class="lineno"> 356</span>  internal_static_operations_research_sat_NoOverlap2DConstraintProto_descriptor =</div>
|
||||
<div class="line"><a name="l00357"></a><span class="lineno"> 357</span>  <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModelProtobuf.html#a59e560ee75736dcaacca4641402b059d">getDescriptor</a>().getMessageTypes().get(10);</div>
|
||||
<div class="line"><a name="l00358"></a><span class="lineno"> 358</span>  internal_static_operations_research_sat_NoOverlap2DConstraintProto_fieldAccessorTable = <span class="keyword">new</span></div>
|
||||
<div class="line"><a name="l00359"></a><span class="lineno"> 359</span>  <a class="code" href="namespacecom.html">com</a>.<a class="code" href="namespacecom_1_1google.html">google</a>.protobuf.GeneratedMessageV3.FieldAccessorTable(</div>
|
||||
<div class="line"><a name="l00360"></a><span class="lineno"> 360</span>  internal_static_operations_research_sat_NoOverlap2DConstraintProto_descriptor,</div>
|
||||
<div class="line"><a name="l00361"></a><span class="lineno"> 361</span>  <span class="keyword">new</span> java.lang.String[] { <span class="stringliteral">"XIntervals"</span>, <span class="stringliteral">"YIntervals"</span>, <span class="stringliteral">"BoxesWithNullAreaCanOverlap"</span>, });</div>
|
||||
<div class="line"><a name="l00362"></a><span class="lineno"> 362</span>  internal_static_operations_research_sat_CumulativeConstraintProto_descriptor =</div>
|
||||
<div class="line"><a name="l00363"></a><span class="lineno"> 363</span>  <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModelProtobuf.html#a59e560ee75736dcaacca4641402b059d">getDescriptor</a>().getMessageTypes().get(11);</div>
|
||||
<div class="line"><a name="l00364"></a><span class="lineno"> 364</span>  internal_static_operations_research_sat_CumulativeConstraintProto_fieldAccessorTable = <span class="keyword">new</span></div>
|
||||
<div class="line"><a name="l00365"></a><span class="lineno"> 365</span>  <a class="code" href="namespacecom.html">com</a>.<a class="code" href="namespacecom_1_1google.html">google</a>.protobuf.GeneratedMessageV3.FieldAccessorTable(</div>
|
||||
<div class="line"><a name="l00366"></a><span class="lineno"> 366</span>  internal_static_operations_research_sat_CumulativeConstraintProto_descriptor,</div>
|
||||
<div class="line"><a name="l00367"></a><span class="lineno"> 367</span>  <span class="keyword">new</span> java.lang.String[] { <span class="stringliteral">"Capacity"</span>, <span class="stringliteral">"Intervals"</span>, <span class="stringliteral">"Demands"</span>, });</div>
|
||||
<div class="line"><a name="l00368"></a><span class="lineno"> 368</span>  internal_static_operations_research_sat_ReservoirConstraintProto_descriptor =</div>
|
||||
<div class="line"><a name="l00369"></a><span class="lineno"> 369</span>  <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModelProtobuf.html#a59e560ee75736dcaacca4641402b059d">getDescriptor</a>().getMessageTypes().get(12);</div>
|
||||
<div class="line"><a name="l00370"></a><span class="lineno"> 370</span>  internal_static_operations_research_sat_ReservoirConstraintProto_fieldAccessorTable = <span class="keyword">new</span></div>
|
||||
<div class="line"><a name="l00371"></a><span class="lineno"> 371</span>  <a class="code" href="namespacecom.html">com</a>.<a class="code" href="namespacecom_1_1google.html">google</a>.protobuf.GeneratedMessageV3.FieldAccessorTable(</div>
|
||||
<div class="line"><a name="l00372"></a><span class="lineno"> 372</span>  internal_static_operations_research_sat_ReservoirConstraintProto_descriptor,</div>
|
||||
<div class="line"><a name="l00373"></a><span class="lineno"> 373</span>  <span class="keyword">new</span> java.lang.String[] { <span class="stringliteral">"MinLevel"</span>, <span class="stringliteral">"MaxLevel"</span>, <span class="stringliteral">"Times"</span>, <span class="stringliteral">"Demands"</span>, <span class="stringliteral">"Actives"</span>, });</div>
|
||||
<div class="line"><a name="l00374"></a><span class="lineno"> 374</span>  internal_static_operations_research_sat_CircuitConstraintProto_descriptor =</div>
|
||||
<div class="line"><a name="l00375"></a><span class="lineno"> 375</span>  <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModelProtobuf.html#a59e560ee75736dcaacca4641402b059d">getDescriptor</a>().getMessageTypes().get(13);</div>
|
||||
<div class="line"><a name="l00376"></a><span class="lineno"> 376</span>  internal_static_operations_research_sat_CircuitConstraintProto_fieldAccessorTable = <span class="keyword">new</span></div>
|
||||
<div class="line"><a name="l00377"></a><span class="lineno"> 377</span>  <a class="code" href="namespacecom.html">com</a>.<a class="code" href="namespacecom_1_1google.html">google</a>.protobuf.GeneratedMessageV3.FieldAccessorTable(</div>
|
||||
<div class="line"><a name="l00378"></a><span class="lineno"> 378</span>  internal_static_operations_research_sat_CircuitConstraintProto_descriptor,</div>
|
||||
<div class="line"><a name="l00379"></a><span class="lineno"> 379</span>  <span class="keyword">new</span> java.lang.String[] { <span class="stringliteral">"Tails"</span>, <span class="stringliteral">"Heads"</span>, <span class="stringliteral">"Literals"</span>, });</div>
|
||||
<div class="line"><a name="l00380"></a><span class="lineno"> 380</span>  internal_static_operations_research_sat_RoutesConstraintProto_descriptor =</div>
|
||||
<div class="line"><a name="l00381"></a><span class="lineno"> 381</span>  <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModelProtobuf.html#a59e560ee75736dcaacca4641402b059d">getDescriptor</a>().getMessageTypes().get(14);</div>
|
||||
<div class="line"><a name="l00382"></a><span class="lineno"> 382</span>  internal_static_operations_research_sat_RoutesConstraintProto_fieldAccessorTable = <span class="keyword">new</span></div>
|
||||
<div class="line"><a name="l00383"></a><span class="lineno"> 383</span>  <a class="code" href="namespacecom.html">com</a>.<a class="code" href="namespacecom_1_1google.html">google</a>.protobuf.GeneratedMessageV3.FieldAccessorTable(</div>
|
||||
<div class="line"><a name="l00384"></a><span class="lineno"> 384</span>  internal_static_operations_research_sat_RoutesConstraintProto_descriptor,</div>
|
||||
<div class="line"><a name="l00385"></a><span class="lineno"> 385</span>  <span class="keyword">new</span> java.lang.String[] { <span class="stringliteral">"Tails"</span>, <span class="stringliteral">"Heads"</span>, <span class="stringliteral">"Literals"</span>, <span class="stringliteral">"Demands"</span>, <span class="stringliteral">"Capacity"</span>, });</div>
|
||||
<div class="line"><a name="l00386"></a><span class="lineno"> 386</span>  internal_static_operations_research_sat_CircuitCoveringConstraintProto_descriptor =</div>
|
||||
<div class="line"><a name="l00387"></a><span class="lineno"> 387</span>  <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModelProtobuf.html#a59e560ee75736dcaacca4641402b059d">getDescriptor</a>().getMessageTypes().get(15);</div>
|
||||
<div class="line"><a name="l00388"></a><span class="lineno"> 388</span>  internal_static_operations_research_sat_CircuitCoveringConstraintProto_fieldAccessorTable = <span class="keyword">new</span></div>
|
||||
<div class="line"><a name="l00389"></a><span class="lineno"> 389</span>  <a class="code" href="namespacecom.html">com</a>.<a class="code" href="namespacecom_1_1google.html">google</a>.protobuf.GeneratedMessageV3.FieldAccessorTable(</div>
|
||||
<div class="line"><a name="l00390"></a><span class="lineno"> 390</span>  internal_static_operations_research_sat_CircuitCoveringConstraintProto_descriptor,</div>
|
||||
<div class="line"><a name="l00391"></a><span class="lineno"> 391</span>  <span class="keyword">new</span> java.lang.String[] { <span class="stringliteral">"Nexts"</span>, <span class="stringliteral">"DistinguishedNodes"</span>, });</div>
|
||||
<div class="line"><a name="l00392"></a><span class="lineno"> 392</span>  internal_static_operations_research_sat_TableConstraintProto_descriptor =</div>
|
||||
<div class="line"><a name="l00393"></a><span class="lineno"> 393</span>  <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModelProtobuf.html#a59e560ee75736dcaacca4641402b059d">getDescriptor</a>().getMessageTypes().get(16);</div>
|
||||
<div class="line"><a name="l00394"></a><span class="lineno"> 394</span>  internal_static_operations_research_sat_TableConstraintProto_fieldAccessorTable = <span class="keyword">new</span></div>
|
||||
<div class="line"><a name="l00395"></a><span class="lineno"> 395</span>  <a class="code" href="namespacecom.html">com</a>.<a class="code" href="namespacecom_1_1google.html">google</a>.protobuf.GeneratedMessageV3.FieldAccessorTable(</div>
|
||||
<div class="line"><a name="l00396"></a><span class="lineno"> 396</span>  internal_static_operations_research_sat_TableConstraintProto_descriptor,</div>
|
||||
<div class="line"><a name="l00397"></a><span class="lineno"> 397</span>  <span class="keyword">new</span> java.lang.String[] { <span class="stringliteral">"Vars"</span>, <span class="stringliteral">"Values"</span>, <span class="stringliteral">"Negated"</span>, });</div>
|
||||
<div class="line"><a name="l00398"></a><span class="lineno"> 398</span>  internal_static_operations_research_sat_InverseConstraintProto_descriptor =</div>
|
||||
<div class="line"><a name="l00399"></a><span class="lineno"> 399</span>  <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModelProtobuf.html#a59e560ee75736dcaacca4641402b059d">getDescriptor</a>().getMessageTypes().get(17);</div>
|
||||
<div class="line"><a name="l00400"></a><span class="lineno"> 400</span>  internal_static_operations_research_sat_InverseConstraintProto_fieldAccessorTable = <span class="keyword">new</span></div>
|
||||
<div class="line"><a name="l00401"></a><span class="lineno"> 401</span>  <a class="code" href="namespacecom.html">com</a>.<a class="code" href="namespacecom_1_1google.html">google</a>.protobuf.GeneratedMessageV3.FieldAccessorTable(</div>
|
||||
<div class="line"><a name="l00402"></a><span class="lineno"> 402</span>  internal_static_operations_research_sat_InverseConstraintProto_descriptor,</div>
|
||||
<div class="line"><a name="l00403"></a><span class="lineno"> 403</span>  <span class="keyword">new</span> java.lang.String[] { <span class="stringliteral">"FDirect"</span>, <span class="stringliteral">"FInverse"</span>, });</div>
|
||||
<div class="line"><a name="l00404"></a><span class="lineno"> 404</span>  internal_static_operations_research_sat_AutomatonConstraintProto_descriptor =</div>
|
||||
<div class="line"><a name="l00405"></a><span class="lineno"> 405</span>  <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModelProtobuf.html#a59e560ee75736dcaacca4641402b059d">getDescriptor</a>().getMessageTypes().get(18);</div>
|
||||
<div class="line"><a name="l00406"></a><span class="lineno"> 406</span>  internal_static_operations_research_sat_AutomatonConstraintProto_fieldAccessorTable = <span class="keyword">new</span></div>
|
||||
<div class="line"><a name="l00407"></a><span class="lineno"> 407</span>  <a class="code" href="namespacecom.html">com</a>.<a class="code" href="namespacecom_1_1google.html">google</a>.protobuf.GeneratedMessageV3.FieldAccessorTable(</div>
|
||||
<div class="line"><a name="l00408"></a><span class="lineno"> 408</span>  internal_static_operations_research_sat_AutomatonConstraintProto_descriptor,</div>
|
||||
<div class="line"><a name="l00409"></a><span class="lineno"> 409</span>  <span class="keyword">new</span> java.lang.String[] { <span class="stringliteral">"StartingState"</span>, <span class="stringliteral">"FinalStates"</span>, <span class="stringliteral">"TransitionTail"</span>, <span class="stringliteral">"TransitionHead"</span>, <span class="stringliteral">"TransitionLabel"</span>, <span class="stringliteral">"Vars"</span>, });</div>
|
||||
<div class="line"><a name="l00410"></a><span class="lineno"> 410</span>  internal_static_operations_research_sat_ConstraintProto_descriptor =</div>
|
||||
<div class="line"><a name="l00411"></a><span class="lineno"> 411</span>  <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModelProtobuf.html#a59e560ee75736dcaacca4641402b059d">getDescriptor</a>().getMessageTypes().get(19);</div>
|
||||
<div class="line"><a name="l00412"></a><span class="lineno"> 412</span>  internal_static_operations_research_sat_ConstraintProto_fieldAccessorTable = <span class="keyword">new</span></div>
|
||||
<div class="line"><a name="l00413"></a><span class="lineno"> 413</span>  <a class="code" href="namespacecom.html">com</a>.<a class="code" href="namespacecom_1_1google.html">google</a>.protobuf.GeneratedMessageV3.FieldAccessorTable(</div>
|
||||
<div class="line"><a name="l00414"></a><span class="lineno"> 414</span>  internal_static_operations_research_sat_ConstraintProto_descriptor,</div>
|
||||
<div class="line"><a name="l00415"></a><span class="lineno"> 415</span>  <span class="keyword">new</span> java.lang.String[] { <span class="stringliteral">"Name"</span>, <span class="stringliteral">"EnforcementLiteral"</span>, <span class="stringliteral">"BoolOr"</span>, <span class="stringliteral">"BoolAnd"</span>, <span class="stringliteral">"AtMostOne"</span>, <span class="stringliteral">"BoolXor"</span>, <span class="stringliteral">"IntDiv"</span>, <span class="stringliteral">"IntMod"</span>, <span class="stringliteral">"IntMax"</span>, <span class="stringliteral">"LinMax"</span>, <span class="stringliteral">"IntMin"</span>, <span class="stringliteral">"LinMin"</span>, <span class="stringliteral">"IntProd"</span>, <span class="stringliteral">"Linear"</span>, <span class="stringliteral">"AllDiff"</span>, <span class="stringliteral">"Element"</span>, <span class="stringliteral">"Circuit"</span>, <span class="stringliteral">"Routes"</span>, <span class="stringliteral">"CircuitCovering"</span>, <span class="stringliteral">"Table"</span>, <span class="stringliteral">"Automaton"</span>, <span class="stringliteral">"Inverse"</span>, <span class="stringliteral">"Reservoir"</span>, <span class="stringliteral">"Interval"</span>, <span class="stringliteral">"NoOverlap"</span>, <span class="stringliteral">"NoOverlap2D"</span>, <span class="stringliteral">"Cumulative"</span>, <span class="stringliteral">"Constraint"</span>, });</div>
|
||||
<div class="line"><a name="l00416"></a><span class="lineno"> 416</span>  internal_static_operations_research_sat_CpObjectiveProto_descriptor =</div>
|
||||
<div class="line"><a name="l00417"></a><span class="lineno"> 417</span>  <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModelProtobuf.html#a59e560ee75736dcaacca4641402b059d">getDescriptor</a>().getMessageTypes().get(20);</div>
|
||||
<div class="line"><a name="l00418"></a><span class="lineno"> 418</span>  internal_static_operations_research_sat_CpObjectiveProto_fieldAccessorTable = <span class="keyword">new</span></div>
|
||||
<div class="line"><a name="l00419"></a><span class="lineno"> 419</span>  <a class="code" href="namespacecom.html">com</a>.<a class="code" href="namespacecom_1_1google.html">google</a>.protobuf.GeneratedMessageV3.FieldAccessorTable(</div>
|
||||
<div class="line"><a name="l00420"></a><span class="lineno"> 420</span>  internal_static_operations_research_sat_CpObjectiveProto_descriptor,</div>
|
||||
<div class="line"><a name="l00421"></a><span class="lineno"> 421</span>  <span class="keyword">new</span> java.lang.String[] { <span class="stringliteral">"Vars"</span>, <span class="stringliteral">"Coeffs"</span>, <span class="stringliteral">"Offset"</span>, <span class="stringliteral">"ScalingFactor"</span>, <span class="stringliteral">"Domain"</span>, });</div>
|
||||
<div class="line"><a name="l00422"></a><span class="lineno"> 422</span>  internal_static_operations_research_sat_DecisionStrategyProto_descriptor =</div>
|
||||
<div class="line"><a name="l00423"></a><span class="lineno"> 423</span>  <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModelProtobuf.html#a59e560ee75736dcaacca4641402b059d">getDescriptor</a>().getMessageTypes().get(21);</div>
|
||||
<div class="line"><a name="l00424"></a><span class="lineno"> 424</span>  internal_static_operations_research_sat_DecisionStrategyProto_fieldAccessorTable = <span class="keyword">new</span></div>
|
||||
<div class="line"><a name="l00425"></a><span class="lineno"> 425</span>  <a class="code" href="namespacecom.html">com</a>.<a class="code" href="namespacecom_1_1google.html">google</a>.protobuf.GeneratedMessageV3.FieldAccessorTable(</div>
|
||||
<div class="line"><a name="l00426"></a><span class="lineno"> 426</span>  internal_static_operations_research_sat_DecisionStrategyProto_descriptor,</div>
|
||||
<div class="line"><a name="l00427"></a><span class="lineno"> 427</span>  <span class="keyword">new</span> java.lang.String[] { <span class="stringliteral">"Variables"</span>, <span class="stringliteral">"VariableSelectionStrategy"</span>, <span class="stringliteral">"DomainReductionStrategy"</span>, <span class="stringliteral">"Transformations"</span>, });</div>
|
||||
<div class="line"><a name="l00428"></a><span class="lineno"> 428</span>  internal_static_operations_research_sat_DecisionStrategyProto_AffineTransformation_descriptor =</div>
|
||||
<div class="line"><a name="l00429"></a><span class="lineno"> 429</span>  internal_static_operations_research_sat_DecisionStrategyProto_descriptor.getNestedTypes().get(0);</div>
|
||||
<div class="line"><a name="l00430"></a><span class="lineno"> 430</span>  internal_static_operations_research_sat_DecisionStrategyProto_AffineTransformation_fieldAccessorTable = <span class="keyword">new</span></div>
|
||||
<div class="line"><a name="l00431"></a><span class="lineno"> 431</span>  <a class="code" href="namespacecom.html">com</a>.<a class="code" href="namespacecom_1_1google.html">google</a>.protobuf.GeneratedMessageV3.FieldAccessorTable(</div>
|
||||
<div class="line"><a name="l00432"></a><span class="lineno"> 432</span>  internal_static_operations_research_sat_DecisionStrategyProto_AffineTransformation_descriptor,</div>
|
||||
<div class="line"><a name="l00433"></a><span class="lineno"> 433</span>  <span class="keyword">new</span> java.lang.String[] { <span class="stringliteral">"Var"</span>, <span class="stringliteral">"Offset"</span>, <span class="stringliteral">"PositiveCoeff"</span>, });</div>
|
||||
<div class="line"><a name="l00434"></a><span class="lineno"> 434</span>  internal_static_operations_research_sat_PartialVariableAssignment_descriptor =</div>
|
||||
<div class="line"><a name="l00435"></a><span class="lineno"> 435</span>  <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModelProtobuf.html#a59e560ee75736dcaacca4641402b059d">getDescriptor</a>().getMessageTypes().get(22);</div>
|
||||
<div class="line"><a name="l00436"></a><span class="lineno"> 436</span>  internal_static_operations_research_sat_PartialVariableAssignment_fieldAccessorTable = <span class="keyword">new</span></div>
|
||||
<div class="line"><a name="l00437"></a><span class="lineno"> 437</span>  <a class="code" href="namespacecom.html">com</a>.<a class="code" href="namespacecom_1_1google.html">google</a>.protobuf.GeneratedMessageV3.FieldAccessorTable(</div>
|
||||
<div class="line"><a name="l00438"></a><span class="lineno"> 438</span>  internal_static_operations_research_sat_PartialVariableAssignment_descriptor,</div>
|
||||
<div class="line"><a name="l00439"></a><span class="lineno"> 439</span>  <span class="keyword">new</span> java.lang.String[] { <span class="stringliteral">"Vars"</span>, <span class="stringliteral">"Values"</span>, });</div>
|
||||
<div class="line"><a name="l00440"></a><span class="lineno"> 440</span>  internal_static_operations_research_sat_CpModelProto_descriptor =</div>
|
||||
<div class="line"><a name="l00441"></a><span class="lineno"> 441</span>  <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModelProtobuf.html#a59e560ee75736dcaacca4641402b059d">getDescriptor</a>().getMessageTypes().get(23);</div>
|
||||
<div class="line"><a name="l00442"></a><span class="lineno"> 442</span>  internal_static_operations_research_sat_CpModelProto_fieldAccessorTable = <span class="keyword">new</span></div>
|
||||
<div class="line"><a name="l00443"></a><span class="lineno"> 443</span>  <a class="code" href="namespacecom.html">com</a>.<a class="code" href="namespacecom_1_1google.html">google</a>.protobuf.GeneratedMessageV3.FieldAccessorTable(</div>
|
||||
<div class="line"><a name="l00444"></a><span class="lineno"> 444</span>  internal_static_operations_research_sat_CpModelProto_descriptor,</div>
|
||||
<div class="line"><a name="l00445"></a><span class="lineno"> 445</span>  <span class="keyword">new</span> java.lang.String[] { <span class="stringliteral">"Name"</span>, <span class="stringliteral">"Variables"</span>, <span class="stringliteral">"Constraints"</span>, <span class="stringliteral">"Objective"</span>, <span class="stringliteral">"SearchStrategy"</span>, <span class="stringliteral">"SolutionHint"</span>, });</div>
|
||||
<div class="line"><a name="l00446"></a><span class="lineno"> 446</span>  internal_static_operations_research_sat_CpSolverResponse_descriptor =</div>
|
||||
<div class="line"><a name="l00447"></a><span class="lineno"> 447</span>  <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModelProtobuf.html#a59e560ee75736dcaacca4641402b059d">getDescriptor</a>().getMessageTypes().get(24);</div>
|
||||
<div class="line"><a name="l00448"></a><span class="lineno"> 448</span>  internal_static_operations_research_sat_CpSolverResponse_fieldAccessorTable = <span class="keyword">new</span></div>
|
||||
<div class="line"><a name="l00449"></a><span class="lineno"> 449</span>  <a class="code" href="namespacecom.html">com</a>.<a class="code" href="namespacecom_1_1google.html">google</a>.protobuf.GeneratedMessageV3.FieldAccessorTable(</div>
|
||||
<div class="line"><a name="l00450"></a><span class="lineno"> 450</span>  internal_static_operations_research_sat_CpSolverResponse_descriptor,</div>
|
||||
<div class="line"><a name="l00451"></a><span class="lineno"> 451</span>  <span class="keyword">new</span> java.lang.String[] { <span class="stringliteral">"Status"</span>, <span class="stringliteral">"Solution"</span>, <span class="stringliteral">"ObjectiveValue"</span>, <span class="stringliteral">"BestObjectiveBound"</span>, <span class="stringliteral">"SolutionLowerBounds"</span>, <span class="stringliteral">"SolutionUpperBounds"</span>, <span class="stringliteral">"TightenedVariables"</span>, <span class="stringliteral">"AllSolutionsWereFound"</span>, <span class="stringliteral">"NumBooleans"</span>, <span class="stringliteral">"NumConflicts"</span>, <span class="stringliteral">"NumBranches"</span>, <span class="stringliteral">"NumBinaryPropagations"</span>, <span class="stringliteral">"NumIntegerPropagations"</span>, <span class="stringliteral">"WallTime"</span>, <span class="stringliteral">"UserTime"</span>, <span class="stringliteral">"DeterministicTime"</span>, <span class="stringliteral">"PrimalIntegral"</span>, <span class="stringliteral">"SolutionInfo"</span>, });</div>
|
||||
<div class="line"><a name="l00452"></a><span class="lineno"> 452</span>  }</div>
|
||||
<div class="line"><a name="l00453"></a><span class="lineno"> 453</span>  </div>
|
||||
<div class="line"><a name="l00454"></a><span class="lineno"> 454</span>  <span class="comment">// @@protoc_insertion_point(outer_class_scope)</span></div>
|
||||
<div class="line"><a name="l00455"></a><span class="lineno"> 455</span> }</div>
|
||||
<div class="line"><a name="l00272"></a><span class="lineno"> 272</span>  <span class="stringliteral">"bleAssignment\022\023\n\013assumptions\030\007 \003(\005\"\352\004\n\020C"</span> +</div>
|
||||
<div class="line"><a name="l00273"></a><span class="lineno"> 273</span>  <span class="stringliteral">"pSolverResponse\0227\n\006status\030\001 \001(\0162\'.operat"</span> +</div>
|
||||
<div class="line"><a name="l00274"></a><span class="lineno"> 274</span>  <span class="stringliteral">"ions_research.sat.CpSolverStatus\022\020\n\010solu"</span> +</div>
|
||||
<div class="line"><a name="l00275"></a><span class="lineno"> 275</span>  <span class="stringliteral">"tion\030\002 \003(\003\022\027\n\017objective_value\030\003 \001(\001\022\034\n\024b"</span> +</div>
|
||||
<div class="line"><a name="l00276"></a><span class="lineno"> 276</span>  <span class="stringliteral">"est_objective_bound\030\004 \001(\001\022\035\n\025solution_lo"</span> +</div>
|
||||
<div class="line"><a name="l00277"></a><span class="lineno"> 277</span>  <span class="stringliteral">"wer_bounds\030\022 \003(\003\022\035\n\025solution_upper_bound"</span> +</div>
|
||||
<div class="line"><a name="l00278"></a><span class="lineno"> 278</span>  <span class="stringliteral">"s\030\023 \003(\003\022J\n\023tightened_variables\030\025 \003(\0132-.o"</span> +</div>
|
||||
<div class="line"><a name="l00279"></a><span class="lineno"> 279</span>  <span class="stringliteral">"perations_research.sat.IntegerVariablePr"</span> +</div>
|
||||
<div class="line"><a name="l00280"></a><span class="lineno"> 280</span>  <span class="stringliteral">"oto\0220\n(sufficient_assumptions_for_infeas"</span> +</div>
|
||||
<div class="line"><a name="l00281"></a><span class="lineno"> 281</span>  <span class="stringliteral">"ibility\030\027 \003(\005\022 \n\030all_solutions_were_foun"</span> +</div>
|
||||
<div class="line"><a name="l00282"></a><span class="lineno"> 282</span>  <span class="stringliteral">"d\030\005 \001(\010\022\024\n\014num_booleans\030\n \001(\003\022\025\n\rnum_con"</span> +</div>
|
||||
<div class="line"><a name="l00283"></a><span class="lineno"> 283</span>  <span class="stringliteral">"flicts\030\013 \001(\003\022\024\n\014num_branches\030\014 \001(\003\022\037\n\027nu"</span> +</div>
|
||||
<div class="line"><a name="l00284"></a><span class="lineno"> 284</span>  <span class="stringliteral">"m_binary_propagations\030\r \001(\003\022 \n\030num_integ"</span> +</div>
|
||||
<div class="line"><a name="l00285"></a><span class="lineno"> 285</span>  <span class="stringliteral">"er_propagations\030\016 \001(\003\022\021\n\twall_time\030\017 \001(\001"</span> +</div>
|
||||
<div class="line"><a name="l00286"></a><span class="lineno"> 286</span>  <span class="stringliteral">"\022\021\n\tuser_time\030\020 \001(\001\022\032\n\022deterministic_tim"</span> +</div>
|
||||
<div class="line"><a name="l00287"></a><span class="lineno"> 287</span>  <span class="stringliteral">"e\030\021 \001(\001\022\027\n\017primal_integral\030\026 \001(\001\022\025\n\rsolu"</span> +</div>
|
||||
<div class="line"><a name="l00288"></a><span class="lineno"> 288</span>  <span class="stringliteral">"tion_info\030\024 \001(\t*[\n\016CpSolverStatus\022\013\n\007UNK"</span> +</div>
|
||||
<div class="line"><a name="l00289"></a><span class="lineno"> 289</span>  <span class="stringliteral">"NOWN\020\000\022\021\n\rMODEL_INVALID\020\001\022\014\n\010FEASIBLE\020\002\022"</span> +</div>
|
||||
<div class="line"><a name="l00290"></a><span class="lineno"> 290</span>  <span class="stringliteral">"\016\n\nINFEASIBLE\020\003\022\013\n\007OPTIMAL\020\004B@\n\026com.goog"</span> +</div>
|
||||
<div class="line"><a name="l00291"></a><span class="lineno"> 291</span>  <span class="stringliteral">"le.ortools.satB\017CpModelProtobufP\001\252\002\022Goog"</span> +</div>
|
||||
<div class="line"><a name="l00292"></a><span class="lineno"> 292</span>  <span class="stringliteral">"le.OrTools.Satb\006proto3"</span></div>
|
||||
<div class="line"><a name="l00293"></a><span class="lineno"> 293</span>  };</div>
|
||||
<div class="line"><a name="l00294"></a><span class="lineno"> 294</span>  descriptor = <a class="code" href="namespacecom.html">com</a>.<a class="code" href="namespacecom_1_1google.html">google</a>.protobuf.Descriptors.FileDescriptor</div>
|
||||
<div class="line"><a name="l00295"></a><span class="lineno"> 295</span>  .internalBuildGeneratedFileFrom(descriptorData,</div>
|
||||
<div class="line"><a name="l00296"></a><span class="lineno"> 296</span>  <span class="keyword">new</span> <a class="code" href="namespacecom.html">com</a>.<a class="code" href="namespacecom_1_1google.html">google</a>.protobuf.Descriptors.FileDescriptor[] {</div>
|
||||
<div class="line"><a name="l00297"></a><span class="lineno"> 297</span>  });</div>
|
||||
<div class="line"><a name="l00298"></a><span class="lineno"> 298</span>  internal_static_operations_research_sat_IntegerVariableProto_descriptor =</div>
|
||||
<div class="line"><a name="l00299"></a><span class="lineno"> 299</span>  <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModelProtobuf.html#a59e560ee75736dcaacca4641402b059d">getDescriptor</a>().getMessageTypes().get(0);</div>
|
||||
<div class="line"><a name="l00300"></a><span class="lineno"> 300</span>  internal_static_operations_research_sat_IntegerVariableProto_fieldAccessorTable = <span class="keyword">new</span></div>
|
||||
<div class="line"><a name="l00301"></a><span class="lineno"> 301</span>  <a class="code" href="namespacecom.html">com</a>.<a class="code" href="namespacecom_1_1google.html">google</a>.protobuf.GeneratedMessageV3.FieldAccessorTable(</div>
|
||||
<div class="line"><a name="l00302"></a><span class="lineno"> 302</span>  internal_static_operations_research_sat_IntegerVariableProto_descriptor,</div>
|
||||
<div class="line"><a name="l00303"></a><span class="lineno"> 303</span>  <span class="keyword">new</span> java.lang.String[] { <span class="stringliteral">"Name"</span>, <span class="stringliteral">"Domain"</span>, });</div>
|
||||
<div class="line"><a name="l00304"></a><span class="lineno"> 304</span>  internal_static_operations_research_sat_BoolArgumentProto_descriptor =</div>
|
||||
<div class="line"><a name="l00305"></a><span class="lineno"> 305</span>  <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModelProtobuf.html#a59e560ee75736dcaacca4641402b059d">getDescriptor</a>().getMessageTypes().get(1);</div>
|
||||
<div class="line"><a name="l00306"></a><span class="lineno"> 306</span>  internal_static_operations_research_sat_BoolArgumentProto_fieldAccessorTable = <span class="keyword">new</span></div>
|
||||
<div class="line"><a name="l00307"></a><span class="lineno"> 307</span>  <a class="code" href="namespacecom.html">com</a>.<a class="code" href="namespacecom_1_1google.html">google</a>.protobuf.GeneratedMessageV3.FieldAccessorTable(</div>
|
||||
<div class="line"><a name="l00308"></a><span class="lineno"> 308</span>  internal_static_operations_research_sat_BoolArgumentProto_descriptor,</div>
|
||||
<div class="line"><a name="l00309"></a><span class="lineno"> 309</span>  <span class="keyword">new</span> java.lang.String[] { <span class="stringliteral">"Literals"</span>, });</div>
|
||||
<div class="line"><a name="l00310"></a><span class="lineno"> 310</span>  internal_static_operations_research_sat_IntegerArgumentProto_descriptor =</div>
|
||||
<div class="line"><a name="l00311"></a><span class="lineno"> 311</span>  <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModelProtobuf.html#a59e560ee75736dcaacca4641402b059d">getDescriptor</a>().getMessageTypes().get(2);</div>
|
||||
<div class="line"><a name="l00312"></a><span class="lineno"> 312</span>  internal_static_operations_research_sat_IntegerArgumentProto_fieldAccessorTable = <span class="keyword">new</span></div>
|
||||
<div class="line"><a name="l00313"></a><span class="lineno"> 313</span>  <a class="code" href="namespacecom.html">com</a>.<a class="code" href="namespacecom_1_1google.html">google</a>.protobuf.GeneratedMessageV3.FieldAccessorTable(</div>
|
||||
<div class="line"><a name="l00314"></a><span class="lineno"> 314</span>  internal_static_operations_research_sat_IntegerArgumentProto_descriptor,</div>
|
||||
<div class="line"><a name="l00315"></a><span class="lineno"> 315</span>  <span class="keyword">new</span> java.lang.String[] { <span class="stringliteral">"Target"</span>, <span class="stringliteral">"Vars"</span>, });</div>
|
||||
<div class="line"><a name="l00316"></a><span class="lineno"> 316</span>  internal_static_operations_research_sat_LinearExpressionProto_descriptor =</div>
|
||||
<div class="line"><a name="l00317"></a><span class="lineno"> 317</span>  <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModelProtobuf.html#a59e560ee75736dcaacca4641402b059d">getDescriptor</a>().getMessageTypes().get(3);</div>
|
||||
<div class="line"><a name="l00318"></a><span class="lineno"> 318</span>  internal_static_operations_research_sat_LinearExpressionProto_fieldAccessorTable = <span class="keyword">new</span></div>
|
||||
<div class="line"><a name="l00319"></a><span class="lineno"> 319</span>  <a class="code" href="namespacecom.html">com</a>.<a class="code" href="namespacecom_1_1google.html">google</a>.protobuf.GeneratedMessageV3.FieldAccessorTable(</div>
|
||||
<div class="line"><a name="l00320"></a><span class="lineno"> 320</span>  internal_static_operations_research_sat_LinearExpressionProto_descriptor,</div>
|
||||
<div class="line"><a name="l00321"></a><span class="lineno"> 321</span>  <span class="keyword">new</span> java.lang.String[] { <span class="stringliteral">"Vars"</span>, <span class="stringliteral">"Coeffs"</span>, <span class="stringliteral">"Offset"</span>, });</div>
|
||||
<div class="line"><a name="l00322"></a><span class="lineno"> 322</span>  internal_static_operations_research_sat_LinearArgumentProto_descriptor =</div>
|
||||
<div class="line"><a name="l00323"></a><span class="lineno"> 323</span>  <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModelProtobuf.html#a59e560ee75736dcaacca4641402b059d">getDescriptor</a>().getMessageTypes().get(4);</div>
|
||||
<div class="line"><a name="l00324"></a><span class="lineno"> 324</span>  internal_static_operations_research_sat_LinearArgumentProto_fieldAccessorTable = <span class="keyword">new</span></div>
|
||||
<div class="line"><a name="l00325"></a><span class="lineno"> 325</span>  <a class="code" href="namespacecom.html">com</a>.<a class="code" href="namespacecom_1_1google.html">google</a>.protobuf.GeneratedMessageV3.FieldAccessorTable(</div>
|
||||
<div class="line"><a name="l00326"></a><span class="lineno"> 326</span>  internal_static_operations_research_sat_LinearArgumentProto_descriptor,</div>
|
||||
<div class="line"><a name="l00327"></a><span class="lineno"> 327</span>  <span class="keyword">new</span> java.lang.String[] { <span class="stringliteral">"Target"</span>, <span class="stringliteral">"Exprs"</span>, });</div>
|
||||
<div class="line"><a name="l00328"></a><span class="lineno"> 328</span>  internal_static_operations_research_sat_AllDifferentConstraintProto_descriptor =</div>
|
||||
<div class="line"><a name="l00329"></a><span class="lineno"> 329</span>  <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModelProtobuf.html#a59e560ee75736dcaacca4641402b059d">getDescriptor</a>().getMessageTypes().get(5);</div>
|
||||
<div class="line"><a name="l00330"></a><span class="lineno"> 330</span>  internal_static_operations_research_sat_AllDifferentConstraintProto_fieldAccessorTable = <span class="keyword">new</span></div>
|
||||
<div class="line"><a name="l00331"></a><span class="lineno"> 331</span>  <a class="code" href="namespacecom.html">com</a>.<a class="code" href="namespacecom_1_1google.html">google</a>.protobuf.GeneratedMessageV3.FieldAccessorTable(</div>
|
||||
<div class="line"><a name="l00332"></a><span class="lineno"> 332</span>  internal_static_operations_research_sat_AllDifferentConstraintProto_descriptor,</div>
|
||||
<div class="line"><a name="l00333"></a><span class="lineno"> 333</span>  <span class="keyword">new</span> java.lang.String[] { <span class="stringliteral">"Vars"</span>, });</div>
|
||||
<div class="line"><a name="l00334"></a><span class="lineno"> 334</span>  internal_static_operations_research_sat_LinearConstraintProto_descriptor =</div>
|
||||
<div class="line"><a name="l00335"></a><span class="lineno"> 335</span>  <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModelProtobuf.html#a59e560ee75736dcaacca4641402b059d">getDescriptor</a>().getMessageTypes().get(6);</div>
|
||||
<div class="line"><a name="l00336"></a><span class="lineno"> 336</span>  internal_static_operations_research_sat_LinearConstraintProto_fieldAccessorTable = <span class="keyword">new</span></div>
|
||||
<div class="line"><a name="l00337"></a><span class="lineno"> 337</span>  <a class="code" href="namespacecom.html">com</a>.<a class="code" href="namespacecom_1_1google.html">google</a>.protobuf.GeneratedMessageV3.FieldAccessorTable(</div>
|
||||
<div class="line"><a name="l00338"></a><span class="lineno"> 338</span>  internal_static_operations_research_sat_LinearConstraintProto_descriptor,</div>
|
||||
<div class="line"><a name="l00339"></a><span class="lineno"> 339</span>  <span class="keyword">new</span> java.lang.String[] { <span class="stringliteral">"Vars"</span>, <span class="stringliteral">"Coeffs"</span>, <span class="stringliteral">"Domain"</span>, });</div>
|
||||
<div class="line"><a name="l00340"></a><span class="lineno"> 340</span>  internal_static_operations_research_sat_ElementConstraintProto_descriptor =</div>
|
||||
<div class="line"><a name="l00341"></a><span class="lineno"> 341</span>  <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModelProtobuf.html#a59e560ee75736dcaacca4641402b059d">getDescriptor</a>().getMessageTypes().get(7);</div>
|
||||
<div class="line"><a name="l00342"></a><span class="lineno"> 342</span>  internal_static_operations_research_sat_ElementConstraintProto_fieldAccessorTable = <span class="keyword">new</span></div>
|
||||
<div class="line"><a name="l00343"></a><span class="lineno"> 343</span>  <a class="code" href="namespacecom.html">com</a>.<a class="code" href="namespacecom_1_1google.html">google</a>.protobuf.GeneratedMessageV3.FieldAccessorTable(</div>
|
||||
<div class="line"><a name="l00344"></a><span class="lineno"> 344</span>  internal_static_operations_research_sat_ElementConstraintProto_descriptor,</div>
|
||||
<div class="line"><a name="l00345"></a><span class="lineno"> 345</span>  <span class="keyword">new</span> java.lang.String[] { <span class="stringliteral">"Index"</span>, <span class="stringliteral">"Target"</span>, <span class="stringliteral">"Vars"</span>, });</div>
|
||||
<div class="line"><a name="l00346"></a><span class="lineno"> 346</span>  internal_static_operations_research_sat_IntervalConstraintProto_descriptor =</div>
|
||||
<div class="line"><a name="l00347"></a><span class="lineno"> 347</span>  <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModelProtobuf.html#a59e560ee75736dcaacca4641402b059d">getDescriptor</a>().getMessageTypes().get(8);</div>
|
||||
<div class="line"><a name="l00348"></a><span class="lineno"> 348</span>  internal_static_operations_research_sat_IntervalConstraintProto_fieldAccessorTable = <span class="keyword">new</span></div>
|
||||
<div class="line"><a name="l00349"></a><span class="lineno"> 349</span>  <a class="code" href="namespacecom.html">com</a>.<a class="code" href="namespacecom_1_1google.html">google</a>.protobuf.GeneratedMessageV3.FieldAccessorTable(</div>
|
||||
<div class="line"><a name="l00350"></a><span class="lineno"> 350</span>  internal_static_operations_research_sat_IntervalConstraintProto_descriptor,</div>
|
||||
<div class="line"><a name="l00351"></a><span class="lineno"> 351</span>  <span class="keyword">new</span> java.lang.String[] { <span class="stringliteral">"Start"</span>, <span class="stringliteral">"End"</span>, <span class="stringliteral">"Size"</span>, });</div>
|
||||
<div class="line"><a name="l00352"></a><span class="lineno"> 352</span>  internal_static_operations_research_sat_NoOverlapConstraintProto_descriptor =</div>
|
||||
<div class="line"><a name="l00353"></a><span class="lineno"> 353</span>  <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModelProtobuf.html#a59e560ee75736dcaacca4641402b059d">getDescriptor</a>().getMessageTypes().get(9);</div>
|
||||
<div class="line"><a name="l00354"></a><span class="lineno"> 354</span>  internal_static_operations_research_sat_NoOverlapConstraintProto_fieldAccessorTable = <span class="keyword">new</span></div>
|
||||
<div class="line"><a name="l00355"></a><span class="lineno"> 355</span>  <a class="code" href="namespacecom.html">com</a>.<a class="code" href="namespacecom_1_1google.html">google</a>.protobuf.GeneratedMessageV3.FieldAccessorTable(</div>
|
||||
<div class="line"><a name="l00356"></a><span class="lineno"> 356</span>  internal_static_operations_research_sat_NoOverlapConstraintProto_descriptor,</div>
|
||||
<div class="line"><a name="l00357"></a><span class="lineno"> 357</span>  <span class="keyword">new</span> java.lang.String[] { <span class="stringliteral">"Intervals"</span>, });</div>
|
||||
<div class="line"><a name="l00358"></a><span class="lineno"> 358</span>  internal_static_operations_research_sat_NoOverlap2DConstraintProto_descriptor =</div>
|
||||
<div class="line"><a name="l00359"></a><span class="lineno"> 359</span>  <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModelProtobuf.html#a59e560ee75736dcaacca4641402b059d">getDescriptor</a>().getMessageTypes().get(10);</div>
|
||||
<div class="line"><a name="l00360"></a><span class="lineno"> 360</span>  internal_static_operations_research_sat_NoOverlap2DConstraintProto_fieldAccessorTable = <span class="keyword">new</span></div>
|
||||
<div class="line"><a name="l00361"></a><span class="lineno"> 361</span>  <a class="code" href="namespacecom.html">com</a>.<a class="code" href="namespacecom_1_1google.html">google</a>.protobuf.GeneratedMessageV3.FieldAccessorTable(</div>
|
||||
<div class="line"><a name="l00362"></a><span class="lineno"> 362</span>  internal_static_operations_research_sat_NoOverlap2DConstraintProto_descriptor,</div>
|
||||
<div class="line"><a name="l00363"></a><span class="lineno"> 363</span>  <span class="keyword">new</span> java.lang.String[] { <span class="stringliteral">"XIntervals"</span>, <span class="stringliteral">"YIntervals"</span>, <span class="stringliteral">"BoxesWithNullAreaCanOverlap"</span>, });</div>
|
||||
<div class="line"><a name="l00364"></a><span class="lineno"> 364</span>  internal_static_operations_research_sat_CumulativeConstraintProto_descriptor =</div>
|
||||
<div class="line"><a name="l00365"></a><span class="lineno"> 365</span>  <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModelProtobuf.html#a59e560ee75736dcaacca4641402b059d">getDescriptor</a>().getMessageTypes().get(11);</div>
|
||||
<div class="line"><a name="l00366"></a><span class="lineno"> 366</span>  internal_static_operations_research_sat_CumulativeConstraintProto_fieldAccessorTable = <span class="keyword">new</span></div>
|
||||
<div class="line"><a name="l00367"></a><span class="lineno"> 367</span>  <a class="code" href="namespacecom.html">com</a>.<a class="code" href="namespacecom_1_1google.html">google</a>.protobuf.GeneratedMessageV3.FieldAccessorTable(</div>
|
||||
<div class="line"><a name="l00368"></a><span class="lineno"> 368</span>  internal_static_operations_research_sat_CumulativeConstraintProto_descriptor,</div>
|
||||
<div class="line"><a name="l00369"></a><span class="lineno"> 369</span>  <span class="keyword">new</span> java.lang.String[] { <span class="stringliteral">"Capacity"</span>, <span class="stringliteral">"Intervals"</span>, <span class="stringliteral">"Demands"</span>, });</div>
|
||||
<div class="line"><a name="l00370"></a><span class="lineno"> 370</span>  internal_static_operations_research_sat_ReservoirConstraintProto_descriptor =</div>
|
||||
<div class="line"><a name="l00371"></a><span class="lineno"> 371</span>  <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModelProtobuf.html#a59e560ee75736dcaacca4641402b059d">getDescriptor</a>().getMessageTypes().get(12);</div>
|
||||
<div class="line"><a name="l00372"></a><span class="lineno"> 372</span>  internal_static_operations_research_sat_ReservoirConstraintProto_fieldAccessorTable = <span class="keyword">new</span></div>
|
||||
<div class="line"><a name="l00373"></a><span class="lineno"> 373</span>  <a class="code" href="namespacecom.html">com</a>.<a class="code" href="namespacecom_1_1google.html">google</a>.protobuf.GeneratedMessageV3.FieldAccessorTable(</div>
|
||||
<div class="line"><a name="l00374"></a><span class="lineno"> 374</span>  internal_static_operations_research_sat_ReservoirConstraintProto_descriptor,</div>
|
||||
<div class="line"><a name="l00375"></a><span class="lineno"> 375</span>  <span class="keyword">new</span> java.lang.String[] { <span class="stringliteral">"MinLevel"</span>, <span class="stringliteral">"MaxLevel"</span>, <span class="stringliteral">"Times"</span>, <span class="stringliteral">"Demands"</span>, <span class="stringliteral">"Actives"</span>, });</div>
|
||||
<div class="line"><a name="l00376"></a><span class="lineno"> 376</span>  internal_static_operations_research_sat_CircuitConstraintProto_descriptor =</div>
|
||||
<div class="line"><a name="l00377"></a><span class="lineno"> 377</span>  <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModelProtobuf.html#a59e560ee75736dcaacca4641402b059d">getDescriptor</a>().getMessageTypes().get(13);</div>
|
||||
<div class="line"><a name="l00378"></a><span class="lineno"> 378</span>  internal_static_operations_research_sat_CircuitConstraintProto_fieldAccessorTable = <span class="keyword">new</span></div>
|
||||
<div class="line"><a name="l00379"></a><span class="lineno"> 379</span>  <a class="code" href="namespacecom.html">com</a>.<a class="code" href="namespacecom_1_1google.html">google</a>.protobuf.GeneratedMessageV3.FieldAccessorTable(</div>
|
||||
<div class="line"><a name="l00380"></a><span class="lineno"> 380</span>  internal_static_operations_research_sat_CircuitConstraintProto_descriptor,</div>
|
||||
<div class="line"><a name="l00381"></a><span class="lineno"> 381</span>  <span class="keyword">new</span> java.lang.String[] { <span class="stringliteral">"Tails"</span>, <span class="stringliteral">"Heads"</span>, <span class="stringliteral">"Literals"</span>, });</div>
|
||||
<div class="line"><a name="l00382"></a><span class="lineno"> 382</span>  internal_static_operations_research_sat_RoutesConstraintProto_descriptor =</div>
|
||||
<div class="line"><a name="l00383"></a><span class="lineno"> 383</span>  <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModelProtobuf.html#a59e560ee75736dcaacca4641402b059d">getDescriptor</a>().getMessageTypes().get(14);</div>
|
||||
<div class="line"><a name="l00384"></a><span class="lineno"> 384</span>  internal_static_operations_research_sat_RoutesConstraintProto_fieldAccessorTable = <span class="keyword">new</span></div>
|
||||
<div class="line"><a name="l00385"></a><span class="lineno"> 385</span>  <a class="code" href="namespacecom.html">com</a>.<a class="code" href="namespacecom_1_1google.html">google</a>.protobuf.GeneratedMessageV3.FieldAccessorTable(</div>
|
||||
<div class="line"><a name="l00386"></a><span class="lineno"> 386</span>  internal_static_operations_research_sat_RoutesConstraintProto_descriptor,</div>
|
||||
<div class="line"><a name="l00387"></a><span class="lineno"> 387</span>  <span class="keyword">new</span> java.lang.String[] { <span class="stringliteral">"Tails"</span>, <span class="stringliteral">"Heads"</span>, <span class="stringliteral">"Literals"</span>, <span class="stringliteral">"Demands"</span>, <span class="stringliteral">"Capacity"</span>, });</div>
|
||||
<div class="line"><a name="l00388"></a><span class="lineno"> 388</span>  internal_static_operations_research_sat_CircuitCoveringConstraintProto_descriptor =</div>
|
||||
<div class="line"><a name="l00389"></a><span class="lineno"> 389</span>  <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModelProtobuf.html#a59e560ee75736dcaacca4641402b059d">getDescriptor</a>().getMessageTypes().get(15);</div>
|
||||
<div class="line"><a name="l00390"></a><span class="lineno"> 390</span>  internal_static_operations_research_sat_CircuitCoveringConstraintProto_fieldAccessorTable = <span class="keyword">new</span></div>
|
||||
<div class="line"><a name="l00391"></a><span class="lineno"> 391</span>  <a class="code" href="namespacecom.html">com</a>.<a class="code" href="namespacecom_1_1google.html">google</a>.protobuf.GeneratedMessageV3.FieldAccessorTable(</div>
|
||||
<div class="line"><a name="l00392"></a><span class="lineno"> 392</span>  internal_static_operations_research_sat_CircuitCoveringConstraintProto_descriptor,</div>
|
||||
<div class="line"><a name="l00393"></a><span class="lineno"> 393</span>  <span class="keyword">new</span> java.lang.String[] { <span class="stringliteral">"Nexts"</span>, <span class="stringliteral">"DistinguishedNodes"</span>, });</div>
|
||||
<div class="line"><a name="l00394"></a><span class="lineno"> 394</span>  internal_static_operations_research_sat_TableConstraintProto_descriptor =</div>
|
||||
<div class="line"><a name="l00395"></a><span class="lineno"> 395</span>  <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModelProtobuf.html#a59e560ee75736dcaacca4641402b059d">getDescriptor</a>().getMessageTypes().get(16);</div>
|
||||
<div class="line"><a name="l00396"></a><span class="lineno"> 396</span>  internal_static_operations_research_sat_TableConstraintProto_fieldAccessorTable = <span class="keyword">new</span></div>
|
||||
<div class="line"><a name="l00397"></a><span class="lineno"> 397</span>  <a class="code" href="namespacecom.html">com</a>.<a class="code" href="namespacecom_1_1google.html">google</a>.protobuf.GeneratedMessageV3.FieldAccessorTable(</div>
|
||||
<div class="line"><a name="l00398"></a><span class="lineno"> 398</span>  internal_static_operations_research_sat_TableConstraintProto_descriptor,</div>
|
||||
<div class="line"><a name="l00399"></a><span class="lineno"> 399</span>  <span class="keyword">new</span> java.lang.String[] { <span class="stringliteral">"Vars"</span>, <span class="stringliteral">"Values"</span>, <span class="stringliteral">"Negated"</span>, });</div>
|
||||
<div class="line"><a name="l00400"></a><span class="lineno"> 400</span>  internal_static_operations_research_sat_InverseConstraintProto_descriptor =</div>
|
||||
<div class="line"><a name="l00401"></a><span class="lineno"> 401</span>  <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModelProtobuf.html#a59e560ee75736dcaacca4641402b059d">getDescriptor</a>().getMessageTypes().get(17);</div>
|
||||
<div class="line"><a name="l00402"></a><span class="lineno"> 402</span>  internal_static_operations_research_sat_InverseConstraintProto_fieldAccessorTable = <span class="keyword">new</span></div>
|
||||
<div class="line"><a name="l00403"></a><span class="lineno"> 403</span>  <a class="code" href="namespacecom.html">com</a>.<a class="code" href="namespacecom_1_1google.html">google</a>.protobuf.GeneratedMessageV3.FieldAccessorTable(</div>
|
||||
<div class="line"><a name="l00404"></a><span class="lineno"> 404</span>  internal_static_operations_research_sat_InverseConstraintProto_descriptor,</div>
|
||||
<div class="line"><a name="l00405"></a><span class="lineno"> 405</span>  <span class="keyword">new</span> java.lang.String[] { <span class="stringliteral">"FDirect"</span>, <span class="stringliteral">"FInverse"</span>, });</div>
|
||||
<div class="line"><a name="l00406"></a><span class="lineno"> 406</span>  internal_static_operations_research_sat_AutomatonConstraintProto_descriptor =</div>
|
||||
<div class="line"><a name="l00407"></a><span class="lineno"> 407</span>  <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModelProtobuf.html#a59e560ee75736dcaacca4641402b059d">getDescriptor</a>().getMessageTypes().get(18);</div>
|
||||
<div class="line"><a name="l00408"></a><span class="lineno"> 408</span>  internal_static_operations_research_sat_AutomatonConstraintProto_fieldAccessorTable = <span class="keyword">new</span></div>
|
||||
<div class="line"><a name="l00409"></a><span class="lineno"> 409</span>  <a class="code" href="namespacecom.html">com</a>.<a class="code" href="namespacecom_1_1google.html">google</a>.protobuf.GeneratedMessageV3.FieldAccessorTable(</div>
|
||||
<div class="line"><a name="l00410"></a><span class="lineno"> 410</span>  internal_static_operations_research_sat_AutomatonConstraintProto_descriptor,</div>
|
||||
<div class="line"><a name="l00411"></a><span class="lineno"> 411</span>  <span class="keyword">new</span> java.lang.String[] { <span class="stringliteral">"StartingState"</span>, <span class="stringliteral">"FinalStates"</span>, <span class="stringliteral">"TransitionTail"</span>, <span class="stringliteral">"TransitionHead"</span>, <span class="stringliteral">"TransitionLabel"</span>, <span class="stringliteral">"Vars"</span>, });</div>
|
||||
<div class="line"><a name="l00412"></a><span class="lineno"> 412</span>  internal_static_operations_research_sat_ConstraintProto_descriptor =</div>
|
||||
<div class="line"><a name="l00413"></a><span class="lineno"> 413</span>  <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModelProtobuf.html#a59e560ee75736dcaacca4641402b059d">getDescriptor</a>().getMessageTypes().get(19);</div>
|
||||
<div class="line"><a name="l00414"></a><span class="lineno"> 414</span>  internal_static_operations_research_sat_ConstraintProto_fieldAccessorTable = <span class="keyword">new</span></div>
|
||||
<div class="line"><a name="l00415"></a><span class="lineno"> 415</span>  <a class="code" href="namespacecom.html">com</a>.<a class="code" href="namespacecom_1_1google.html">google</a>.protobuf.GeneratedMessageV3.FieldAccessorTable(</div>
|
||||
<div class="line"><a name="l00416"></a><span class="lineno"> 416</span>  internal_static_operations_research_sat_ConstraintProto_descriptor,</div>
|
||||
<div class="line"><a name="l00417"></a><span class="lineno"> 417</span>  <span class="keyword">new</span> java.lang.String[] { <span class="stringliteral">"Name"</span>, <span class="stringliteral">"EnforcementLiteral"</span>, <span class="stringliteral">"BoolOr"</span>, <span class="stringliteral">"BoolAnd"</span>, <span class="stringliteral">"AtMostOne"</span>, <span class="stringliteral">"BoolXor"</span>, <span class="stringliteral">"IntDiv"</span>, <span class="stringliteral">"IntMod"</span>, <span class="stringliteral">"IntMax"</span>, <span class="stringliteral">"LinMax"</span>, <span class="stringliteral">"IntMin"</span>, <span class="stringliteral">"LinMin"</span>, <span class="stringliteral">"IntProd"</span>, <span class="stringliteral">"Linear"</span>, <span class="stringliteral">"AllDiff"</span>, <span class="stringliteral">"Element"</span>, <span class="stringliteral">"Circuit"</span>, <span class="stringliteral">"Routes"</span>, <span class="stringliteral">"CircuitCovering"</span>, <span class="stringliteral">"Table"</span>, <span class="stringliteral">"Automaton"</span>, <span class="stringliteral">"Inverse"</span>, <span class="stringliteral">"Reservoir"</span>, <span class="stringliteral">"Interval"</span>, <span class="stringliteral">"NoOverlap"</span>, <span class="stringliteral">"NoOverlap2D"</span>, <span class="stringliteral">"Cumulative"</span>, <span class="stringliteral">"Constraint"</span>, });</div>
|
||||
<div class="line"><a name="l00418"></a><span class="lineno"> 418</span>  internal_static_operations_research_sat_CpObjectiveProto_descriptor =</div>
|
||||
<div class="line"><a name="l00419"></a><span class="lineno"> 419</span>  <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModelProtobuf.html#a59e560ee75736dcaacca4641402b059d">getDescriptor</a>().getMessageTypes().get(20);</div>
|
||||
<div class="line"><a name="l00420"></a><span class="lineno"> 420</span>  internal_static_operations_research_sat_CpObjectiveProto_fieldAccessorTable = <span class="keyword">new</span></div>
|
||||
<div class="line"><a name="l00421"></a><span class="lineno"> 421</span>  <a class="code" href="namespacecom.html">com</a>.<a class="code" href="namespacecom_1_1google.html">google</a>.protobuf.GeneratedMessageV3.FieldAccessorTable(</div>
|
||||
<div class="line"><a name="l00422"></a><span class="lineno"> 422</span>  internal_static_operations_research_sat_CpObjectiveProto_descriptor,</div>
|
||||
<div class="line"><a name="l00423"></a><span class="lineno"> 423</span>  <span class="keyword">new</span> java.lang.String[] { <span class="stringliteral">"Vars"</span>, <span class="stringliteral">"Coeffs"</span>, <span class="stringliteral">"Offset"</span>, <span class="stringliteral">"ScalingFactor"</span>, <span class="stringliteral">"Domain"</span>, });</div>
|
||||
<div class="line"><a name="l00424"></a><span class="lineno"> 424</span>  internal_static_operations_research_sat_DecisionStrategyProto_descriptor =</div>
|
||||
<div class="line"><a name="l00425"></a><span class="lineno"> 425</span>  <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModelProtobuf.html#a59e560ee75736dcaacca4641402b059d">getDescriptor</a>().getMessageTypes().get(21);</div>
|
||||
<div class="line"><a name="l00426"></a><span class="lineno"> 426</span>  internal_static_operations_research_sat_DecisionStrategyProto_fieldAccessorTable = <span class="keyword">new</span></div>
|
||||
<div class="line"><a name="l00427"></a><span class="lineno"> 427</span>  <a class="code" href="namespacecom.html">com</a>.<a class="code" href="namespacecom_1_1google.html">google</a>.protobuf.GeneratedMessageV3.FieldAccessorTable(</div>
|
||||
<div class="line"><a name="l00428"></a><span class="lineno"> 428</span>  internal_static_operations_research_sat_DecisionStrategyProto_descriptor,</div>
|
||||
<div class="line"><a name="l00429"></a><span class="lineno"> 429</span>  <span class="keyword">new</span> java.lang.String[] { <span class="stringliteral">"Variables"</span>, <span class="stringliteral">"VariableSelectionStrategy"</span>, <span class="stringliteral">"DomainReductionStrategy"</span>, <span class="stringliteral">"Transformations"</span>, });</div>
|
||||
<div class="line"><a name="l00430"></a><span class="lineno"> 430</span>  internal_static_operations_research_sat_DecisionStrategyProto_AffineTransformation_descriptor =</div>
|
||||
<div class="line"><a name="l00431"></a><span class="lineno"> 431</span>  internal_static_operations_research_sat_DecisionStrategyProto_descriptor.getNestedTypes().get(0);</div>
|
||||
<div class="line"><a name="l00432"></a><span class="lineno"> 432</span>  internal_static_operations_research_sat_DecisionStrategyProto_AffineTransformation_fieldAccessorTable = <span class="keyword">new</span></div>
|
||||
<div class="line"><a name="l00433"></a><span class="lineno"> 433</span>  <a class="code" href="namespacecom.html">com</a>.<a class="code" href="namespacecom_1_1google.html">google</a>.protobuf.GeneratedMessageV3.FieldAccessorTable(</div>
|
||||
<div class="line"><a name="l00434"></a><span class="lineno"> 434</span>  internal_static_operations_research_sat_DecisionStrategyProto_AffineTransformation_descriptor,</div>
|
||||
<div class="line"><a name="l00435"></a><span class="lineno"> 435</span>  <span class="keyword">new</span> java.lang.String[] { <span class="stringliteral">"Var"</span>, <span class="stringliteral">"Offset"</span>, <span class="stringliteral">"PositiveCoeff"</span>, });</div>
|
||||
<div class="line"><a name="l00436"></a><span class="lineno"> 436</span>  internal_static_operations_research_sat_PartialVariableAssignment_descriptor =</div>
|
||||
<div class="line"><a name="l00437"></a><span class="lineno"> 437</span>  <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModelProtobuf.html#a59e560ee75736dcaacca4641402b059d">getDescriptor</a>().getMessageTypes().get(22);</div>
|
||||
<div class="line"><a name="l00438"></a><span class="lineno"> 438</span>  internal_static_operations_research_sat_PartialVariableAssignment_fieldAccessorTable = <span class="keyword">new</span></div>
|
||||
<div class="line"><a name="l00439"></a><span class="lineno"> 439</span>  <a class="code" href="namespacecom.html">com</a>.<a class="code" href="namespacecom_1_1google.html">google</a>.protobuf.GeneratedMessageV3.FieldAccessorTable(</div>
|
||||
<div class="line"><a name="l00440"></a><span class="lineno"> 440</span>  internal_static_operations_research_sat_PartialVariableAssignment_descriptor,</div>
|
||||
<div class="line"><a name="l00441"></a><span class="lineno"> 441</span>  <span class="keyword">new</span> java.lang.String[] { <span class="stringliteral">"Vars"</span>, <span class="stringliteral">"Values"</span>, });</div>
|
||||
<div class="line"><a name="l00442"></a><span class="lineno"> 442</span>  internal_static_operations_research_sat_CpModelProto_descriptor =</div>
|
||||
<div class="line"><a name="l00443"></a><span class="lineno"> 443</span>  <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModelProtobuf.html#a59e560ee75736dcaacca4641402b059d">getDescriptor</a>().getMessageTypes().get(23);</div>
|
||||
<div class="line"><a name="l00444"></a><span class="lineno"> 444</span>  internal_static_operations_research_sat_CpModelProto_fieldAccessorTable = <span class="keyword">new</span></div>
|
||||
<div class="line"><a name="l00445"></a><span class="lineno"> 445</span>  <a class="code" href="namespacecom.html">com</a>.<a class="code" href="namespacecom_1_1google.html">google</a>.protobuf.GeneratedMessageV3.FieldAccessorTable(</div>
|
||||
<div class="line"><a name="l00446"></a><span class="lineno"> 446</span>  internal_static_operations_research_sat_CpModelProto_descriptor,</div>
|
||||
<div class="line"><a name="l00447"></a><span class="lineno"> 447</span>  <span class="keyword">new</span> java.lang.String[] { <span class="stringliteral">"Name"</span>, <span class="stringliteral">"Variables"</span>, <span class="stringliteral">"Constraints"</span>, <span class="stringliteral">"Objective"</span>, <span class="stringliteral">"SearchStrategy"</span>, <span class="stringliteral">"SolutionHint"</span>, <span class="stringliteral">"Assumptions"</span>, });</div>
|
||||
<div class="line"><a name="l00448"></a><span class="lineno"> 448</span>  internal_static_operations_research_sat_CpSolverResponse_descriptor =</div>
|
||||
<div class="line"><a name="l00449"></a><span class="lineno"> 449</span>  <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModelProtobuf.html#a59e560ee75736dcaacca4641402b059d">getDescriptor</a>().getMessageTypes().get(24);</div>
|
||||
<div class="line"><a name="l00450"></a><span class="lineno"> 450</span>  internal_static_operations_research_sat_CpSolverResponse_fieldAccessorTable = <span class="keyword">new</span></div>
|
||||
<div class="line"><a name="l00451"></a><span class="lineno"> 451</span>  <a class="code" href="namespacecom.html">com</a>.<a class="code" href="namespacecom_1_1google.html">google</a>.protobuf.GeneratedMessageV3.FieldAccessorTable(</div>
|
||||
<div class="line"><a name="l00452"></a><span class="lineno"> 452</span>  internal_static_operations_research_sat_CpSolverResponse_descriptor,</div>
|
||||
<div class="line"><a name="l00453"></a><span class="lineno"> 453</span>  <span class="keyword">new</span> java.lang.String[] { <span class="stringliteral">"Status"</span>, <span class="stringliteral">"Solution"</span>, <span class="stringliteral">"ObjectiveValue"</span>, <span class="stringliteral">"BestObjectiveBound"</span>, <span class="stringliteral">"SolutionLowerBounds"</span>, <span class="stringliteral">"SolutionUpperBounds"</span>, <span class="stringliteral">"TightenedVariables"</span>, <span class="stringliteral">"SufficientAssumptionsForInfeasibility"</span>, <span class="stringliteral">"AllSolutionsWereFound"</span>, <span class="stringliteral">"NumBooleans"</span>, <span class="stringliteral">"NumConflicts"</span>, <span class="stringliteral">"NumBranches"</span>, <span class="stringliteral">"NumBinaryPropagations"</span>, <span class="stringliteral">"NumIntegerPropagations"</span>, <span class="stringliteral">"WallTime"</span>, <span class="stringliteral">"UserTime"</span>, <span class="stringliteral">"DeterministicTime"</span>, <span class="stringliteral">"PrimalIntegral"</span>, <span class="stringliteral">"SolutionInfo"</span>, });</div>
|
||||
<div class="line"><a name="l00454"></a><span class="lineno"> 454</span>  }</div>
|
||||
<div class="line"><a name="l00455"></a><span class="lineno"> 455</span>  </div>
|
||||
<div class="line"><a name="l00456"></a><span class="lineno"> 456</span>  <span class="comment">// @@protoc_insertion_point(outer_class_scope)</span></div>
|
||||
<div class="line"><a name="l00457"></a><span class="lineno"> 457</span> }</div>
|
||||
</div><!-- fragment --></div><!-- contents -->
|
||||
<div class="ttc" id="aclasscom_1_1google_1_1ortools_1_1sat_1_1CpModelProtobuf_html"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModelProtobuf.html">com.google.ortools.sat.CpModelProtobuf</a></div><div class="ttdef"><b>Definition:</b> <a href="CpModelProtobuf_8java_source.html#l00006">CpModelProtobuf.java:6</a></div></div>
|
||||
<div class="ttc" id="aclasscom_1_1google_1_1ortools_1_1sat_1_1CpModelProtobuf_html_ae18a8b2a014b389cbfc68df82e14d7ee"><div class="ttname"><a href="classcom_1_1google_1_1ortools_1_1sat_1_1CpModelProtobuf.html#ae18a8b2a014b389cbfc68df82e14d7ee">com.google.ortools.sat.CpModelProtobuf.registerAllExtensions</a></div><div class="ttdeci">static void registerAllExtensions(com.google.protobuf.ExtensionRegistryLite registry)</div><div class="ttdef"><b>Definition:</b> <a href="CpModelProtobuf_8java_source.html#l00008">CpModelProtobuf.java:8</a></div></div>
|
||||
|
||||
Reference in New Issue
Block a user