Home
last modified time | relevance | path

Searched refs:NumIntegerVariables (Results 1 – 8 of 8) sorted by relevance

/dports/math/py-or-tools/or-tools-9.2/ortools/sat/
H A Dpseudo_costs.cc30 const int num_vars = integer_trail_.NumIntegerVariables().value();
H A Dcp_model_mapping.h181 int NumIntegerVariables() const { in NumIntegerVariables() function
H A Dprecedences.cc92 modified_vars_.ClearAndResize(integer_trail_->NumIntegerVariables()); in Propagate()
116 modified_vars_.ClearAndResize(integer_trail_->NumIntegerVariables()); in Untrail()
H A Dinteger_search.cc253 model->GetOrCreate<IntegerTrail>()->NumIntegerVariables().value() / 2; in LinearizedPartIsLarge()
1067 model->GetOrCreate<IntegerTrail>()->NumIntegerVariables(); in SolveIntegerProblemWithLazyEncoding()
H A Dinteger.cc651 w->Resize(NumIntegerVariables()); in AddIntegerVariable()
1854 modified_vars_.ClearAndResize(integer_trail_->NumIntegerVariables()); in UpdateCallingNeeds()
1990 modified_vars_.ClearAndResize(integer_trail_->NumIntegerVariables()); in Untrail()
H A Dinteger.h638 IntegerVariable NumIntegerVariables() const { in NumIntegerVariables() function
911 p->ClearAndResize(NumIntegerVariables()); in RegisterWatcher()
H A Dsynchronization.cc601 model->GetOrCreate<IntegerTrail>()->NumIntegerVariables().value()); in LoadDebugSolution()
H A Dcp_model_solver.cc592 m->GetOrCreate<IntegerTrail>()->NumIntegerVariables().value();
845 model->GetOrCreate<IntegerTrail>()->NumIntegerVariables();
1296 IntegerVariable size = integer_trail->NumIntegerVariables();