34 #ifndef GECODE_GIST_VISUALNODE_HH 35 #define GECODE_GIST_VISUALNODE_HH 41 namespace Gecode {
namespace Gist {
77 void extend(
int deltaL,
int deltaR);
99 static Shape* allocate(
int d);
101 static void deallocate(
Shape*);
109 int depth(
void)
const;
111 void setDepth(
int d);
113 void computeBoundingBox(
void);
115 const Extent& operator [](
int i)
const;
143 bool containsCoordinateAtDepth(
int x,
int depth);
153 void setHidden(
bool h);
155 void setStop(
bool h);
163 void setOffset(
int n);
167 void setDirty(
bool d);
169 bool childrenLayoutIsDone(
void);
171 void setChildrenLayoutDone(
bool d);
175 void setMarked(
bool m);
177 bool isBookmarked(
void);
179 void setBookmarked(
bool m);
189 void setOnPath(
bool onPath0);
194 void hideFailed(
const NodeAllocator& na,
bool onlyDirty=
false);
203 Shape* getShape(
void);
205 void setShape(
Shape* s);
int right
Right coordinate.
Static reference to the currently best space.
int offset
Relative offset from the parent node.
static const int LASTBIT
Last bit used for SpaceNode flags.
Gecode::FloatVal c(-8, 8)
int p
Number of positive literals for node type.
Gecode::IntArgs i(4, 1, 2, 3, 4)
int n
Number of negative literals for node type.
const unsigned int a_d
Create a clone during recomputation if distance is greater than a_d (adaptive distance) ...
VisualNodeFlags
Flags for VisualNodes.
Post propagator for SetVar SetOpType SetVar y
Choice for performing commit
static Shape * hidden
Static shape for hidden nodes.
Shape * shape
Shape of this node.
BoundingBox(void)
Default constructor.
Node class that supports visual layout
const unsigned int c_d
Create a clone after every c_d commits (commit distance)
Post propagator for SetVar x
A node of a search tree of Gecode spaces.
static Shape * leaf
Static shape for leaf nodes.
Gecode toplevel namespace
FloatView extend(Home home, Region &r, Term *&t, int &n)
Extend terms by adding view for result.
Extent representing shape of a tree at one depth level
static const int minimalSeparation