Searched refs:InitializeVariableOrdering (Results 1 – 2 of 2) sorted by relevance
108 void InitializeVariableOrdering();
204 void SatDecisionPolicy::InitializeVariableOrdering() { in InitializeVariableOrdering() function in operations_research::sat::SatDecisionPolicy341 InitializeVariableOrdering(); in NextBranch()