Searched refs:GetOrCreateConstantVar (Results 1 – 4 of 4) sorted by relevance
51 int PresolveContext::GetOrCreateConstantVar(int64_t cst) { in GetOrCreateConstantVar() function in operations_research::sat::PresolveContext1406 if (!CanonicalizeEncoding(&ref, &value)) return GetOrCreateConstantVar(0); in GetOrCreateVarValueEncoding()1413 return GetOrCreateConstantVar(0); in GetOrCreateVarValueEncoding()1432 const int true_literal = GetOrCreateConstantVar(1); in GetOrCreateVarValueEncoding()1481 return GetOrCreateConstantVar(1); in GetOrCreateAffineValueEncoding()1483 return GetOrCreateConstantVar(0); in GetOrCreateAffineValueEncoding()1488 return GetOrCreateConstantVar(0); in GetOrCreateAffineValueEncoding()
88 int GetOrCreateConstantVar(int64_t cst);
47 const int true_literal = context->GetOrCreateConstantVar(1); in ExpandReservoir()
4748 const int true_literal = context_->GetOrCreateConstantVar(1);