Searched refs:var_ordering_is_initialized_ (Results 1 – 2 of 2) sorted by relevance
50 if (var_ordering_is_initialized_) { in IncreaseNumVariables()147 var_ordering_is_initialized_ = false; in ResetDecisionHeuristic()247 var_ordering_is_initialized_ = true; in InitializeVariableOrdering()262 var_ordering_is_initialized_ = false; in SetAssignmentPreference()331 var_ordering_is_initialized_ = false; in RescaleVariableActivities()340 if (!var_ordering_is_initialized_) { in NextBranch()441 if (var_ordering_is_initialized_) PqInsertOrUpdate(var); in Untrail()452 if (!var_ordering_is_initialized_) return; in Untrail()465 if (DEBUG_MODE && var_ordering_is_initialized_) { in Untrail()
174 bool var_ordering_is_initialized_ = false; variable