We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
2 parents 65dfdd2 + 60b3dd7 commit f6b59deCopy full SHA for f6b59de
ortools/sat/cp_model.cc
@@ -130,7 +130,7 @@ LinearExpr IntVar::AddConstant(int64_t value) const {
130
return LinearExpr(*this).AddConstant(value);
131
}
132
133
-Domain IntVar::Domain() const {
+ ::operations_research::Domain IntVar::Domain() const {
134
if (builder_ == nullptr) return Domain();
135
return ReadDomainFromProto(builder_->Proto().variables(index_));
136
ortools/sat/cp_model.h
@@ -173,7 +173,7 @@ class IntVar {
173
174
175
// Returns the domain of the variable.
176
- Domain Domain() const;
+ ::operations_research::Domain Domain() const;
177
178
std::string DebugString() const;
179
0 commit comments