Class MiniZincError

MiniZincIDE/codeeditor.h:34–42

};

struct MiniZincError {
    bool isWarning;
    QString filename;
    int first_line;
    int last_line;
    int first_col;
    int last_col;
    QString msg;
};

class EditorHeader;