Searched refs:IncreaseNumVariables (Results 1 – 3 of 3) sorted by relevance
42 void IncreaseNumVariables(int num_variables);
28 void SatDecisionPolicy::IncreaseNumVariables(int num_variables) { in IncreaseNumVariables() function in operations_research::sat::SatDecisionPolicy
73 decision_policy_->IncreaseNumVariables(num_variables); in SetNumVariables()