38 #ifndef GECODE_GIST_NODESTATS_HH
39 #define GECODE_GIST_NODESTATS_HH
44 #if QT_VERSION >= 0x050000
48 namespace Gecode {
namespace Gist {
57 QGraphicsTextItem* nodeDepthLabel;
59 QGraphicsTextItem* subtreeDepthLabel;
61 QGraphicsTextItem* solvedLabel;
63 QGraphicsTextItem* failedLabel;
65 QGraphicsTextItem* choicesLabel;
67 QGraphicsTextItem* openLabel;
69 QVBoxLayout* boxLayout;
NodeStatInspector(QWidget *parent)
int n
Number of negative literals for node type.
Display information about nodes.
Node class that supports visual layout
Gecode toplevel namespace
void node(const VisualNode::NodeAllocator &, VisualNode *n, const Statistics &stat, bool finished)
Update display to reflect information about n.
Statistics about the search tree
void showStats(void)
Show this window and bring it to the front.