Method updateDirection

src/engine/SignConstraint.cpp:642–646

}

void SignConstraint::updateDirection()
{
    _direction =
        ( FloatUtils::isNegative( computePolarity() ) ) ? SIGN_PHASE_NEGATIVE : SIGN_PHASE_POSITIVE;
}

PhaseStatus SignConstraint::getDirection() const
{