Method transformConstraintsIfNeeded

src/engine/Preprocessor.cpp:210–214

}

void Preprocessor::transformConstraintsIfNeeded()
{
    for ( auto &plConstraint : _preprocessed->getPiecewiseLinearConstraints() )
        plConstraint->transformToUseAuxVariables( *_preprocessed );
}

void Preprocessor::removeRedundantAddendsInAllEquations()
{