34#ifndef GECODE_GIST_NODESTATS_HH
35#define GECODE_GIST_NODESTATS_HH
40#if QT_VERSION >= 0x050000
53 QGraphicsTextItem* nodeDepthLabel;
55 QGraphicsTextItem* subtreeDepthLabel;
57 QGraphicsTextItem* solvedLabel;
59 QGraphicsTextItem* failedLabel;
61 QGraphicsTextItem* choicesLabel;
63 QGraphicsTextItem* openLabel;
65 QVBoxLayout* boxLayout;
NodeStatInspector(QWidget *parent)
void node(const VisualNode::NodeAllocator &, VisualNode *n, const Statistics &stat, bool finished)
Update display to reflect information about n.
void showStats(void)
Show this window and bring it to the front.
NodeAllocatorBase< VisualNode > NodeAllocator
Statistics about the search tree
Node class that supports visual layout
The Gecode Interactive Search Tool.
Gecode toplevel namespace