MCPcopy Create free account
hub / github.com/MiniZinc/MiniZincIDE / NodeWidget

Method NodeWidget

cp-profiler/src/cpprofiler/tree/node_widget.hh:82–109  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

80
81 public:
82 explicit NodeWidget(NodeStatus s) : m_status(s)
83 {
84 setMinimumSize(WIDTH, WIDTH);
85 setMaximumSize(WIDTH, WIDTH);
86 switch (m_status)
87 {
88 case NodeStatus::SOLVED:
89 setToolTip("Solutions");
90 break;
91 case NodeStatus::FAILED:
92 setToolTip("Failures");
93 break;
94 case NodeStatus::SKIPPED:
95 setToolTip("Skipped");
96 break;
97 case NodeStatus::BRANCH:
98 setToolTip("Branches");
99 break;
100 case NodeStatus::UNDETERMINED:
101 setToolTip("Undetermined");
102 break;
103 case NodeStatus::MERGED:
104 setToolTip("Merged");
105 break;
106 default:
107 break;
108 }
109 }
110
111 ~NodeWidget()
112 {

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected