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

Function failure

cp-profiler/src/cpprofiler/tree/node_drawing.cpp:74–87  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

72}
73
74void failure(QPainter &painter, int x, int y, bool selected)
75{
76 using namespace traditional;
77 if (selected)
78 {
79 painter.setBrush(colors::gold);
80 }
81 else
82 {
83 painter.setBrush(colors::red);
84 }
85
86 painter.drawRect(x - HALF_FAILED_WIDTH, y, FAILED_WIDTH, FAILED_WIDTH);
87}
88
89void branch(QPainter &painter, int x, int y, bool selected)
90{

Callers 2

paintEventMethod · 0.85
processCurrentNodeMethod · 0.85

Calls 1

drawRectMethod · 0.80

Tested by

no test coverage detected