Class Preprocessor

src/engine/Preprocessor.h:27–205

#include "Set.h"

class Preprocessor
{
public:
    Preprocessor();

    ~Preprocessor();

    /*
      Main method of this class: preprocess the input query
    */
    std::unique_ptr<InputQuery> preprocess( const InputQuery &query,
                                            bool attemptVariableElimination = true );

    /*
      Have the preprocessor start reporting statistics.
    */
    void setStatistics( Statistics *statistics );

    /*
      Obtain the values of variabels that have become fixed.
    */
    bool variableIsFixed( unsigned index ) const;
    double getFixedValue( unsigned index ) const;

    /*
      Obtain the values of variables that have been merged.
    */
    bool variableIsMerged( unsigned index ) const;
    unsigned getMergedIndex( unsigned index ) const;

    /*
      Check whether a variable is unused by symbolically fixed.
    */
    bool variableIsUnusedAndSymbolicallyFixed( unsigned index ) const;

    /*
      Obtain the new index of a variable.
    */
    unsigned getNewIndex( unsigned oldIndex ) const;

    /*
      Given an inputQuery with all variable assignment other than ones for
      variables corresponding to eliminated neurons, compute the full
      assignment.
    */
    void setSolutionValuesOfEliminatedNeurons( InputQuery &inputQuery );

private:
    void freeMemoryIfNeeded();

    inline double getLowerBound( unsigned var )
    {
        return _lowerBounds[var];
    }

    inline double getUpperBound( unsigned var )
    {
        return _upperBounds[var];