404 lines
76 KiB
HTML
404 lines
76 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"/>-->
|
|
<script type="text/javascript" src="jquery.js"></script>
|
|
<script type="text/javascript" src="dynsections.js"></script>
|
|
<link href="doxygen.css" rel="stylesheet" type="text/css" />
|
|
<link href="styleSheet.tmp.css" rel="stylesheet" type="text/css"/>
|
|
</head>
|
|
<body>
|
|
<div id="banner-container">
|
|
<div id="banner">
|
|
<span id="sfml">Google OR-Tools 9.1</span>
|
|
</div>
|
|
</div>
|
|
<div id="content" style="width: 100%; overflow: hidden;">
|
|
<div style="margin-left: 15px; margin-top: 5px; float: left; color: #145A32;">
|
|
<h2>C++ Reference</h2>
|
|
<ul>
|
|
<li><a href="../cpp_algorithms/annotated.html">Algorithms</a></li>
|
|
<li><a href="../cpp_sat/annotated.html">CP-SAT</a></li>
|
|
<li><a href="../cpp_graph/annotated.html">Graph</a></li>
|
|
<li><a href="../cpp_routing/annotated.html">Routing</a></li>
|
|
<li><a href="../cpp_linear/annotated.html">Linear solver</a></li>
|
|
</ul>
|
|
</div>
|
|
<div id="content">
|
|
<div align="center">
|
|
<h1 style="color: #145A32;">C++ Reference: CP-SAT</h1>
|
|
</div>
|
|
<!-- Generated by Doxygen 1.9.2 -->
|
|
<script type="text/javascript">
|
|
/* @license magnet:?xt=urn:btih:d3d9a9a6595521f9666a5e94cc830dab83b65699&dn=expat.txt MIT */
|
|
var searchBox = new SearchBox("searchBox", "search",'Search','.html');
|
|
/* @license-end */
|
|
</script>
|
|
<script type="text/javascript" src="menudata.js"></script>
|
|
<script type="text/javascript" src="menu.js"></script>
|
|
<script type="text/javascript">
|
|
/* @license magnet:?xt=urn:btih:d3d9a9a6595521f9666a5e94cc830dab83b65699&dn=expat.txt MIT */
|
|
$(function() {
|
|
initMenu('',true,false,'search.php','Search');
|
|
$(document).ready(function() { init_search(); });
|
|
});
|
|
/* @license-end */
|
|
</script>
|
|
<div id="main-nav"></div>
|
|
</div><!-- top -->
|
|
<div id="side-nav" class="ui-resizable side-nav-resizable">
|
|
<div id="nav-tree">
|
|
<div id="nav-tree-contents">
|
|
<div id="nav-sync" class="sync"></div>
|
|
</div>
|
|
</div>
|
|
<div id="splitbar" style="-moz-user-select:none;"
|
|
class="ui-resizable-handle">
|
|
</div>
|
|
</div>
|
|
<script type="text/javascript">
|
|
/* @license magnet:?xt=urn:btih:d3d9a9a6595521f9666a5e94cc830dab83b65699&dn=expat.txt MIT */
|
|
$(document).ready(function(){initNavTree('functions_eval_k.html',''); initResizable(); });
|
|
/* @license-end */
|
|
</script>
|
|
<div id="doc-content">
|
|
<!-- window showing the filter options -->
|
|
<div id="MSearchSelectWindow"
|
|
onmouseover="return searchBox.OnSearchSelectShow()"
|
|
onmouseout="return searchBox.OnSearchSelectHide()"
|
|
onkeydown="return searchBox.OnSearchSelectKey(event)">
|
|
</div>
|
|
|
|
<!-- iframe showing the search results (closed by default) -->
|
|
<div id="MSearchResultsWindow">
|
|
<iframe src="javascript:void(0)" frameborder="0"
|
|
name="MSearchResults" id="MSearchResults">
|
|
</iframe>
|
|
</div>
|
|
|
|
<div class="contents">
|
|
 
|
|
|
|
<h3><a id="index_k" name="index_k"></a>- k -</h3><ul>
|
|
<li>kAbsoluteGapLimitFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a578e537fc247e14837a4a27bc630eddf">SatParameters</a></li>
|
|
<li>kActivesFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_reservoir_constraint_proto.html#a5f92758c0938fbb4812b5bffffffa38da7f5d9a20f465bb612de9cda214f21c7c">ReservoirConstraintProto</a></li>
|
|
<li>kAddCgCutsFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a081c6e0fd3b07bd0b0b0a6d09c0f6ca8">SatParameters</a></li>
|
|
<li>kAddCliqueCutsFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9aba6bf455faf13c7a771183f401323c83">SatParameters</a></li>
|
|
<li>kAddKnapsackCutsFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9abfb5fb4ec0b673df696a385aa7e5a28b">SatParameters</a></li>
|
|
<li>kAddLinMaxCutsFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a887ac47aa8090e78056b5ad00ffd9ecd">SatParameters</a></li>
|
|
<li>kAddLpConstraintsLazilyFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9abcbfdd315c79b594e3a8e182771e562f">SatParameters</a></li>
|
|
<li>kAddMirCutsFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a3091fdadc3720ffa95d925bcbacb4016">SatParameters</a></li>
|
|
<li>kAddZeroHalfCutsFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a78297fcfa413d9010d9b0879953ac6ca">SatParameters</a></li>
|
|
<li>kAllDiff : <a class="el" href="classoperations__research_1_1sat_1_1_constraint_proto.html#ada030f50fcddb646af448ac7c5705e35ac7267ea8eee1047e8b3d41f4526bcef6">ConstraintProto</a></li>
|
|
<li>kAllDiffFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_constraint_proto.html#a63065218b7bc6da585025600771ea3a7a8579e6019063b27518e94afed27fb851">ConstraintProto</a></li>
|
|
<li>kAllSolutionsWereFoundFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_cp_solver_response.html#af8db087f4f53921848b865b50523947bae0a0e6c786dd09763f0ebe3e763e3043">CpSolverResponse</a></li>
|
|
<li>kAlsoBumpVariablesInConflictReasonsFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9ad4569814bf32364ade1d9d2e71a2aeba">SatParameters</a></li>
|
|
<li>kAssignmentFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_linear_boolean_problem.html#aef0c5fad27afdf5cd974a7ecfad5eecaa6bea80a5b2e55229e3dc7ffca8b73af5">LinearBooleanProblem</a></li>
|
|
<li>kAssumptionsFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_cp_model_proto.html#ab67fe66771cd9999c1e3af6a1e792ad3afb6daba7f24a634d87fc66e38ac037b7">CpModelProto</a></li>
|
|
<li>kAtMostOne : <a class="el" href="classoperations__research_1_1sat_1_1_constraint_proto.html#ada030f50fcddb646af448ac7c5705e35a60d782b0aafa6f70b6230ffd970b2c6b">ConstraintProto</a></li>
|
|
<li>kAtMostOneFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_constraint_proto.html#a63065218b7bc6da585025600771ea3a7ab87a5c01c8c15efe46c5f80152ce7b4f">ConstraintProto</a></li>
|
|
<li>kAutoDetectGreaterThanAtLeastOneOfFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a96ba99a8179ea115b3304e4c7792428b">SatParameters</a></li>
|
|
<li>kAutomaton : <a class="el" href="classoperations__research_1_1sat_1_1_constraint_proto.html#ada030f50fcddb646af448ac7c5705e35a8ab070d41f07187a3dc733f52455ffc0">ConstraintProto</a></li>
|
|
<li>kAutomatonFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_constraint_proto.html#a63065218b7bc6da585025600771ea3a7a2bac404df513b2519fc1802e0a4a36fc">ConstraintProto</a></li>
|
|
<li>kBestObjectiveBoundFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_cp_solver_response.html#af8db087f4f53921848b865b50523947bab93b021657c7f73ac77a828afa3da37d">CpSolverResponse</a></li>
|
|
<li>kBinaryMinimizationAlgorithmFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a42dae77ee32edd25e5b0be2c6cbab924">SatParameters</a></li>
|
|
<li>kBinarySearchNumConflictsFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a787ef96e173e9fe950f45a4bee2bb23b">SatParameters</a></li>
|
|
<li>kBlockingRestartMultiplierFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a420ac2a704a08147b7bea03a528e9fb0">SatParameters</a></li>
|
|
<li>kBlockingRestartWindowSizeFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9ab5081364eb1446717b7db8724d40904b">SatParameters</a></li>
|
|
<li>kBoolAnd : <a class="el" href="classoperations__research_1_1sat_1_1_constraint_proto.html#ada030f50fcddb646af448ac7c5705e35aef651681e2d17f777063fddf191f4a99">ConstraintProto</a></li>
|
|
<li>kBoolAndFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_constraint_proto.html#a63065218b7bc6da585025600771ea3a7a2aa06f04b7f93c54a3a60f584b8671a9">ConstraintProto</a></li>
|
|
<li>kBooleanEncodingLevelFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9ac7b26bf0cf6344f1f0904d691967e487">SatParameters</a></li>
|
|
<li>kBoolOr : <a class="el" href="classoperations__research_1_1sat_1_1_constraint_proto.html#ada030f50fcddb646af448ac7c5705e35aaadb0c3370c597095e0cb7e768f04567">ConstraintProto</a></li>
|
|
<li>kBoolOrFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_constraint_proto.html#a63065218b7bc6da585025600771ea3a7a5368bbcbadc07c6956894376699010b1">ConstraintProto</a></li>
|
|
<li>kBoolXor : <a class="el" href="classoperations__research_1_1sat_1_1_constraint_proto.html#ada030f50fcddb646af448ac7c5705e35a698b5d4e9d041ce67288f15e6a5053bc">ConstraintProto</a></li>
|
|
<li>kBoolXorFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_constraint_proto.html#a63065218b7bc6da585025600771ea3a7a313e3ca9f1d7016e57c593f775fa18ae">ConstraintProto</a></li>
|
|
<li>kBoxesWithNullAreaCanOverlapFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_no_overlap2_d_constraint_proto.html#aeeeb48b080808f06e4579a39f0ceb0dbac235c259f68a30750893da2b6a7d3d3f">NoOverlap2DConstraintProto</a></li>
|
|
<li>kCapacityFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_cumulative_constraint_proto.html#aecf7ef1dba26667cedd356f165a0d4f1a440249ed44d37808cd265d63ddd9fa4c">CumulativeConstraintProto</a>, <a class="el" href="classoperations__research_1_1sat_1_1_routes_constraint_proto.html#ae1a69d5c163595f5eee55576547088cfa440249ed44d37808cd265d63ddd9fa4c">RoutesConstraintProto</a></li>
|
|
<li>kCatchSigintSignalFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9aae865b21098d4a12486e940f397e1164">SatParameters</a></li>
|
|
<li>kCircuit : <a class="el" href="classoperations__research_1_1sat_1_1_constraint_proto.html#ada030f50fcddb646af448ac7c5705e35a7da0520a1741193fc2422811d6af7ace">ConstraintProto</a></li>
|
|
<li>kCircuitFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_constraint_proto.html#a63065218b7bc6da585025600771ea3a7a54c7f41fa6bbc6eeaa0c25a49c715c78">ConstraintProto</a></li>
|
|
<li>kClauseActivityDecayFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9aafd1e4c85bcc6a155a4a3c55ddb4337c">SatParameters</a></li>
|
|
<li>kClauseCleanupLbdBoundFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a6951fa841b1c8b055a786be5abcfc374">SatParameters</a></li>
|
|
<li>kClauseCleanupOrderingFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9abd6a608148e8e5ac12306b4acd0e1af3">SatParameters</a></li>
|
|
<li>kClauseCleanupPeriodFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a52afed74afc86f8008da5a1e233abff5">SatParameters</a></li>
|
|
<li>kClauseCleanupProtectionFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9ac2504150daa275db28fcb0b83251cc2f">SatParameters</a></li>
|
|
<li>kClauseCleanupRatioFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9ae488eb9b5566113961a53de5e91b580d">SatParameters</a></li>
|
|
<li>kClauseCleanupTargetFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a3c0ee3b7147f15078447c892029e82d0">SatParameters</a></li>
|
|
<li>kCoefficientsFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_linear_boolean_constraint.html#a227c705f12e74b62d986a994aec4813ba63c3b1b9f0c06bc24635c8d24b346305">LinearBooleanConstraint</a>, <a class="el" href="classoperations__research_1_1sat_1_1_linear_objective.html#a4029f33800c86a70c6257338ef75c3cda63c3b1b9f0c06bc24635c8d24b346305">LinearObjective</a></li>
|
|
<li>kCoeffsFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_cp_objective_proto.html#a86c01106fb1d45c1f6ff567d50883205a4fb0631a5347800d1e70397e7c52c93f">CpObjectiveProto</a>, <a class="el" href="classoperations__research_1_1sat_1_1_linear_constraint_proto.html#a192ead4cfcc93095b5d905a05df2e918a4fb0631a5347800d1e70397e7c52c93f">LinearConstraintProto</a>, <a class="el" href="classoperations__research_1_1sat_1_1_linear_expression_proto.html#afdf3d4f5345650643e51737c8470a802a4fb0631a5347800d1e70397e7c52c93f">LinearExpressionProto</a></li>
|
|
<li>kConstraintsFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_cp_model_proto.html#ab67fe66771cd9999c1e3af6a1e792ad3a050579d52aac4e2f07577d14bd3d2bbb">CpModelProto</a>, <a class="el" href="classoperations__research_1_1sat_1_1_linear_boolean_problem.html#aef0c5fad27afdf5cd974a7ecfad5eecaa050579d52aac4e2f07577d14bd3d2bbb">LinearBooleanProblem</a></li>
|
|
<li>kConvertIntervalsFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9adcb0f1592d07d1a735a7c1a3f184c276">SatParameters</a></li>
|
|
<li>kCountAssumptionLevelsInLbdFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a287fcfb83d3f659fdc424d850835e9fb">SatParameters</a></li>
|
|
<li>kCoverOptimizationFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a35c80468868ceac97fda834ba5cd6cc6">SatParameters</a></li>
|
|
<li>kCpModelMaxNumPresolveOperationsFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a2a19661565fb3466d7000b1ed1018bfc">SatParameters</a></li>
|
|
<li>kCpModelPostsolveWithFullSolverFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9aa1d15b3d8b3d9c63055940749aaa9a6e">SatParameters</a></li>
|
|
<li>kCpModelPresolveFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a3c39c304f05baa398694c7218738efa1">SatParameters</a></li>
|
|
<li>kCpModelProbingLevelFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9abe6f2215ee3a21afc03c7d183524c052">SatParameters</a></li>
|
|
<li>kCpModelUseSatPresolveFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a7a1feddad6ff9b4b4df7760766d383bf">SatParameters</a></li>
|
|
<li>kCumulative : <a class="el" href="classoperations__research_1_1sat_1_1_constraint_proto.html#ada030f50fcddb646af448ac7c5705e35a6273d2906038e97dc4d54d89436a305a">ConstraintProto</a></li>
|
|
<li>kCumulativeFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_constraint_proto.html#a63065218b7bc6da585025600771ea3a7a7088ab2be6c9c54afb649fcd0697f78f">ConstraintProto</a></li>
|
|
<li>kCutActiveCountDecayFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9aba0b1b18b269efa0098229d861e5714a">SatParameters</a></li>
|
|
<li>kCutCleanupTargetFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a63261d7a3d987a8cfbc28acf04f7ff81">SatParameters</a></li>
|
|
<li>kCutMaxActiveCountValueFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a80d50793ddf1074b8a47ffc542416069">SatParameters</a></li>
|
|
<li>kCycleSizesFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sparse_permutation_proto.html#abe5bd6bffaf8ec9e0dd3b9901889bd4cafb7dde4231ab445598df7f58f0a4e788">SparsePermutationProto</a></li>
|
|
<li>kDefaultRestartAlgorithmsFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a12202170fe79a33d592235c7807ba181">SatParameters</a></li>
|
|
<li>kDemandsFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_cumulative_constraint_proto.html#aecf7ef1dba26667cedd356f165a0d4f1ae18bf0811918484bcb54dc7d9dadc361">CumulativeConstraintProto</a>, <a class="el" href="classoperations__research_1_1sat_1_1_reservoir_constraint_proto.html#a5f92758c0938fbb4812b5bffffffa38dae18bf0811918484bcb54dc7d9dadc361">ReservoirConstraintProto</a>, <a class="el" href="classoperations__research_1_1sat_1_1_routes_constraint_proto.html#ae1a69d5c163595f5eee55576547088cfae18bf0811918484bcb54dc7d9dadc361">RoutesConstraintProto</a></li>
|
|
<li>kDeterministicTimeFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_cp_solver_response.html#af8db087f4f53921848b865b50523947ba106b8f0ad2bae9c7995ebd3b51fbc329">CpSolverResponse</a></li>
|
|
<li>kDisableConstraintExpansionFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a7ab35e45282d2dd5d20115c84716a830">SatParameters</a></li>
|
|
<li>kDiversifyLnsParamsFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a804f315e33cd296985e94e755826c30b">SatParameters</a></li>
|
|
<li>kDomainFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_cp_objective_proto.html#a86c01106fb1d45c1f6ff567d50883205aa7d3f9c034bd08e9e79f405e39bc6911">CpObjectiveProto</a>, <a class="el" href="classoperations__research_1_1sat_1_1_integer_variable_proto.html#aeddf49ed1db9b3058f631de639356667aa7d3f9c034bd08e9e79f405e39bc6911">IntegerVariableProto</a>, <a class="el" href="classoperations__research_1_1sat_1_1_linear_constraint_proto.html#a192ead4cfcc93095b5d905a05df2e918aa7d3f9c034bd08e9e79f405e39bc6911">LinearConstraintProto</a></li>
|
|
<li>kDomainReductionStrategyFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_decision_strategy_proto.html#a3f5692a32a2b4c2d9e1534244ed4a19ea9bf0bbf0f0ebbf7cada28bc00868b8f2">DecisionStrategyProto</a></li>
|
|
<li>kDummyConstraint : <a class="el" href="classoperations__research_1_1sat_1_1_constraint_proto.html#ada030f50fcddb646af448ac7c5705e35aa56df0a705ba98b87cf95d61122aa694">ConstraintProto</a></li>
|
|
<li>kDummyConstraintFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_constraint_proto.html#a63065218b7bc6da585025600771ea3a7a3d0a5210a1acab36f59a23223c3f9e29">ConstraintProto</a></li>
|
|
<li>kElement : <a class="el" href="classoperations__research_1_1sat_1_1_constraint_proto.html#ada030f50fcddb646af448ac7c5705e35acd33b6e972e153ab1a911c84c9585a42">ConstraintProto</a></li>
|
|
<li>kElementFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_constraint_proto.html#a63065218b7bc6da585025600771ea3a7a2dcb89d2f03bcc722bfae5a40741f2bd">ConstraintProto</a></li>
|
|
<li>kEndFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_interval_constraint_proto.html#abd5005dcc83e707cdf1cbbeb6ba0070eafbfae94bed6d1757a88573bc51608a9b">IntervalConstraintProto</a></li>
|
|
<li>kEndViewFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_interval_constraint_proto.html#abd5005dcc83e707cdf1cbbeb6ba0070ea43499394714ee69231a9f598f83a2281">IntervalConstraintProto</a></li>
|
|
<li>kEnergiesFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_cumulative_constraint_proto.html#aecf7ef1dba26667cedd356f165a0d4f1aeb6337e39cc2e98a4df762d7bc3e67ca">CumulativeConstraintProto</a></li>
|
|
<li>kEnforcementLiteralFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_constraint_proto.html#a63065218b7bc6da585025600771ea3a7a9a1a941c1ba628c11553ec7298bc6286">ConstraintProto</a></li>
|
|
<li>kEntriesFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_dense_matrix_proto.html#a36227f5b7ba75deffff3a0c9da3f2ef0a7c5dfedddbdb11efdc62da5ad761d9d6">DenseMatrixProto</a></li>
|
|
<li>kEnumerateAllSolutionsFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9aea3ae651e5e3324ac5d3eec91a76552e">SatParameters</a></li>
|
|
<li>kExactlyOne : <a class="el" href="classoperations__research_1_1sat_1_1_constraint_proto.html#ada030f50fcddb646af448ac7c5705e35ad60570d9bed938f8b11385a7ba7f3508">ConstraintProto</a></li>
|
|
<li>kExactlyOneFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_constraint_proto.html#a63065218b7bc6da585025600771ea3a7a2fed473bde6bc3fe7c36fedaf8f23e39">ConstraintProto</a></li>
|
|
<li>kExpandAlldiffConstraintsFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9af3eb4025f5223e1bbfbe39bf33394291">SatParameters</a></li>
|
|
<li>kExpandAutomatonConstraintsFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a3bdf7a3922e2c2666279e0ed471956ce">SatParameters</a></li>
|
|
<li>kExpandElementConstraintsFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a7b520ded5c45b91f7ef4d1a641baf5f9">SatParameters</a></li>
|
|
<li>kExpandReservoirConstraintsFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9aa38c0a56cb34637140f3c76f284f1a39">SatParameters</a></li>
|
|
<li>kExpandTableConstraintsFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a5dbeb29a7eaeb904995a52295d47a58a">SatParameters</a></li>
|
|
<li>kExploitAllLpSolutionFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9af7e902b3aa8761ce15d83ca29d0db5bf">SatParameters</a></li>
|
|
<li>kExploitBestSolutionFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a99e56cde7fd9dacd1fd3e207bac37565">SatParameters</a></li>
|
|
<li>kExploitIntegerLpSolutionFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9ae3de45855be8508e280dd738bc1ead19">SatParameters</a></li>
|
|
<li>kExploitObjectiveFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a0c72c02788bbfc9e26c905ef28a430ec">SatParameters</a></li>
|
|
<li>kExploitRelaxationSolutionFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9acd1a093973ff0cf2b152a513812b3fb0">SatParameters</a></li>
|
|
<li>kExprsFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_linear_argument_proto.html#a85dc75d74e1750d79b8ada6711bff5e3a45910a5d7ed967b96c9dc9f7c919878b">LinearArgumentProto</a></li>
|
|
<li>kFDirectFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_inverse_constraint_proto.html#a0513d03281a3e508c87f99660b96b7b1a8af3903ed43f703b3c14c63fab98d35b">InverseConstraintProto</a></li>
|
|
<li>kFillTightenedDomainsInResponseFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a4111b5528618c332c3d1a1423ec55832">SatParameters</a></li>
|
|
<li>kFinalStatesFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_automaton_constraint_proto.html#a7724e56315854c0be6bebfb2b1228a26a92b922e3bc320028e04793465313c8cb">AutomatonConstraintProto</a></li>
|
|
<li>kFindMultipleCoresFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a3283b0bbc369a408cb39e6b1e80c7ad1">SatParameters</a></li>
|
|
<li>kFInverseFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_inverse_constraint_proto.html#a0513d03281a3e508c87f99660b96b7b1ac0fd71ff0f6a71782d800a60bdf21216">InverseConstraintProto</a></li>
|
|
<li>kFixVariablesToTheirHintedValueFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9adbe0104ab0ead57f3ef89fa9a66268f8">SatParameters</a></li>
|
|
<li>kFpRoundingFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a3cc5273c629fb059f50e694bd93acc2d">SatParameters</a></li>
|
|
<li>kGlucoseDecayIncrementFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9ae032852355e2589879631788eca7b5fa">SatParameters</a></li>
|
|
<li>kGlucoseDecayIncrementPeriodFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a0f07cd6a436cd4bf695ff29fb21c1f07">SatParameters</a></li>
|
|
<li>kGlucoseMaxDecayFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a2c74a830c17518d56808c93a9cdda133">SatParameters</a></li>
|
|
<li>kHeadsFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_circuit_constraint_proto.html#a023d3af19ce96fcf59439a2a28938528a947d19ffa98588d00dfafd5d7d083cba">CircuitConstraintProto</a>, <a class="el" href="classoperations__research_1_1sat_1_1_routes_constraint_proto.html#ae1a69d5c163595f5eee55576547088cfa947d19ffa98588d00dfafd5d7d083cba">RoutesConstraintProto</a></li>
|
|
<li>kHintConflictLimitFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9ae0d99444cff65473e1e5e228a547e420">SatParameters</a></li>
|
|
<li>kIndexFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_decision_strategy_proto___affine_transformation.html#ac7384894d2bf3534f88d59cae395f81ca8c5c82f1928ae7a9747f8d1e2ea2d00b">DecisionStrategyProto_AffineTransformation</a>, <a class="el" href="classoperations__research_1_1sat_1_1_element_constraint_proto.html#aaafc3906427cbcc13df89e9e2d468ac4a8c5c82f1928ae7a9747f8d1e2ea2d00b">ElementConstraintProto</a></li>
|
|
<li>kInitialPolarityFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9ab0420d2f0f16030e4642aabf4b28d173">SatParameters</a></li>
|
|
<li>kInitialVariablesActivityFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a10b3d417c748ed8a9d3ef82c500ca2ac">SatParameters</a></li>
|
|
<li>kInstantiateAllVariablesFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9ae656d62cdaf664b5ae04a89e252c4b94">SatParameters</a></li>
|
|
<li>kIntDiv : <a class="el" href="classoperations__research_1_1sat_1_1_constraint_proto.html#ada030f50fcddb646af448ac7c5705e35a6cf91c5ead8753183a21a1561237d2d2">ConstraintProto</a></li>
|
|
<li>kIntDivFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_constraint_proto.html#a63065218b7bc6da585025600771ea3a7a37afcb755793a8e5fc7bacbbbd016777">ConstraintProto</a></li>
|
|
<li>kInterleaveBatchSizeFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a0e9d5045852695e752566dcb4828f44f">SatParameters</a></li>
|
|
<li>kInterleaveSearchFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a152b7176144bb985620bad542180936a">SatParameters</a></li>
|
|
<li>kInterval : <a class="el" href="classoperations__research_1_1sat_1_1_constraint_proto.html#ada030f50fcddb646af448ac7c5705e35a1b948ef604eecbb4da42feb6bed2beff">ConstraintProto</a></li>
|
|
<li>kIntervalFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_constraint_proto.html#a63065218b7bc6da585025600771ea3a7aef3a15312662d69ecad73ce4fc2b7ccf">ConstraintProto</a></li>
|
|
<li>kIntervalsFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_cumulative_constraint_proto.html#aecf7ef1dba26667cedd356f165a0d4f1a5732a93e966e6057266b842e49eea201">CumulativeConstraintProto</a>, <a class="el" href="classoperations__research_1_1sat_1_1_no_overlap_constraint_proto.html#ae843b631cfad62f3a45b9001ebcbe1d5a5732a93e966e6057266b842e49eea201">NoOverlapConstraintProto</a></li>
|
|
<li>kIntMax : <a class="el" href="classoperations__research_1_1sat_1_1_constraint_proto.html#ada030f50fcddb646af448ac7c5705e35a4d3274f97b77566895b3a239ed62bb72">ConstraintProto</a></li>
|
|
<li>kIntMaxFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_constraint_proto.html#a63065218b7bc6da585025600771ea3a7a90ca676e89badadfcc9cd81b980a8cc1">ConstraintProto</a></li>
|
|
<li>kIntMin : <a class="el" href="classoperations__research_1_1sat_1_1_constraint_proto.html#ada030f50fcddb646af448ac7c5705e35a15204b185dfd4bef30727e0ca1c321b8">ConstraintProto</a></li>
|
|
<li>kIntMinFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_constraint_proto.html#a63065218b7bc6da585025600771ea3a7a6b133cd6e7b46665a361af6730209d2b">ConstraintProto</a></li>
|
|
<li>kIntMod : <a class="el" href="classoperations__research_1_1sat_1_1_constraint_proto.html#ada030f50fcddb646af448ac7c5705e35ae87040cc6afe119fcfb0b7fa16a16a8a">ConstraintProto</a></li>
|
|
<li>kIntModFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_constraint_proto.html#a63065218b7bc6da585025600771ea3a7a0c43c0c6eb0dfdfaf287cac5b1570bf9">ConstraintProto</a></li>
|
|
<li>kIntProd : <a class="el" href="classoperations__research_1_1sat_1_1_constraint_proto.html#ada030f50fcddb646af448ac7c5705e35adf309905f42ce420be0b852996e4e650">ConstraintProto</a></li>
|
|
<li>kIntProdFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_constraint_proto.html#a63065218b7bc6da585025600771ea3a7a50b5a3936f0ea25a65d23a015e110c95">ConstraintProto</a></li>
|
|
<li>kInverse : <a class="el" href="classoperations__research_1_1sat_1_1_constraint_proto.html#ada030f50fcddb646af448ac7c5705e35aacf7ff630234b9ffede42cdbc9d5be5a">ConstraintProto</a></li>
|
|
<li>kInverseFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_constraint_proto.html#a63065218b7bc6da585025600771ea3a7af929a6d8d0d7313bac0030bd09adce2a">ConstraintProto</a></li>
|
|
<li>kKeepAllFeasibleSolutionsInPresolveFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a873a4f59c5e013bebb7969293c2c8214">SatParameters</a></li>
|
|
<li>kLinear : <a class="el" href="classoperations__research_1_1sat_1_1_constraint_proto.html#ada030f50fcddb646af448ac7c5705e35ac188c019178783e5be55110601309d7d">ConstraintProto</a></li>
|
|
<li>kLinearFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_constraint_proto.html#a63065218b7bc6da585025600771ea3a7a20f19f74d887843a7f1eb169ec68b1a5">ConstraintProto</a></li>
|
|
<li>kLinearizationLevelFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a4dbfe3c71c352cbc56956ac66b9c0c6f">SatParameters</a></li>
|
|
<li>kLinMax : <a class="el" href="classoperations__research_1_1sat_1_1_constraint_proto.html#ada030f50fcddb646af448ac7c5705e35afa67b6d38ac5fc27ad2cac3d2f392e39">ConstraintProto</a></li>
|
|
<li>kLinMaxFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_constraint_proto.html#a63065218b7bc6da585025600771ea3a7aff6168d50a4a27272032875e804b4cc4">ConstraintProto</a></li>
|
|
<li>kLinMin : <a class="el" href="classoperations__research_1_1sat_1_1_constraint_proto.html#ada030f50fcddb646af448ac7c5705e35a6481aef04a17e76c15e4be2d03d3cc23">ConstraintProto</a></li>
|
|
<li>kLinMinFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_constraint_proto.html#a63065218b7bc6da585025600771ea3a7a095aa2626764b0cfdc9d2369fed3e9de">ConstraintProto</a></li>
|
|
<li>kLiteralsFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_bool_argument_proto.html#a5dc1c232f4ce0a1eb3ff92267e3d61ffa8d39ebe0490d12a9389064484bb35c48">BoolArgumentProto</a>, <a class="el" href="classoperations__research_1_1sat_1_1_boolean_assignment.html#a3cf8f3fa94653642c64632b03b9e889ca8d39ebe0490d12a9389064484bb35c48">BooleanAssignment</a>, <a class="el" href="classoperations__research_1_1sat_1_1_circuit_constraint_proto.html#a023d3af19ce96fcf59439a2a28938528a8d39ebe0490d12a9389064484bb35c48">CircuitConstraintProto</a>, <a class="el" href="classoperations__research_1_1sat_1_1_linear_boolean_constraint.html#a227c705f12e74b62d986a994aec4813ba8d39ebe0490d12a9389064484bb35c48">LinearBooleanConstraint</a>, <a class="el" href="classoperations__research_1_1sat_1_1_linear_objective.html#a4029f33800c86a70c6257338ef75c3cda8d39ebe0490d12a9389064484bb35c48">LinearObjective</a>, <a class="el" href="classoperations__research_1_1sat_1_1_routes_constraint_proto.html#ae1a69d5c163595f5eee55576547088cfa8d39ebe0490d12a9389064484bb35c48">RoutesConstraintProto</a></li>
|
|
<li>kLnsExpandIntervalsInConstraintGraphFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a65a5ef2b67b32b81dbcc53c6bd294bc0">SatParameters</a></li>
|
|
<li>kLnsFocusOnDecisionVariablesFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a0aaf3b3746b5ee3aa23d985fad4f68ec">SatParameters</a></li>
|
|
<li>kLogPrefixFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a9c1613b6eebc7c621b7d0a99c1b69749">SatParameters</a></li>
|
|
<li>kLogSearchProgressFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a31297b76c0cbe539bdb79acf65acc968">SatParameters</a></li>
|
|
<li>kLogSubsolverStatisticsFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a5700573be55fd7b33dea8957d068c80b">SatParameters</a></li>
|
|
<li>kLogToResponseFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a5f7b343a7841195359c1d31911b1861a">SatParameters</a></li>
|
|
<li>kLogToStdoutFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9ace5b037e264abd26f71459d6e6db90fd">SatParameters</a></li>
|
|
<li>kLowerBoundFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_linear_boolean_constraint.html#a227c705f12e74b62d986a994aec4813baa955f7b33ce01bbab9bc09ecf41ce495">LinearBooleanConstraint</a></li>
|
|
<li>kMaxAllDiffCutSizeFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a617b25554724dfb43ea22f82fd66ffd0">SatParameters</a></li>
|
|
<li>kMaxClauseActivityValueFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a8f44c9fc4c90f0edda4b056b07b1d190">SatParameters</a></li>
|
|
<li>kMaxConsecutiveInactiveCountFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a4f1a6775e9dcfc6b7d74323775ab3e87">SatParameters</a></li>
|
|
<li>kMaxCutRoundsAtLevelZeroFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a64303323036d875c4b8501c588e49a97">SatParameters</a></li>
|
|
<li>kMaxDeterministicTimeFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9ad3e55a541718d5016be541ef9fe656d8">SatParameters</a></li>
|
|
<li>kMaxDomainSizeWhenEncodingEqNeqConstraintsFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a7d2154585a065ba70b7cbe60aecdad67">SatParameters</a></li>
|
|
<li>kMaxIntegerRoundingScalingFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a9c6e164d9958eeb57b5692603d9a0f3c">SatParameters</a></li>
|
|
<li>kMaxLevelFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_reservoir_constraint_proto.html#a5f92758c0938fbb4812b5bffffffa38dae7a7419edf5ea2aff52a8a5d62bd68ef">ReservoirConstraintProto</a></li>
|
|
<li>kMaxMemoryInMbFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9aeb17247d2279562d2c9b768107dedc70">SatParameters</a></li>
|
|
<li>kMaxNumberOfConflictsFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a33e3c4f120b433215d650f4d498bd6c0">SatParameters</a></li>
|
|
<li>kMaxNumCutsFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a2325b0da56c7d998e4eedfe6237e1931">SatParameters</a></li>
|
|
<li>kMaxPresolveIterationsFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a56eceb7f140a8dd271589cdc40debcb8">SatParameters</a></li>
|
|
<li>kMaxSatAssumptionOrderFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9ac713f6de66cac30c6b044ab11cba3eb0">SatParameters</a></li>
|
|
<li>kMaxSatReverseAssumptionOrderFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a54bc9fa79199f7bd252829cd72b8ae0f">SatParameters</a></li>
|
|
<li>kMaxSatStratificationFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a734ed26b832669e51eb26686693e94f6">SatParameters</a></li>
|
|
<li>kMaxTimeInSecondsFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9ae6a3bf5a99512e55242c0dd6cc6b6328">SatParameters</a></li>
|
|
<li>kMaxVariableActivityValueFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a116444f4eb795ea3a3362073047e0a4d">SatParameters</a></li>
|
|
<li>kMergeAtMostOneWorkLimitFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a53767fd6995eb0e8f070b7536267e3d9">SatParameters</a></li>
|
|
<li>kMergeNoOverlapWorkLimitFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9aa538e50c38970e030fee5bc17dc9ea6d">SatParameters</a></li>
|
|
<li>kMinimizationAlgorithmFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a9020adc6ccd32d24bae168c03049cb09">SatParameters</a></li>
|
|
<li>kMinimizeCoreFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a9b6f6e5197aefc0cbaaa6fb88097bf56">SatParameters</a></li>
|
|
<li>kMinimizeReductionDuringPbResolutionFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a67a435dbc0094785b9f8f3081683079e">SatParameters</a></li>
|
|
<li>kMinimizeWithPropagationNumDecisionsFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9ad9d1389ee00d2d1c26a3d7ab32b23e78">SatParameters</a></li>
|
|
<li>kMinimizeWithPropagationRestartPeriodFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9acc8d856c60c0ec6bb448a524ed2c94a5">SatParameters</a></li>
|
|
<li>kMinLevelFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_reservoir_constraint_proto.html#a5f92758c0938fbb4812b5bffffffa38da42637b0c1d79a8701a7439a49b375adf">ReservoirConstraintProto</a></li>
|
|
<li>kMinOrthogonalityForLpConstraintsFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9af2959dd60517f05c37429318f96727a1">SatParameters</a></li>
|
|
<li>kMipAutomaticallyScaleVariablesFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a3c4792c6b55c45ce1fec8d3c048e8a88">SatParameters</a></li>
|
|
<li>kMipCheckPrecisionFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9ab8dfa0c0b1ca20f2ba4b1e2bb8b6e962">SatParameters</a></li>
|
|
<li>kMipMaxActivityExponentFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a36dcffba2a24c606bf220168ba37b171">SatParameters</a></li>
|
|
<li>kMipMaxBoundFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a4f588a29efed067cd6b4f01cdd45d847">SatParameters</a></li>
|
|
<li>kMipVarScalingFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a458785b7c6bdb35d95105fa8b5436f57">SatParameters</a></li>
|
|
<li>kMipWantedPrecisionFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9acb3c3bada348c86f2e03843953941d9d">SatParameters</a></li>
|
|
<li>kNameFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_constraint_proto.html#a63065218b7bc6da585025600771ea3a7a80457de4fce1c9a997439550fe89d4c5">ConstraintProto</a>, <a class="el" href="classoperations__research_1_1sat_1_1_cp_model_proto.html#ab67fe66771cd9999c1e3af6a1e792ad3a80457de4fce1c9a997439550fe89d4c5">CpModelProto</a>, <a class="el" href="classoperations__research_1_1sat_1_1_integer_variable_proto.html#aeddf49ed1db9b3058f631de639356667a80457de4fce1c9a997439550fe89d4c5">IntegerVariableProto</a>, <a class="el" href="classoperations__research_1_1sat_1_1_linear_boolean_constraint.html#a227c705f12e74b62d986a994aec4813ba80457de4fce1c9a997439550fe89d4c5">LinearBooleanConstraint</a>, <a class="el" href="classoperations__research_1_1sat_1_1_linear_boolean_problem.html#aef0c5fad27afdf5cd974a7ecfad5eecaa80457de4fce1c9a997439550fe89d4c5">LinearBooleanProblem</a>, <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a80457de4fce1c9a997439550fe89d4c5">SatParameters</a></li>
|
|
<li>kNegatedFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_table_constraint_proto.html#a7297829c946ff598c22aa0c2fd58c51faf7c6e47e1de3f46be5aa64018a6df157">TableConstraintProto</a></li>
|
|
<li>kNewConstraintsBatchSizeFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a4665578e2dd81feb63607afcc4e2fac7">SatParameters</a></li>
|
|
<li>kNoOverlap : <a class="el" href="classoperations__research_1_1sat_1_1_constraint_proto.html#ada030f50fcddb646af448ac7c5705e35aa604bb0c8d30d6e0908b243370cf98a7">ConstraintProto</a></li>
|
|
<li>kNoOverlap2D : <a class="el" href="classoperations__research_1_1sat_1_1_constraint_proto.html#ada030f50fcddb646af448ac7c5705e35a4ed0edf0e268cf40b0f09253fb1b261b">ConstraintProto</a></li>
|
|
<li>kNoOverlap2DFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_constraint_proto.html#a63065218b7bc6da585025600771ea3a7af05233c2d21215396309a6fa0a5772f3">ConstraintProto</a></li>
|
|
<li>kNoOverlapFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_constraint_proto.html#a63065218b7bc6da585025600771ea3a7a807b1ef99cad1c33d48a81d36f74bbac">ConstraintProto</a></li>
|
|
<li>kNumBinaryPropagationsFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_cp_solver_response.html#af8db087f4f53921848b865b50523947ba10f072f5d166cd773514cdd1aec6a248">CpSolverResponse</a></li>
|
|
<li>kNumBooleansFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_cp_solver_response.html#af8db087f4f53921848b865b50523947ba346d65ac48da6b3507f0eaf9ff6f89ed">CpSolverResponse</a></li>
|
|
<li>kNumBranchesFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_cp_solver_response.html#af8db087f4f53921848b865b50523947ba755ca5123372be8a39a7537ac0dd9098">CpSolverResponse</a></li>
|
|
<li>kNumColsFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_dense_matrix_proto.html#a36227f5b7ba75deffff3a0c9da3f2ef0ae36fa32cb8e3e1028b825bcaa7ffc9b2">DenseMatrixProto</a></li>
|
|
<li>kNumConflictsBeforeStrategyChangesFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a9a9ced24bfa0588a383dcf8919b8c17c">SatParameters</a></li>
|
|
<li>kNumConflictsFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_cp_solver_response.html#af8db087f4f53921848b865b50523947ba938352aa10620d258de730367e73a0bb">CpSolverResponse</a></li>
|
|
<li>kNumIntegerPropagationsFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_cp_solver_response.html#af8db087f4f53921848b865b50523947ba88fcac065c49767b85c54474cfa6ddb2">CpSolverResponse</a></li>
|
|
<li>kNumLpIterationsFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_cp_solver_response.html#af8db087f4f53921848b865b50523947bab9a14e4b928f6c0de5180dc632b0c2cf">CpSolverResponse</a></li>
|
|
<li>kNumRestartsFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_cp_solver_response.html#af8db087f4f53921848b865b50523947ba811c26d301639424bd73c89f82d0b59c">CpSolverResponse</a></li>
|
|
<li>kNumRowsFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_dense_matrix_proto.html#a36227f5b7ba75deffff3a0c9da3f2ef0a931e9db4f40b799a1fd025cf331b1d5e">DenseMatrixProto</a></li>
|
|
<li>kNumSearchWorkersFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a5b2550ab4ebad654f1b586e3d5bc1d04">SatParameters</a></li>
|
|
<li>kNumVariablesFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_linear_boolean_problem.html#aef0c5fad27afdf5cd974a7ecfad5eecaa6ab890660219e8ad45a709993b5a8b6a">LinearBooleanProblem</a></li>
|
|
<li>kObjectiveFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_cp_model_proto.html#ab67fe66771cd9999c1e3af6a1e792ad3a4cecad1e4b6ddb4b2595b03f36c824a0">CpModelProto</a>, <a class="el" href="classoperations__research_1_1sat_1_1_linear_boolean_problem.html#aef0c5fad27afdf5cd974a7ecfad5eecaa4cecad1e4b6ddb4b2595b03f36c824a0">LinearBooleanProblem</a></li>
|
|
<li>kObjectiveValueFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_cp_solver_response.html#af8db087f4f53921848b865b50523947ba955ed2bbcc2dd234c683c09caab85447">CpSolverResponse</a></li>
|
|
<li>kOffsetFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_cp_objective_proto.html#a86c01106fb1d45c1f6ff567d50883205ab3c48295533fa8bfe61b1f9f0982f951">CpObjectiveProto</a>, <a class="el" href="classoperations__research_1_1sat_1_1_decision_strategy_proto___affine_transformation.html#ac7384894d2bf3534f88d59cae395f81cab3c48295533fa8bfe61b1f9f0982f951">DecisionStrategyProto_AffineTransformation</a>, <a class="el" href="classoperations__research_1_1sat_1_1_linear_expression_proto.html#afdf3d4f5345650643e51737c8470a802ab3c48295533fa8bfe61b1f9f0982f951">LinearExpressionProto</a>, <a class="el" href="classoperations__research_1_1sat_1_1_linear_objective.html#a4029f33800c86a70c6257338ef75c3cdab3c48295533fa8bfe61b1f9f0982f951">LinearObjective</a></li>
|
|
<li>kOnlyAddCutsAtLevelZeroFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a0ba56c803ce6cf1d70d567e42c8724f9">SatParameters</a></li>
|
|
<li>kOptimizeWithCoreFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9ac083178b84d25502d649e0dc839c50b3">SatParameters</a></li>
|
|
<li>kOptimizeWithLbTreeSearchFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a05b49a7a0607d87d78f9edcec7ff2141">SatParameters</a></li>
|
|
<li>kOptimizeWithMaxHsFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9ab54e149a160d8f45fe7be5f3dd405f67">SatParameters</a></li>
|
|
<li>kOrbitopesFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_symmetry_proto.html#a342d5e362d3298e7c7d48973d4d667b6a9681d0ad2e77bfb87859a2da8b30e442">SymmetryProto</a></li>
|
|
<li>kOriginalNumVariablesFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_linear_boolean_problem.html#aef0c5fad27afdf5cd974a7ecfad5eecaadd0354bdd412b46b6616655a6121250d">LinearBooleanProblem</a></li>
|
|
<li>kPbCleanupIncrementFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a2b16115c13fa9f66ef8b5ddd90ccb59c">SatParameters</a></li>
|
|
<li>kPbCleanupRatioFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a1d2f43adcaa7faba815b366ae02c154d">SatParameters</a></li>
|
|
<li>kPermutationsFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_symmetry_proto.html#a342d5e362d3298e7c7d48973d4d667b6ad525f2984ee1ce1a40439f0a133feaf5">SymmetryProto</a></li>
|
|
<li>kPermutePresolveConstraintOrderFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9abef3628f0e85f088c3f261505bdb3614">SatParameters</a></li>
|
|
<li>kPermuteVariableRandomlyFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a0e39d800e8c06a712ec431ae19c7cf7a">SatParameters</a></li>
|
|
<li>kPolarityRephaseIncrementFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9adad5a49e21589fe6fa0e54d47466944c">SatParameters</a></li>
|
|
<li>kPolishLpSolutionFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a1a1038629d215a1e7e85ead5d2dd19b5">SatParameters</a></li>
|
|
<li>kPositiveCoeffFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_decision_strategy_proto___affine_transformation.html#ac7384894d2bf3534f88d59cae395f81ca9a896ecf4a456cacd9212dfa12fb4220">DecisionStrategyProto_AffineTransformation</a></li>
|
|
<li>kPreferredVariableOrderFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a291372ebd9aca6f76d98f5e10ec0719b">SatParameters</a></li>
|
|
<li>kPresolveBlockedClauseFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9afb731e4314125dd5d4421f5282494df7">SatParameters</a></li>
|
|
<li>kPresolveBvaThresholdFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a829ca5dbbadfa29546e0e6b79a49c63e">SatParameters</a></li>
|
|
<li>kPresolveBveClauseWeightFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a7d5d20481fa657024914a199061fa744">SatParameters</a></li>
|
|
<li>kPresolveBveThresholdFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9aee9be471d9561d17c3653f920448a7e1">SatParameters</a></li>
|
|
<li>kPresolveExtractIntegerEnforcementFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9acc1534f86e9bc277f32084c4cabd6db3">SatParameters</a></li>
|
|
<li>kPresolveProbingDeterministicTimeLimitFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a911817cf37fcc75ea81838c584b5be32">SatParameters</a></li>
|
|
<li>kPresolveSubstitutionLevelFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a08c64d0f20bfcd4d15672a9fd0c0675d">SatParameters</a></li>
|
|
<li>kPresolveUseBvaFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9afda2d18bfd2f123d3cbc22dc431e3bd2">SatParameters</a></li>
|
|
<li>kPrimalIntegralFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_cp_solver_response.html#af8db087f4f53921848b865b50523947bae422630b719657d918fde43707448bac">CpSolverResponse</a></li>
|
|
<li>kProbingPeriodAtRootFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a6310660aeaaa2aaf25602424f493ca3e">SatParameters</a></li>
|
|
<li>kPseudoCostReliabilityThresholdFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9aec32e5b6bc942354f330c941b1327c9c">SatParameters</a></li>
|
|
<li>kRandomBranchesRatioFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a027d48c6d1ef2109d5455a9248179b39">SatParameters</a></li>
|
|
<li>kRandomizeSearchFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a2bd899afb166c1ad167f2187b79e7164">SatParameters</a></li>
|
|
<li>kRandomPolarityRatioFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9ae3a04a6b2a8d97123721e8b503be34bf">SatParameters</a></li>
|
|
<li>kRandomSeedFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9ac4f761747e2747fc941c12cdfb618175">SatParameters</a></li>
|
|
<li>kReduceMemoryUsageInInterleaveModeFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a41ed9b2c2a6e56af198ad71c23d27a05">SatParameters</a></li>
|
|
<li>kRelativeGapLimitFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a25c0912ed2511de12868d28637d8bf72">SatParameters</a></li>
|
|
<li>kRepairHintFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9abd546fc8c22a0007f49de95f6de0b6e7">SatParameters</a></li>
|
|
<li>kReservoir : <a class="el" href="classoperations__research_1_1sat_1_1_constraint_proto.html#ada030f50fcddb646af448ac7c5705e35a86d0a62bd1b691a1b81446e7ced9cdf7">ConstraintProto</a></li>
|
|
<li>kReservoirFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_constraint_proto.html#a63065218b7bc6da585025600771ea3a7a6fcdd33139c1bfde1df34ee0f5a22d09">ConstraintProto</a></li>
|
|
<li>kRestartAlgorithmsFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9acbba6417581d6ca7575c7ded790d8bb3">SatParameters</a></li>
|
|
<li>kRestartDlAverageRatioFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a1caeb45e7e31e8c940859a9b8a9ef0c4">SatParameters</a></li>
|
|
<li>kRestartLbdAverageRatioFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9af755639f43ed29b58068fe4f626b6e14">SatParameters</a></li>
|
|
<li>kRestartPeriodFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9acf8d6324a6b4fc53374f011ca9ae70f0">SatParameters</a></li>
|
|
<li>kRestartRunningWindowSizeFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a7798b683759fcbc2f866a4a0eabda61b">SatParameters</a></li>
|
|
<li>kRoutes : <a class="el" href="classoperations__research_1_1sat_1_1_constraint_proto.html#ada030f50fcddb646af448ac7c5705e35a88da6de97c8b4c4ce52616e0516b252a">ConstraintProto</a></li>
|
|
<li>kRoutesFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_constraint_proto.html#a63065218b7bc6da585025600771ea3a7a5fcdc880475f9996b6d04ad1b0cbcc2d">ConstraintProto</a></li>
|
|
<li>kScalingFactorFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_cp_objective_proto.html#a86c01106fb1d45c1f6ff567d50883205abd3a1a346b278b397e265cd45d9f844d">CpObjectiveProto</a>, <a class="el" href="classoperations__research_1_1sat_1_1_linear_objective.html#a4029f33800c86a70c6257338ef75c3cdabd3a1a346b278b397e265cd45d9f844d">LinearObjective</a></li>
|
|
<li>kSearchBranchingFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a1d5424cbd9cac7474d97a6d907750b25">SatParameters</a></li>
|
|
<li>kSearchRandomizationToleranceFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a777655734633b2f898bf1404c5516ef8">SatParameters</a></li>
|
|
<li>kSearchStrategyFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_cp_model_proto.html#ab67fe66771cd9999c1e3af6a1e792ad3a53beb24d48496f655bc9b0ea1b06e3f0">CpModelProto</a></li>
|
|
<li>kShareLevelZeroBoundsFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9abdb24fdf8ff5df26260e0216dbc1564b">SatParameters</a></li>
|
|
<li>kShareObjectiveBoundsFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9ae11cd37769a1fe9ab1f4b1552d29f8a3">SatParameters</a></li>
|
|
<li>kSizeFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_interval_constraint_proto.html#abd5005dcc83e707cdf1cbbeb6ba0070ea518d4162c4c5a882d2b9d26d7d542493">IntervalConstraintProto</a></li>
|
|
<li>kSizeViewFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_interval_constraint_proto.html#abd5005dcc83e707cdf1cbbeb6ba0070ea8c804be3ac63773c4e31072f0d8415a3">IntervalConstraintProto</a></li>
|
|
<li>kSolutionFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_cp_solver_response.html#af8db087f4f53921848b865b50523947ba39d3c646e1e9de091ecacc30e722a252">CpSolverResponse</a></li>
|
|
<li>kSolutionHintFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_cp_model_proto.html#ab67fe66771cd9999c1e3af6a1e792ad3ac2f2ba346935103cc08892a265759c8d">CpModelProto</a></li>
|
|
<li>kSolutionInfoFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_cp_solver_response.html#af8db087f4f53921848b865b50523947ba3098e5876b410816a27f076c9519bfa1">CpSolverResponse</a></li>
|
|
<li>kSolutionLowerBoundsFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_cp_solver_response.html#af8db087f4f53921848b865b50523947ba726b1456eb073b4083cabcafcb98e952">CpSolverResponse</a></li>
|
|
<li>kSolutionPoolSizeFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a3b28371ee4e50dfcc54668a3547a2ecd">SatParameters</a></li>
|
|
<li>kSolutionUpperBoundsFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_cp_solver_response.html#af8db087f4f53921848b865b50523947ba0ae810b2b4ed10423c51e0115b6bc612">CpSolverResponse</a></li>
|
|
<li>kSolveLogFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_cp_solver_response.html#af8db087f4f53921848b865b50523947bae9845a8d559596f3fa3652d27f53f348">CpSolverResponse</a></li>
|
|
<li>kStartFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_interval_constraint_proto.html#abd5005dcc83e707cdf1cbbeb6ba0070ea3f6059e190af69fdacdf079f079eb199">IntervalConstraintProto</a></li>
|
|
<li>kStartingStateFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_automaton_constraint_proto.html#a7724e56315854c0be6bebfb2b1228a26a54062676176ce87219a537397e37cd3e">AutomatonConstraintProto</a></li>
|
|
<li>kStartViewFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_interval_constraint_proto.html#abd5005dcc83e707cdf1cbbeb6ba0070eadc54555086b0673d7603f4897bf45140">IntervalConstraintProto</a></li>
|
|
<li>kStatusFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_cp_solver_response.html#af8db087f4f53921848b865b50523947ba62956891c269f2e93ca5d3a6da69239a">CpSolverResponse</a></li>
|
|
<li>kStopAfterFirstSolutionFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a4609c9b4be3bda3278b0057756467eae">SatParameters</a></li>
|
|
<li>kStopAfterPresolveFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a2d186f5c616f7da513ec9d180beb9d3e">SatParameters</a></li>
|
|
<li>kStrategyChangeIncreaseRatioFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a1d70ab7824af892f04949414ff434fa8">SatParameters</a></li>
|
|
<li>kSubsumptionDuringConflictAnalysisFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9aab59c40235d1167d2102d68d079e88dd">SatParameters</a></li>
|
|
<li>kSufficientAssumptionsForInfeasibilityFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_cp_solver_response.html#af8db087f4f53921848b865b50523947bad5e11c4963f49739eee5a1bb24ab4f7d">CpSolverResponse</a></li>
|
|
<li>kSupportFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sparse_permutation_proto.html#abe5bd6bffaf8ec9e0dd3b9901889bd4ca310ecde3a0233a431818575c8754621f">SparsePermutationProto</a></li>
|
|
<li>kSymmetryFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_cp_model_proto.html#ab67fe66771cd9999c1e3af6a1e792ad3a56adf57417f490c07a57c10bb7422165">CpModelProto</a></li>
|
|
<li>kSymmetryLevelFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9abd7869180d1efd742de78ad26d60db33">SatParameters</a></li>
|
|
<li>kTable : <a class="el" href="classoperations__research_1_1sat_1_1_constraint_proto.html#ada030f50fcddb646af448ac7c5705e35a1476d98efc03ccb4224ae17f531fd05a">ConstraintProto</a></li>
|
|
<li>kTableFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_constraint_proto.html#a63065218b7bc6da585025600771ea3a7a5d89be70c6dbf51d3f6c6a29ee95f813">ConstraintProto</a></li>
|
|
<li>kTailsFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_circuit_constraint_proto.html#a023d3af19ce96fcf59439a2a28938528abbd4315f52f9255799a8d6a8e943df43">CircuitConstraintProto</a>, <a class="el" href="classoperations__research_1_1sat_1_1_routes_constraint_proto.html#ae1a69d5c163595f5eee55576547088cfabbd4315f52f9255799a8d6a8e943df43">RoutesConstraintProto</a></li>
|
|
<li>kTargetFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_element_constraint_proto.html#aaafc3906427cbcc13df89e9e2d468ac4a4bb45dc8de9ac5796c7ad797f5224200">ElementConstraintProto</a>, <a class="el" href="classoperations__research_1_1sat_1_1_integer_argument_proto.html#abe476a734d2c54a291f4d3f152e40690a4bb45dc8de9ac5796c7ad797f5224200">IntegerArgumentProto</a>, <a class="el" href="classoperations__research_1_1sat_1_1_linear_argument_proto.html#a85dc75d74e1750d79b8ada6711bff5e3a4bb45dc8de9ac5796c7ad797f5224200">LinearArgumentProto</a></li>
|
|
<li>kTightenedVariablesFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_cp_solver_response.html#af8db087f4f53921848b865b50523947ba95c100e3b4856e2c98110f96d71825ba">CpSolverResponse</a></li>
|
|
<li>kTimesFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_reservoir_constraint_proto.html#a5f92758c0938fbb4812b5bffffffa38da943f2dc1c3badd25c2d3ec23d056913e">ReservoirConstraintProto</a></li>
|
|
<li>kTransformationsFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_decision_strategy_proto.html#a3f5692a32a2b4c2d9e1534244ed4a19eaaad703fd409c4ced14affcaf6528da48">DecisionStrategyProto</a></li>
|
|
<li>kTransitionHeadFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_automaton_constraint_proto.html#a7724e56315854c0be6bebfb2b1228a26a4ac5b22c2ff6fe9967fc1de9a808d01c">AutomatonConstraintProto</a></li>
|
|
<li>kTransitionLabelFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_automaton_constraint_proto.html#a7724e56315854c0be6bebfb2b1228a26a5b7c0b25e4d96af1c7819e09471c3b0a">AutomatonConstraintProto</a></li>
|
|
<li>kTransitionTailFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_automaton_constraint_proto.html#a7724e56315854c0be6bebfb2b1228a26a50e469cd0993f8897d5336160c7e481e">AutomatonConstraintProto</a></li>
|
|
<li>kTreatBinaryClausesSeparatelyFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a653e0a06f2a0e26f46b8915b5db5eb9b">SatParameters</a></li>
|
|
<li>kUpperBoundFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_linear_boolean_constraint.html#a227c705f12e74b62d986a994aec4813ba10e39f2a2a5a1c87c00bfaf3c076f994">LinearBooleanConstraint</a></li>
|
|
<li>kUseAbslRandomFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a351e5da6f938d9ceee7e9b543ecefe16">SatParameters</a></li>
|
|
<li>kUseBlockingRestartFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9aaa27e09b51717935bb72b8131fbef07b">SatParameters</a></li>
|
|
<li>kUseBranchingInLpFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a37c3093d2b262e81fa5961bfce55bad1">SatParameters</a></li>
|
|
<li>kUseCombinedNoOverlapFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a6868ea83203975b86741599913eac5eb">SatParameters</a></li>
|
|
<li>kUseDisjunctiveConstraintInCumulativeConstraintFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a41d8154e3458bdfe55172b3faa7f79b6">SatParameters</a></li>
|
|
<li>kUseErwaHeuristicFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a6e4e0f93aef64b2b5a5ecb528782806c">SatParameters</a></li>
|
|
<li>kUseExactLpReasonFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a4eee05761dc7093eb9f66f4bb6ffc7b4">SatParameters</a></li>
|
|
<li>kUseFeasibilityPumpFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a31452b9b38f0c569bb27d27f3cea10b5">SatParameters</a></li>
|
|
<li>kUseImpliedBoundsFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9aa3bcfef287ce16d473fb2a5b96ea96b6">SatParameters</a></li>
|
|
<li>kUseLnsOnlyFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a50a4557e64c1d16083888cb439207f8b">SatParameters</a></li>
|
|
<li>kUseOptimizationHintsFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9adb5f64501c99d1f76b7b2ad93db6f9df">SatParameters</a></li>
|
|
<li>kUseOptionalVariablesFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a79f9c181c8e5dae3ef431a18390d9b71">SatParameters</a></li>
|
|
<li>kUseOverloadCheckerInCumulativeConstraintFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9aa77f674f331e1846f7072c0f3b69f4b1">SatParameters</a></li>
|
|
<li>kUsePbResolutionFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9ac14444da3ef7f4d659033dcaf5feb9e6">SatParameters</a></li>
|
|
<li>kUsePhaseSavingFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a337acbc8de2dfe084e450a88e35fcd6c">SatParameters</a></li>
|
|
<li>kUsePrecedencesInDisjunctiveConstraintFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a279b4e1d173791b32955d19ed55ea9ec">SatParameters</a></li>
|
|
<li>kUseProbingSearchFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9ab2a5283ad3d43192221a36b605ee719b">SatParameters</a></li>
|
|
<li>kUseRelaxationLnsFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a2ca1888f58f21896b60dcb4e1c0152d6">SatParameters</a></li>
|
|
<li>kUseRinsLnsFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a99dd374aa25b6e4e878a01d7d338bb74">SatParameters</a></li>
|
|
<li>kUserTimeFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_cp_solver_response.html#af8db087f4f53921848b865b50523947babaf39793c59a1c0cf26ecc9c259b5a30">CpSolverResponse</a></li>
|
|
<li>kUseSatInprocessingFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a01ec2c75fd8abb02a1a82291ff5b800e">SatParameters</a></li>
|
|
<li>kUseTimetableEdgeFindingInCumulativeConstraintFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9a94b695dfde4029e4962a276eada208a4">SatParameters</a></li>
|
|
<li>kValuesFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_partial_variable_assignment.html#accebf36a910937f7cbe1a780178ef3cba39f496eb3af6cb322dcaa5eb8e891f16">PartialVariableAssignment</a>, <a class="el" href="classoperations__research_1_1sat_1_1_table_constraint_proto.html#a7297829c946ff598c22aa0c2fd58c51fa39f496eb3af6cb322dcaa5eb8e891f16">TableConstraintProto</a></li>
|
|
<li>kVariableActivityDecayFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_sat_parameters.html#abee2ace14c74c32f06291b677d6e97f9acd050fcd62c11794b5467acc9cd47f54">SatParameters</a></li>
|
|
<li>kVariableSelectionStrategyFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_decision_strategy_proto.html#a3f5692a32a2b4c2d9e1534244ed4a19ea0ce61376651b4b43e8e48682da31db3b">DecisionStrategyProto</a></li>
|
|
<li>kVariablesFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_cp_model_proto.html#ab67fe66771cd9999c1e3af6a1e792ad3adcd733cfe83466b89ba45511791fe551">CpModelProto</a>, <a class="el" href="classoperations__research_1_1sat_1_1_decision_strategy_proto.html#a3f5692a32a2b4c2d9e1534244ed4a19eadcd733cfe83466b89ba45511791fe551">DecisionStrategyProto</a></li>
|
|
<li>kVarNamesFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_linear_boolean_problem.html#aef0c5fad27afdf5cd974a7ecfad5eecaaf917d3b59a1dc3299c62556f21935803">LinearBooleanProblem</a></li>
|
|
<li>kVarsFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_all_different_constraint_proto.html#a06ea8a4dd1212f4fcbcb12ee273042aaa6b66537f58f087bb205368bc1a3816bf">AllDifferentConstraintProto</a>, <a class="el" href="classoperations__research_1_1sat_1_1_automaton_constraint_proto.html#a7724e56315854c0be6bebfb2b1228a26a6b66537f58f087bb205368bc1a3816bf">AutomatonConstraintProto</a>, <a class="el" href="classoperations__research_1_1sat_1_1_cp_objective_proto.html#a86c01106fb1d45c1f6ff567d50883205a6b66537f58f087bb205368bc1a3816bf">CpObjectiveProto</a>, <a class="el" href="classoperations__research_1_1sat_1_1_element_constraint_proto.html#aaafc3906427cbcc13df89e9e2d468ac4a6b66537f58f087bb205368bc1a3816bf">ElementConstraintProto</a>, <a class="el" href="classoperations__research_1_1sat_1_1_integer_argument_proto.html#abe476a734d2c54a291f4d3f152e40690a6b66537f58f087bb205368bc1a3816bf">IntegerArgumentProto</a>, <a class="el" href="classoperations__research_1_1sat_1_1_linear_constraint_proto.html#a192ead4cfcc93095b5d905a05df2e918a6b66537f58f087bb205368bc1a3816bf">LinearConstraintProto</a>, <a class="el" href="classoperations__research_1_1sat_1_1_linear_expression_proto.html#afdf3d4f5345650643e51737c8470a802a6b66537f58f087bb205368bc1a3816bf">LinearExpressionProto</a>, <a class="el" href="classoperations__research_1_1sat_1_1_list_of_variables_proto.html#a8843093f61888f041550f03637af5395a6b66537f58f087bb205368bc1a3816bf">ListOfVariablesProto</a>, <a class="el" href="classoperations__research_1_1sat_1_1_partial_variable_assignment.html#accebf36a910937f7cbe1a780178ef3cba6b66537f58f087bb205368bc1a3816bf">PartialVariableAssignment</a>, <a class="el" href="classoperations__research_1_1sat_1_1_table_constraint_proto.html#a7297829c946ff598c22aa0c2fd58c51fa6b66537f58f087bb205368bc1a3816bf">TableConstraintProto</a></li>
|
|
<li>kWallTimeFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_cp_solver_response.html#af8db087f4f53921848b865b50523947ba93da50524f7b9fa9a0e9236275e9ca9c">CpSolverResponse</a></li>
|
|
<li>kXIntervalsFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_no_overlap2_d_constraint_proto.html#aeeeb48b080808f06e4579a39f0ceb0dba6aa0cf7a45567a05be74d1259b5ff9f1">NoOverlap2DConstraintProto</a></li>
|
|
<li>kYIntervalsFieldNumber : <a class="el" href="classoperations__research_1_1sat_1_1_no_overlap2_d_constraint_proto.html#aeeeb48b080808f06e4579a39f0ceb0dba9aefd8c9df3a63b647508513ca601e96">NoOverlap2DConstraintProto</a></li>
|
|
</ul>
|
|
</div><!-- contents -->
|
|
</div><!-- doc-content -->
|
|
</div>
|
|
</div>
|
|
<div id="footer-container">
|
|
<div id="footer">
|
|
</div>
|
|
</div>
|
|
</body>
|
|
</html>
|