cp_model_postsolve.cc File Reference

#include "ortools/sat/cp_model_postsolve.h"
#include <algorithm>
#include <cstdint>
#include <limits>
#include <vector>
#include "absl/log/check.h"
#include "ortools/base/logging.h"
#include "ortools/port/proto_utils.h"
#include "ortools/sat/cp_model.pb.h"
#include "ortools/sat/cp_model_utils.h"
#include "ortools/util/logging.h"
#include "ortools/util/sorted_interval_list.h"

Go to the source code of this file.

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

Functions
void	operations_research::sat::PostsolveClause (const ConstraintProto &ct, std::vector< Domain > *domains)
void	operations_research::sat::PostsolveExactlyOne (const ConstraintProto &ct, std::vector< Domain > *domains)
void	operations_research::sat::SetEnforcementLiteralToFalse (const ConstraintProto &ct, std::vector< Domain > *domains)
void	operations_research::sat::PostsolveLinear (const ConstraintProto &ct, std::vector< Domain > *domains)
void	operations_research::sat::PostsolveLinMax (const ConstraintProto &ct, std::vector< Domain > *domains)
void	operations_research::sat::PostsolveElement (const ConstraintProto &ct, std::vector< Domain > *domains)
	We only support 3 cases in the presolve currently.
void	operations_research::sat::PostsolveIntMod (const ConstraintProto &ct, std::vector< Domain > *domains)
	We only support assigning to an affine target.
void	operations_research::sat::PostsolveResponse (const int64_t num_variables_in_original_model, const CpModelProto &mapping_proto, const std::vector< int > &postsolve_mapping, std::vector< int64_t > *solution)
void	operations_research::sat::FillTightenedDomainInResponse (const CpModelProto &original_model, const CpModelProto &mapping_proto, const std::vector< int > &postsolve_mapping, const std::vector< Domain > &search_domains, CpSolverResponse *response, SolverLogger *logger)