14#ifndef OR_TOOLS_SAT_CP_MODEL_POSTSOLVE_H_
15#define OR_TOOLS_SAT_CP_MODEL_POSTSOLVE_H_
20#include "absl/types/span.h"
21#include "ortools/sat/cp_model.pb.h"
47 const CpModelProto& mapping_proto,
48 absl::Span<const int> postsolve_mapping,
55 const CpModelProto& mapping_proto,
56 absl::Span<const int> postsolve_mapping,
57 absl::Span<const Domain> search_domains,
58 CpSolverResponse* response,
59 SolverLogger* logger);
void PostsolveResponse(const int64_t num_variables_in_original_model, const CpModelProto &mapping_proto, absl::Span< const int > postsolve_mapping, std::vector< int64_t > *solution)
void FillTightenedDomainInResponse(const CpModelProto &original_model, const CpModelProto &mapping_proto, absl::Span< const int > postsolve_mapping, absl::Span< const Domain > search_domains, CpSolverResponse *response, SolverLogger *logger)
In SWIG mode, we don't want anything besides these top-level includes.
Select next search node to expand Select next item_i to add this new search node to the search Generate a new search node where item_i is not in the knapsack Check validity of this new partial solution(using propagators) - If valid