Home
last modified time | relevance | path

Searched defs:mapping_proto (Results 1 – 3 of 3) sorted by relevance

/dports/math/py-or-tools/or-tools-9.2/ortools/sat/
H A Dcp_model_postsolve.cc305 const CpModelProto& mapping_proto, in PostsolveResponse()
H A Dcp_model_lns.cc184 CpModelProto mapping_proto; in RecomputeHelperData() local
H A Dcp_model_checker.cc1426 const CpModelProto* mapping_proto, in SolutionIsFeasible()