Method mergeIdenticalVariables

src/engine/InputQuery.cpp:271–297

}

void InputQuery::mergeIdenticalVariables( unsigned v1, unsigned v2 )
{
    // Handle equations
    for ( auto &equation : getEquations() )
        equation.updateVariableIndex( v1, v2 );

    // Handle PL constraints
    for ( auto &plConstraint : getPiecewiseLinearConstraints() )
    {
        if ( plConstraint->participatingVariable( v1 ) )
        {
            ASSERT( !plConstraint->participatingVariable( v2 ) );
            plConstraint->updateVariableIndex( v1, v2 );
        }
    }

    // Handle Nonlinear constraints
    for ( auto &nlConstraint : getNonlinearConstraints() )
    {
        if ( nlConstraint->participatingVariable( v1 ) )
        {
            ASSERT( !nlConstraint->participatingVariable( v2 ) );
            nlConstraint->updateVariableIndex( v1, v2 );
        }
    }
    // TODO: update lower and upper bounds
}

void InputQuery::removeEquation( Equation e )
{