SYMBOL INDEX (1067 symbols across 176 files) FILE: MiniZincIDE/checkupdatedialog.h function namespace (line 6) | namespace Ui { function class (line 10) | class CheckUpdateDialog : public QDialog FILE: MiniZincIDE/codechecker.h function class (line 9) | class CodeChecker : public QObject FILE: MiniZincIDE/codeeditor.cpp function Highlighter (line 174) | Highlighter& CodeEditor::getHighlighter() { function foreach (line 415) | foreach (QTextEdit::ExtraSelection sel, allExtraSels) { function QColor (line 587) | QColor CodeEditor::interpolate(QColor start,QColor end,double ratio) function QColor (line 599) | QColor CodeEditor::heatColor(double ratio) function foreach (line 713) | foreach (CodeEditorError cee, errors) { function foreach (line 761) | foreach (QTextEdit::ExtraSelection sel, allExtraSels) { FILE: MiniZincIDE/codeeditor.h type MiniZincError (line 34) | struct MiniZincError { function class (line 46) | class CodeEditor : public QPlainTextEdit function class (line 124) | class LineNumbers: public QWidget function class (line 142) | class DebugInfo: public QWidget function class (line 160) | class EditorHeader: public QWidget FILE: MiniZincIDE/configwindow.cpp function QString (line 267) | QString ConfigWindow::saveConfig(int index) function QString (line 305) | QString ConfigWindow::saveConfig() function SolverConfiguration (line 310) | SolverConfiguration* ConfigWindow::currentSolverConfig(void) function QWidget (line 777) | QWidget* ExtraOptionDelegate::createEditor(QWidget* parent, const QStyle... function SolverConfiguration (line 962) | SolverConfiguration* ConfigWindow::StashItem::consume() { FILE: MiniZincIDE/configwindow.h function namespace (line 25) | namespace Ui { function class (line 29) | class ConfigWindow : public QWidget function class (line 180) | class ExtraOptionDelegate : public QStyledItemDelegate { function class (line 190) | class LongLongValidator : public QValidator { FILE: MiniZincIDE/darkmodenotifier.cpp class DarkModeNotifier::Internal (line 36) | class DarkModeNotifier::Internal FILE: MiniZincIDE/darkmodenotifier.h function class (line 6) | class DarkModeNotifier : public QObject FILE: MiniZincIDE/elapsedtimer.cpp function qint64 (line 9) | qint64 ElapsedTimer::elapsed() FILE: MiniZincIDE/elapsedtimer.h function class (line 9) | class ElapsedTimer: public QObject FILE: MiniZincIDE/esclineedit.h function class (line 6) | class EscLineEdit : public QLineEdit FILE: MiniZincIDE/exception.h function class (line 6) | class Exception : public QException function class (line 20) | class InternalError : public Exception function class (line 29) | class ProcessError : public Exception function class (line 38) | class ProjectError : public Exception function class (line 47) | class MoocError : public Exception function class (line 56) | class ConfigError : public Exception function class (line 65) | class DriverError : public Exception function class (line 74) | class FileError : public Exception function class (line 83) | class ServerError : public Exception FILE: MiniZincIDE/extraparamdialog.h function namespace (line 10) | namespace Ui { function class (line 14) | class ExtraParamDialog : public QWidget FILE: MiniZincIDE/fzndoc.h function class (line 18) | class FznDoc : public QObject FILE: MiniZincIDE/gotolinedialog.h function namespace (line 18) | namespace Ui { function class (line 22) | class GoToLineDialog : public QDialog FILE: MiniZincIDE/highlighter.cpp function uint (line 77) | uint qHash(const FixedBg& key) { function fg_contains (line 81) | bool fg_contains(const FixedBg& a, const FixedBg& b) { function foreach (line 292) | foreach(const QTextLayout::FormatRange& fr, block.textFormats()) { function foreach (line 336) | foreach(const QTextLayout::FormatRange &range, layout->formats()) { FILE: MiniZincIDE/highlighter.h type Bracket (line 22) | struct Bracket { function class (line 27) | class DebugInfoData { function reset (line 37) | void reset(void) { con=0; var=0; ms=0; totalCon=0; totalVar=0; totalMs=1; } function QString (line 38) | QString toString(void) { type HighlightingState (line 43) | enum HighlightingState { HS_NONE=-1, HS_STRING, HS_INTERPOLATE, HS_COMME... function class (line 45) | class BracketData : public QTextBlockUserData type FixedBg (line 53) | struct FixedBg { type QHash (line 59) | typedef QHash > BgMap; function class (line 66) | class Highlighter : public QSyntaxHighlighter FILE: MiniZincIDE/history.cpp function QString (line 82) | QString FileDiff::apply(const QString& source, const QVector getBlocksFromPath(QString& path) { function SolverConfiguration (line 2694) | SolverConfiguration* MainWindow::getCurrentSolverConfig() function Solver (line 2699) | const Solver* MainWindow::getCurrentSolver() function QStringList (line 2737) | QStringList MainWindow::getOpenFiles() function QString (line 3050) | QString MainWindow::locationToLink(const QString& file, int firstLine, i... FILE: MiniZincIDE/mainwindow.h function namespace (line 48) | namespace Ui { function class (line 57) | class MainWindow : public QMainWindow FILE: MiniZincIDE/moocsubmission.h function namespace (line 14) | namespace Ui { function class (line 32) | class MOOCAssignment { function class (line 57) | class MOOCSubmission : public QDialog FILE: MiniZincIDE/outputdockwidget.h function class (line 6) | class OutputDockWidget : public QDockWidget FILE: MiniZincIDE/outputwidget.cpp function QString (line 103) | QString OutputWidget::lastTraceLoc(const QString &newTraceLoc) function QTextCursor (line 779) | QTextCursor OutputWidget::fragmentCursor(int position) function QSizeF (line 936) | QSizeF OutputWidgetArrow::intrinsicSize(QTextDocument* doc, int posInDoc... function QTextCursor (line 1029) | QTextCursor OutputWidget::nextInsertAt() const FILE: MiniZincIDE/outputwidget.h function namespace (line 12) | namespace Ui { type TextObject (line 25) | enum TextObject { type Property (line 29) | enum Property { function isSectionVisible (line 36) | bool isSectionVisible(const QString& section) { return _sections.value(s... function isMessageTypeVisible (line 37) | bool isMessageTypeVisible(const QString& messageType) { return _messageT... function solutionLimit (line 48) | int solutionLimit() { return _solutionLimit; } function setSolutionLimit (line 75) | void setSolutionLimit(int solutionLimit) { _solutionLimit = solutionLimi... function toggleSectionVisibility (line 79) | void toggleSectionVisibility(const QString& section) { setSectionVisibil... function toggleMessageTypeVisibility (line 83) | void toggleMessageTypeVisibility(const QString& messageType) { setMessag... FILE: MiniZincIDE/paramdialog.h function namespace (line 21) | namespace Ui { function class (line 25) | class ParamDialog : public QDialog FILE: MiniZincIDE/preferencesdialog.cpp function QByteArray (line 182) | QByteArray PreferencesDialog::allowFileRestore(const QString& path) function clearRequiredFlagsLayout (line 509) | void clearRequiredFlagsLayout(QGridLayout* l) { FILE: MiniZincIDE/preferencesdialog.h function namespace (line 9) | namespace Ui { function class (line 13) | class PreferencesDialog : public QDialog FILE: MiniZincIDE/process.cpp function Solver (line 226) | Solver* MznDriver::defaultSolver(void) function qint64 (line 455) | qint64 MznProcess::elapsedTime() function QString (line 470) | QString MznProcess::command() const FILE: MiniZincIDE/process.h function class (line 23) | class Process : public QProcess { function isValid (line 69) | bool isValid(void) const function QStringList (line 81) | const QStringList& minizincExecutable(void) const function QString (line 89) | const QString& mznDistribPath(void) const function QString (line 97) | const QString& minizincVersionString(void) const function QString (line 105) | const QString& userSolverConfigDir(void) const function QString (line 113) | const QString& userConfigFile(void) const function QString (line 121) | const QString& mznStdlibDir(void) const function QVersionNumber (line 150) | const QVersionNumber& version(void) function clear (line 167) | void clear() FILE: MiniZincIDE/profilecompilation.h function class (line 11) | class Path function class (line 33) | class PathEntry function class (line 50) | class TimingEntry FILE: MiniZincIDE/project.cpp function QStringList (line 74) | QStringList Project::loadProject(const QString& file, ConfigWindow* conf... function QStringList (line 398) | QStringList Project::files(void) const { function QStringList (line 402) | QStringList Project::modelFiles(void) const { function QStringList (line 406) | QStringList Project::solverConfigurationFiles(void) const { function QStringList (line 410) | QStringList Project::dataFiles(void) const { function QDir (line 448) | QDir Project::rootDir() function QString (line 464) | QString Project::getFileName(const QModelIndex& index) function QStringList (line 469) | QStringList Project::getFileNames(const QModelIndexList& indices) function QStringList (line 478) | QStringList Project::getFiles(NodeType type) const function QString (line 490) | QString Project::relativeToProject(const QString& fileName) FILE: MiniZincIDE/project.h function class (line 25) | class Project : public QObject { FILE: MiniZincIDE/projectbrowser.h function namespace (line 13) | namespace Ui { function class (line 17) | class ProjectBrowser : public QWidget FILE: MiniZincIDE/server.cpp function VisConnector (line 230) | VisConnector* Server::addConnector(const QString& label, const QStringLi... FILE: MiniZincIDE/server.h function class (line 10) | class VisConnector : public QObject { function class (line 52) | class Server : public QObject FILE: MiniZincIDE/server/connector.js function resolveResponse (line 27) | function resolveResponse(index, payload) { function rejectResponse (line 34) | function rejectResponse(index, message) { function createPromise (line 41) | function createPromise(message) { function on (line 52) | function on(event, callback) { function off (line 58) | function off(event, callback) { function getUserData (line 63) | function getUserData() { function goToSolution (line 75) | function goToSolution(idx) { function solve (line 84) | function solve(modelFile, dataFiles, options) { function getNumSolutions (line 92) | function getNumSolutions() { function getSolution (line 97) | function getSolution(index) { function getAllSolutions (line 103) | function getAllSolutions() { function getStatus (line 108) | function getStatus() { function getFinishTime (line 113) | function getFinishTime() { FILE: MiniZincIDE/solver.cpp function parseArgList (line 13) | void parseArgList(const QString& s, QVariantMap& map) { function Solver (line 226) | Solver& Solver::lookup(const QString& str) function Solver (line 249) | Solver& Solver::lookup(const QString& id, const QString& version, bool s... function SolverConfiguration (line 300) | SolverConfiguration SolverConfiguration::loadJSON(const QString& filenam... function SolverConfiguration (line 327) | SolverConfiguration SolverConfiguration::loadJSON(const QJsonDocument& j... function SolverConfiguration (line 429) | SolverConfiguration SolverConfiguration::loadLegacy(const QJsonDocument ... function QString (line 516) | QString SolverConfiguration::name() const function QByteArray (line 539) | QByteArray SolverConfiguration::toJSON(void) const function QJsonObject (line 546) | QJsonObject SolverConfiguration::toJSONObject(void) const FILE: MiniZincIDE/solver.h type SolverFlag (line 10) | struct SolverFlag { function Solver (line 22) | Q_DECLARE_METATYPE(SolverFlag) function class (line 69) | class SolverConfiguration { FILE: MiniZincIDE/theme.cpp function QString (line 3) | QString Theme::styleSheet(bool darkMode) const FILE: MiniZincIDE/theme.h function ThemeColor (line 8) | struct ThemeColor function QColor (line 23) | QColor get(bool darkMode) const { type Theme (line 28) | struct Theme function class (line 85) | class ThemeManager : public QObject FILE: cp-profiler/src/cpp-integration/connector.hpp type cpprofiler (line 29) | namespace cpprofiler { class Option (line 32) | class Option { method valid (line 37) | bool valid() const { return present; } method set (line 38) | void set(const T& t) { present = true; value_ = t; } method unset (line 39) | void unset() { present = false; } method T (line 40) | const T& value() const { assert(present); return value_; } method T (line 41) | T& value() { assert(present); return value_; } class Connector (line 44) | class Connector method sendOverSocket (line 141) | void sendOverSocket() { method sendRawMsg (line 150) | void sendRawMsg(const std::vector& buf) { method Connector (line 158) | Connector(unsigned int port) : port(port), _connected(false) {} method connected (line 160) | bool connected() { return _connected; } method connect (line 164) | void connect() { method start (line 224) | void start(const std::string& file_path = "", method restart (line 252) | void restart(int restart_id = -1) { method done (line 267) | void done() { method disconnect (line 273) | void disconnect() { method sendNode (line 281) | void sendNode(const Node& node) { method Node (line 294) | Node createNode(NodeUID node, NodeUID parent, class Node (line 45) | class Node method Node (line 63) | Node(NodeUID node, NodeUID parent, method Node (line 68) | Node& set_node_thread_id(int tid) { method Node (line 75) | Node& set_label(const std::string& label) { method Node (line 82) | Node& set_nogood(const std::string& nogood) { method Node (line 89) | Node& set_info(const std::string& info) { method alt (line 94) | int alt() const { return alt_; } method kids (line 95) | int kids() const { return kids_; } method NodeStatus (line 97) | NodeStatus status() const { return status_; } method NodeUID (line 99) | NodeUID nodeUID() const { return node_; } method NodeUID (line 100) | NodeUID parentUID() const { return parent_; } method node_id (line 102) | int node_id() const { return node_.nid; } method parent_id (line 103) | int parent_id() const { return parent_.nid; } method node_thread_id (line 104) | int node_thread_id() const { return node_.tid; } method node_restart_id (line 105) | int node_restart_id() const { return node_.rid; } method parent_thread_id (line 106) | int parent_thread_id() const { return parent_.tid; } method parent_restart_id (line 107) | int parent_restart_id() const { return parent_.rid; } method send (line 109) | void send() { sendNode(_c, *this); } class Node (line 48) | class Node { method Node (line 63) | Node(NodeUID node, NodeUID parent, method Node (line 68) | Node& set_node_thread_id(int tid) { method Node (line 75) | Node& set_label(const std::string& label) { method Node (line 82) | Node& set_nogood(const std::string& nogood) { method Node (line 89) | Node& set_info(const std::string& info) { method alt (line 94) | int alt() const { return alt_; } method kids (line 95) | int kids() const { return kids_; } method NodeStatus (line 97) | NodeStatus status() const { return status_; } method NodeUID (line 99) | NodeUID nodeUID() const { return node_; } method NodeUID (line 100) | NodeUID parentUID() const { return parent_; } method node_id (line 102) | int node_id() const { return node_.nid; } method parent_id (line 103) | int parent_id() const { return parent_.nid; } method node_thread_id (line 104) | int node_thread_id() const { return node_.tid; } method node_restart_id (line 105) | int node_restart_id() const { return node_.rid; } method parent_thread_id (line 106) | int parent_thread_id() const { return parent_.tid; } method parent_restart_id (line 107) | int parent_restart_id() const { return parent_.rid; } method send (line 109) | void send() { sendNode(_c, *this); } function sendall (line 113) | static int sendall(int s, const char* buf, int* len) { class Connector (line 132) | class Connector { method sendOverSocket (line 141) | void sendOverSocket() { method sendRawMsg (line 150) | void sendRawMsg(const std::vector& buf) { method Connector (line 158) | Connector(unsigned int port) : port(port), _connected(false) {} method connected (line 160) | bool connected() { return _connected; } method connect (line 164) | void connect() { method start (line 224) | void start(const std::string& file_path = "", method restart (line 252) | void restart(int restart_id = -1) { method done (line 267) | void done() { method disconnect (line 273) | void disconnect() { method sendNode (line 281) | void sendNode(const Node& node) { method Node (line 294) | Node createNode(NodeUID node, NodeUID parent, function sendNode (line 300) | void sendNode(Connector& c, Node& node) { c.sendNode(node); } FILE: cp-profiler/src/cpp-integration/message.hpp type cpprofiler (line 9) | namespace cpprofiler { type NodeStatus (line 13) | enum NodeStatus { type MsgType (line 20) | enum class MsgType { type NodeUID (line 28) | struct NodeUID { class Message (line 38) | class Message { method isNode (line 60) | bool isNode(void) const { return _type == MsgType::NODE; } method isDone (line 61) | bool isDone(void) const { return _type == MsgType::DONE; } method isStart (line 62) | bool isStart(void) const { return _type == MsgType::START; } method isRestart (line 63) | bool isRestart(void) const { return _type == MsgType::RESTART; } method NodeUID (line 65) | NodeUID nodeUID(void) const { return _node; } method set_nodeUID (line 66) | void set_nodeUID(const NodeUID& n) { _node = n; } method NodeUID (line 68) | NodeUID parentUID(void) const { return _parent; } method set_parentUID (line 69) | void set_parentUID(const NodeUID& p) { _parent = p; } method alt (line 71) | int32_t alt(void) const { return _alt; } method set_alt (line 72) | void set_alt(int32_t alt) { _alt = alt; } method kids (line 74) | int32_t kids(void) const { return _kids; } method set_kids (line 75) | void set_kids(int32_t kids) { _kids = kids; } method NodeStatus (line 77) | NodeStatus status(void) const { return _status; } method set_status (line 78) | void set_status(NodeStatus status) { _status = status; } method set_label (line 80) | void set_label(const std::string& label) { method set_info (line 85) | void set_info(const std::string& info) { method set_nogood (line 90) | void set_nogood(const std::string& nogood) { method set_version (line 95) | void set_version(int32_t v) { method has_version (line 100) | bool has_version(void) const { return _have_version; } method version (line 101) | int32_t version(void) const { return _version; } method has_label (line 103) | bool has_label(void) const { return _have_label; } method has_nogood (line 106) | bool has_nogood(void) const { return _have_nogood; } method has_info (line 110) | bool has_info(void) const { return _have_info; } method set_type (line 113) | void set_type(MsgType type) { _type = type; } method MsgType (line 114) | MsgType type(void) const { return _type; } method reset (line 116) | void reset(void) { class MessageMarshalling (line 125) | class MessageMarshalling { type Field (line 129) | enum Field { method serializeType (line 140) | static void serializeType(std::vector& data, MsgType f) { method serializeField (line 144) | static void serializeField(std::vector& data, Field f) { method serialize (line 148) | static void serialize(std::vector& data, int32_t i) { method serialize (line 155) | static void serialize(std::vector& data, NodeStatus s) { method serialize (line 159) | static void serialize(std::vector& data, const std::string& s) { method MsgType (line 166) | static MsgType deserializeMsgType(iter& it) { method Field (line 172) | static Field deserializeField(iter& it) { method deserializeInt (line 178) | static int32_t deserializeInt(iter& it) { method NodeStatus (line 187) | static NodeStatus deserializeStatus(iter& it) { method deserializeString (line 193) | static std::string deserializeString(iter& it) { method Message (line 205) | Message& makeNode(NodeUID node, NodeUID parent, method makeStart (line 220) | void makeStart(const std::string& info) { method makeRestart (line 227) | void makeRestart(const std::string& info) { method makeDone (line 233) | void makeDone(void) { method Message (line 238) | const Message& get_msg(void) { return msg; } method serialize (line 240) | std::vector serialize(void) const { method deserialize (line 285) | void deserialize(char* data, size_t size) { FILE: cp-profiler/src/cpprofiler/analysis/histogram_scene.cpp type cpprofiler (line 5) | namespace cpprofiler type analysis (line 7) | namespace analysis type Align (line 16) | enum class Align function addText (line 25) | static void addText(QGraphicsScene &scene, int col, int row, function addRect (line 53) | static std::shared_ptr addRect(HistogramScene &hist_sce... function addText (line 67) | static void addText(QGraphicsScene &scene, int col, int row, const c... function addText (line 73) | static void addText(QGraphicsScene &scene, int col, int row, int value) function PatternPtr (line 149) | PatternPtr HistogramScene::rectToPattern(PatternRectPtr prect) const FILE: cp-profiler/src/cpprofiler/analysis/histogram_scene.hh type cpprofiler (line 12) | namespace cpprofiler type analysis (line 14) | namespace analysis class PatternRect (line 20) | class PatternRect type PatternProp (line 21) | enum class PatternProp class HistogramScene (line 26) | class HistogramScene : public QObject method HistogramScene (line 55) | HistogramScene() method QGraphicsScene (line 64) | QGraphicsScene *scene() FILE: cp-profiler/src/cpprofiler/analysis/merge_window.cpp type cpprofiler (line 21) | namespace cpprofiler type analysis (line 23) | namespace analysis function linkLocationsPentagon (line 198) | static void linkLocationsPentagon(NodeID n_m, function MergeResult (line 282) | MergeResult &MergeWindow::mergeResult() type ng_analysis (line 287) | namespace ng_analysis type ReductionStats (line 290) | struct ReductionStats class ResultBuilder (line 296) | class ResultBuilder method ResultBuilder (line 305) | ResultBuilder() {} method addPentagonData (line 308) | void addPentagonData( method ResType (line 329) | const ResType &result() const { return ng_items; } function has_as_ancestor (line 416) | static bool has_as_ancestor(const tree::NodeTree &nt, NodeID n, Node... function under_pentagon (line 430) | static bool under_pentagon(const tree::NodeTree &nt, NodeID n) FILE: cp-profiler/src/cpprofiler/analysis/merge_window.hh type cpprofiler (line 7) | namespace cpprofiler type tree (line 9) | namespace tree class TraditionalView (line 11) | class TraditionalView class Execution (line 14) | class Execution class UserData (line 15) | class UserData type analysis (line 20) | namespace analysis class PentagonCounter (line 23) | class PentagonCounter class PentagonListWidget (line 24) | class PentagonListWidget type OriginalLoc (line 27) | struct OriginalLoc class MergeWindow (line 32) | class MergeWindow : public QMainWindow type cpprofiler (line 18) | namespace cpprofiler type tree (line 9) | namespace tree class TraditionalView (line 11) | class TraditionalView class Execution (line 14) | class Execution class UserData (line 15) | class UserData type analysis (line 20) | namespace analysis class PentagonCounter (line 23) | class PentagonCounter class PentagonListWidget (line 24) | class PentagonListWidget type OriginalLoc (line 27) | struct OriginalLoc class MergeWindow (line 32) | class MergeWindow : public QMainWindow FILE: cp-profiler/src/cpprofiler/analysis/merging/merge_result.hh type cpprofiler (line 6) | namespace cpprofiler type analysis (line 8) | namespace analysis type PentagonItem (line 11) | struct PentagonItem FILE: cp-profiler/src/cpprofiler/analysis/merging/pentagon_list_widget.hh type cpprofiler (line 11) | namespace cpprofiler type analysis (line 13) | namespace analysis class PentagonListWidget (line 16) | class PentagonListWidget : public QWidget method viewWidth (line 41) | int viewWidth() { return view_->viewport()->width(); } method handleClick (line 44) | void handleClick(NodeID node) method handleSortCB (line 57) | void handleSortCB(int state) FILE: cp-profiler/src/cpprofiler/analysis/merging/pentagon_rect.cpp type cpprofiler (line 9) | namespace cpprofiler type analysis (line 11) | namespace analysis FILE: cp-profiler/src/cpprofiler/analysis/merging/pentagon_rect.hh type cpprofiler (line 6) | namespace cpprofiler type analysis (line 8) | namespace analysis class PentagonListWidget (line 11) | class PentagonListWidget type PentagonItem (line 12) | struct PentagonItem type pent_config (line 14) | namespace pent_config class PentagonRect (line 31) | class PentagonRect : public QGraphicsRectItem FILE: cp-profiler/src/cpprofiler/analysis/nogood_analysis_dialog.hh type cpprofiler (line 18) | namespace cpprofiler type analysis (line 21) | namespace analysis type NgAnalysisItem (line 24) | struct NgAnalysisItem class NogoodProxyModel (line 35) | class NogoodProxyModel : public QSortFilterProxyModel method lessThan (line 38) | bool lessThan(const QModelIndex &left, const QModelIndex &right) c... class NogoodAnalysisDialog (line 48) | class NogoodAnalysisDialog : public QDialog method init (line 59) | void init() method saveNogoods (line 99) | void saveNogoods() method NogoodAnalysisDialog (line 137) | NogoodAnalysisDialog(NgAnalysisData nga_data) : QDialog(), ng_data... method populate (line 145) | void populate(const NgAnalysisData &nga_data) FILE: cp-profiler/src/cpprofiler/analysis/path_comp.cpp type cpprofiler (line 6) | namespace cpprofiler type analysis (line 8) | namespace analysis function set_intersect (line 12) | static vector