nodewidget.cpp
Go to the documentation of this file.00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023
00024
00025
00026
00027
00028
00029
00030
00031
00032
00033
00034 #include <gecode/gist/nodewidget.hh>
00035 #include <gecode/gist/drawingcursor.hh>
00036
00037 namespace Gecode { namespace Gist {
00038
00039 NodeWidget::NodeWidget(NodeStatus s) : status(s) {
00040 setMinimumSize(22,22);
00041 setMaximumSize(22,22);
00042 }
00043
00044 void NodeWidget::paintEvent(QPaintEvent*) {
00045 QPainter painter(this);
00046 painter.setRenderHint(QPainter::Antialiasing);
00047 int hw= width()/2;
00048 int myx = hw+2; int myy = 2;
00049 switch (status) {
00050 case SOLVED:
00051 {
00052 QPoint points[4] = {QPoint(myx,myy),
00053 QPoint(myx+8,myy+8),
00054 QPoint(myx,myy+16),
00055 QPoint(myx-8,myy+8)
00056 };
00057 painter.setBrush(QBrush(DrawingCursor::green));
00058 painter.drawConvexPolygon(points, 4);
00059 }
00060 break;
00061 case FAILED:
00062 {
00063 painter.setBrush(QBrush(DrawingCursor::red));
00064 painter.drawRect(myx-6, myy+2, 12, 12);
00065 }
00066 break;
00067 case BRANCH:
00068 {
00069 painter.setBrush(QBrush(DrawingCursor::blue));
00070 painter.drawEllipse(myx-8, myy, 16, 16);
00071 }
00072 break;
00073 case UNDETERMINED:
00074 {
00075 painter.setBrush(QBrush(Qt::white));
00076 painter.drawEllipse(myx-8, myy, 16, 16);
00077 }
00078 break;
00079 default:
00080 break;
00081 }
00082 }
00083
00084 }}
00085
00086