Home
last modified time | relevance | path

Searched refs:num_created_variables_ (Results 1 – 2 of 2) sorted by relevance

/dports/math/py-or-tools/or-tools-9.2/ortools/sat/
H A Dinteger.h361 num_created_variables_(0) {} in IntegerEncoder()
364 VLOG(1) << "#variables created = " << num_created_variables_; in ~IntegerEncoder()
561 int64_t num_created_variables_ = 0; variable
H A Dinteger.cc236 ++num_created_variables_; in GetOrCreateAssociatedLiteral()
285 ++num_created_variables_; in GetOrCreateLiteralAssociatedToEquality()