Method extractSolution

src/engine/Engine.cpp:1724–1772

}

void Engine::extractSolution( InputQuery &inputQuery, Preprocessor *preprocessor )
{
    Preprocessor *preprocessorInUse = nullptr;
    if ( preprocessor != nullptr )
        preprocessorInUse = preprocessor;
    else if ( _preprocessingEnabled )
        preprocessorInUse = &_preprocessor;

    for ( unsigned i = 0; i < inputQuery.getNumberOfVariables(); ++i )
    {
        if ( preprocessorInUse )
        {
            // Symbolically fixed variables are skipped. They will be re-constructed in the end.
            if ( preprocessorInUse->variableIsUnusedAndSymbolicallyFixed( i ) )
                continue;

            // Has the variable been merged into another?
            unsigned variable = i;
            while ( preprocessorInUse->variableIsMerged( variable ) )
                variable = preprocessorInUse->getMergedIndex( variable );

            // Fixed variables are easy: return the value they've been fixed to.
            if ( preprocessorInUse->variableIsFixed( variable ) )
            {
                inputQuery.setSolutionValue( i, preprocessorInUse->getFixedValue( variable ) );
                continue;
            }

            // We know which variable to look for, but it may have been assigned
            // a new index, due to variable elimination
            variable = preprocessorInUse->getNewIndex( variable );

            // Finally, set the assigned value
            inputQuery.setSolutionValue( i, _tableau->getValue( variable ) );
        }
        else
        {
            inputQuery.setSolutionValue( i, _tableau->getValue( i ) );
        }
    }

    if ( preprocessorInUse )
    {
        /*
          Recover the assignment of eliminated neurons (e.g., due to merging of WS layers)
        */
        preprocessorInUse->setSolutionValuesOfEliminatedNeurons( inputQuery );
    }
}

bool Engine::allVarsWithinBounds() const
{