38 x -=
node()->getOffset();
44 DrawingCursor::isClipped(
void) {
45 if (clippingRect.width() == 0 && clippingRect.x() == 0
46 && clippingRect.height() == 0 && clippingRect.y() == 0)
49 return (
x + b.left > clippingRect.x() + clippingRect.width() ||
50 x + b.right < clippingRect.x() ||
51 y > clippingRect.y() + clippingRect.height() ||
59 !
node()->isHidden() &&
60 node()->childrenLayoutIsDone() &&
67 x +=
node()->getOffset();
73 x -=
node()->getOffset();
75 x +=
node()->getOffset();
void moveDownwards(void)
Move cursor to child.
bool mayMoveDownwards(void)
Test if cursor may move to child.
void moveUpwards(void)
Move cursor to parent.
void moveSidewards(void)
Move cursor to sibling.
void moveDownwards(void)
Move cursor to the first child node.
void moveSidewards(void)
Move cursor to the first sibling.
void moveUpwards(void)
Move cursor to the parent node.
bool mayMoveDownwards(void)
Test if cursor may move to the first child node.
The Gecode Interactive Search Tool.
Gecode toplevel namespace
Post propagator for SetVar SetOpType SetVar y
Post propagator for SetVar x