Method dump

src/engine/InputQuery.cpp:631–671

}

void InputQuery::dump() const
{
    printf( "Total number of variables: %u\n", _numberOfVariables );
    printf( "Input variables:\n" );
    for ( const auto &input : _inputIndexToVariable )
        printf( "\tx%u\n", input.second );

    printf( "Output variables:\n" );
    for ( const auto &output : _outputIndexToVariable )
        printf( "\tx%u\n", output.second );

    printf( "Variable bounds:\n" );
    for ( unsigned i = 0; i < _numberOfVariables; ++i )
    {
        printf( "\t %u: [%s, %s]\n",
                i,
                _lowerBounds.exists( i ) ? Stringf( "%lf", _lowerBounds[i] ).ascii() : "-inf",
                _upperBounds.exists( i ) ? Stringf( "%lf", _upperBounds[i] ).ascii() : "inf" );
    }

    printf( "Constraints:\n" );
    String constraintString;
    for ( const auto &pl : _plConstraints )
    {
        pl->dump( constraintString );
        printf( "\t%s\n", constraintString.ascii() );
    }

    for ( const auto &ts : _nlConstraints )
    {
        ts->dump( constraintString );
        printf( "\t%s\n", constraintString.ascii() );
    }

    printf( "Equations:\n" );
    for ( const auto &e : _equations )
    {
        printf( "\t" );
        e.dump();
    }
}

void InputQuery::adjustInputOutputMapping( const Map<unsigned, unsigned> &oldIndexToNewIndex,
                                           const Map<unsigned, unsigned> &mergedVariables )