#include "ortools/sat/cp_model_utils.h"
#include <cmath>
#include <cstdint>
#include <cstdlib>
#include <functional>
#include <numeric>
#include <string>
#include <utility>
#include <vector>
#include "absl/base/optimization.h"
#include "absl/container/flat_hash_map.h"
#include "absl/container/flat_hash_set.h"
#include "absl/flags/flag.h"
#include "absl/functional/function_ref.h"
#include "absl/log/check.h"
#include "absl/strings/str_cat.h"
#include "absl/strings/string_view.h"
#include "absl/types/span.h"
#include "google/protobuf/descriptor.h"
#include "google/protobuf/message.h"
#include "google/protobuf/text_format.h"
#include "ortools/base/stl_util.h"
#include "ortools/sat/cp_model.pb.h"
#include "ortools/sat/sat_base.h"
#include "ortools/util/saturated_arithmetic.h"
#include "ortools/util/sorted_interval_list.h"

Namespaces
namespace	operations_research
	OR-Tools root namespace.
namespace	operations_research::sat

Macros
#define	APPLY_TO_SINGULAR_FIELD(ct_name, field_name)
#define	APPLY_TO_REPEATED_FIELD(ct_name, field_name)

Functions
	ABSL_FLAG (bool, cp_model_dump_models, false, "DEBUG ONLY. When set to true, SolveCpModel() will dump its model " "protos (original model, presolved model, mapping model) in text " "format to 'FLAGS_cp_model_dump_prefix'{model\|presolved_model\|" "mapping_model}.pb.txt.")
	ABSL_FLAG (std::string, cp_model_dump_prefix, "/tmp/", "Prefix filename for all dumped files")
	ABSL_FLAG (bool, cp_model_dump_submodels, false, "DEBUG ONLY. When set to true, solve will dump all " "lns or objective_shaving submodels proto in text format to " "'FLAGS_cp_model_dump_prefix'xxx.pb.txt.")
int64_t	operations_research::sat::LinearExpressionGcd (const LinearExpressionProto &expr, int64_t gcd)
void	operations_research::sat::DivideLinearExpression (int64_t divisor, LinearExpressionProto *expr)
void	operations_research::sat::SetToNegatedLinearExpression (const LinearExpressionProto &input_expr, LinearExpressionProto *output_negated_expr)
IndexReferences	operations_research::sat::GetReferencesUsedByConstraint (const ConstraintProto &ct)
void	operations_research::sat::GetReferencesUsedByConstraint (const ConstraintProto &ct, std::vector< int > variables, std::vector< int > literals)
void	operations_research::sat::ApplyToAllLiteralIndices (absl::FunctionRef< void(int )> f, ConstraintProto ct)
void	operations_research::sat::ApplyToAllVariableIndices (absl::FunctionRef< void(int )> f, ConstraintProto ct)
void	operations_research::sat::ApplyToAllIntervalIndices (absl::FunctionRef< void(int )> f, ConstraintProto ct)
absl::string_view	operations_research::sat::ConstraintCaseName (ConstraintProto::ConstraintCase constraint_case)
std::vector< int >	operations_research::sat::UsedVariables (const ConstraintProto &ct)
std::vector< int >	operations_research::sat::UsedIntervals (const ConstraintProto &ct)
int64_t	operations_research::sat::ComputeInnerObjective (const CpObjectiveProto &objective, absl::Span< const int64_t > solution)
bool	operations_research::sat::ExpressionContainsSingleRef (const LinearExpressionProto &expr)
bool	operations_research::sat::ExpressionIsAffine (const LinearExpressionProto &expr)
int	operations_research::sat::GetSingleRefFromExpression (const LinearExpressionProto &expr)
void	operations_research::sat::AddLinearExpressionToLinearConstraint (const LinearExpressionProto &expr, int64_t coefficient, LinearConstraintProto *linear)
void	operations_research::sat::AddWeightedLiteralToLinearConstraint (int lit, int64_t coeff, LinearConstraintProto linear, int64_t offset)
void	operations_research::sat::LiteralsToLinear (absl::Span< const int > literals, int64_t lb, int64_t ub, LinearConstraintProto *linear)
bool	operations_research::sat::SafeAddLinearExpressionToLinearConstraint (const LinearExpressionProto &expr, int64_t coefficient, LinearConstraintProto *linear)
bool	operations_research::sat::LinearExpressionProtosAreEqual (const LinearExpressionProto &a, const LinearExpressionProto &b, int64_t b_scaling)
uint64_t	operations_research::sat::FingerprintExpression (const LinearExpressionProto &lin, uint64_t seed)
uint64_t	operations_research::sat::FingerprintModel (const CpModelProto &model, uint64_t seed)
void	operations_research::sat::SetupTextFormatPrinter (google::protobuf::TextFormat::Printer *printer)
bool	operations_research::sat::ConvertCpModelProtoToCnf (const CpModelProto &cp_model, std::string *out)
bool	operations_research::sat::ConvertCpModelProtoToWCnf (const CpModelProto &cp_model, std::string *out)
int	operations_research::sat::CombineSeed (int base_seed, int64_t delta)
bool	operations_research::sat::IsAffineIntAbs (const ConstraintProto &ct)

Macro Definition Documentation

◆ APPLY_TO_REPEATED_FIELD

#define APPLY_TO_REPEATED_FIELD	(		ct_name,
			field_name )

Value:

  {                                                                        \
    for (int& r : *ct->mutable_##ct_name()->mutable_##field_name()) f(&r); \
  }

Definition at line 249 of file cp_model_utils.cc.

◆ APPLY_TO_SINGULAR_FIELD

#define APPLY_TO_SINGULAR_FIELD	(		ct_name,
			field_name )

Value:

  {                                                   \
    int temp = ct->mutable_##ct_name()->field_name(); \
    f(&temp);                                         \
    ct->mutable_##ct_name()->set_##field_name(temp);  \
  }

Definition at line 242 of file cp_model_utils.cc.

Function Documentation

◆ ABSL_FLAG() [1/3]

ABSL_FLAG	(	bool	,
		cp_model_dump_models	,
		false	,
		"DEBUG ONLY. When set to	true,
		SolveCpModel() will dump its model " "protos(original model, presolved model, mapping model) in text " "format to 'FLAGS_cp_model_dump_prefix'{model\|presolved_model\|" "mapping_model}.pb.txt."	)

◆ ABSL_FLAG() [2/3]

ABSL_FLAG	(	bool	,
		cp_model_dump_submodels	,
		false	,
		"DEBUG ONLY. When set to	true,
		solve will dump all " "lns or objective_shaving submodels proto in text format to " " 'FLAGS_cp_model_dump_prefix 'xxx.pb.txt."	)

◆ ABSL_FLAG() [3/3]

ABSL_FLAG	(	std::string	,
		cp_model_dump_prefix	,
		"/tmp/"	,
		"Prefix filename for all dumped files"	)

Namespaces

Macros