Method solutionLimit

MiniZincIDE/outputwidget.h:48–48

    const QTextFrameFormat frameFormat() const { return _frameFormat; }

    int solutionLimit() { return _solutionLimit; }

    QString lastTraceLoc(const QString& newTraceLoc);