Method updateDirections

src/engine/Engine.cpp:2683–2690

}

void Engine::updateDirections()
{
    if ( GlobalConfiguration::USE_POLARITY_BASED_DIRECTION_HEURISTICS )
        for ( const auto &constraint : _plConstraints )
            if ( constraint->supportPolarity() && constraint->isActive() &&
                 !constraint->phaseFixed() )
                constraint->updateDirection();
}

void Engine::decideBranchingHeuristics()
{