expressions.cc File Reference

#include <algorithm>
#include <cmath>
#include <cstdint>
#include <cstdlib>
#include <limits>
#include <memory>
#include <string>
#include <utility>
#include <vector>
#include "absl/container/flat_hash_map.h"
#include "absl/strings/str_cat.h"
#include "absl/strings/str_format.h"
#include "absl/strings/string_view.h"
#include "absl/types/span.h"
#include "ortools/base/commandlineflags.h"
#include "ortools/base/logging.h"
#include "ortools/base/map_util.h"
#include "ortools/base/mathutil.h"
#include "ortools/base/stl_util.h"
#include "ortools/base/types.h"
#include "ortools/constraint_solver/constraint_solver.h"
#include "ortools/constraint_solver/constraint_solveri.h"
#include "ortools/util/bitset.h"
#include "ortools/util/saturated_arithmetic.h"
#include "ortools/util/string_array.h"

Go to the source code of this file.

Classes
class	operations_research::PiecewiseLinearExpr
	--— Piecewise Linear --— More...

Namespaces
namespace	operations_research
	In SWIG mode, we don't want anything besides these top-level includes.

Functions
	ABSL_FLAG (bool, cp_disable_expression_optimization, false, "Disable special optimization when creating expressions.")
	ABSL_FLAG (bool, cp_share_int_consts, true, "Share IntConst's with the same value.")
void	operations_research::CleanVariableOnFail (IntVar *var)
	---------------— Queue class ---------------—
Constraint *	operations_research::SetIsEqual (IntVar *const var, absl::Span< const int64_t > values, const std::vector< IntVar * > &vars)
Constraint *	operations_research::SetIsGreaterOrEqual (IntVar *const var, absl::Span< const int64_t > values, const std::vector< IntVar * > &vars)
void	operations_research::RestoreBoolValue (IntVar *var)
	--— Trail --—
void	operations_research::LinkVarExpr (Solver *s, IntExpr *expr, IntVar *var)
	--— IntExprElement --—

Function Documentation

ABSL_FLAG() [1/2]

ABSL_FLAG	(	bool	,
		cp_disable_expression_optimization	,
		false	,
		"Disable special optimization when creating expressions."	)

Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except in compliance with the License. You may obtain a copy of the License at

http://www.apache.org/licenses/LICENSE-2.0

Unless required by applicable law or agreed to in writing, software distributed under the License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the License for the specific language governing permissions and limitations under the License.

ABSL_FLAG() [2/2]

ABSL_FLAG	(	bool	,
		cp_share_int_consts	,
		true	,
		"Share IntConst's with the same value."	)

Variable Documentation

cst_

const int64_t cst_

protected

Definition at line 2725 of file expressions.cc.

iterator_

IntVarIterator* const iterator_

protected

Definition at line 2191 of file expressions.cc.

limit_

const int64_t limit_

protected

Definition at line 5508 of file expressions.cc.

pow_

const int64_t pow_

protected

Definition at line 5507 of file expressions.cc.

solver_

Solver* const solver_

protected

Definition at line 282 of file expressions.cc.