38 #ifndef GECODE_GIST_VISUALNODE_HH 39 #define GECODE_GIST_VISUALNODE_HH 45 namespace Gecode {
namespace Gist {
81 void extend(
int deltaL,
int deltaR);
103 static Shape* allocate(
int d);
105 static void deallocate(
Shape*);
113 int depth(
void)
const;
115 void setDepth(
int d);
117 void computeBoundingBox(
void);
119 const Extent& operator [](
int i)
const;
147 bool containsCoordinateAtDepth(
int x,
int depth);
157 void setHidden(
bool h);
159 void setStop(
bool h);
167 void setOffset(
int n);
171 void setDirty(
bool d);
173 bool childrenLayoutIsDone(
void);
175 void setChildrenLayoutDone(
bool d);
179 void setMarked(
bool m);
181 bool isBookmarked(
void);
183 void setBookmarked(
bool m);
193 void setOnPath(
bool onPath0);
198 void hideFailed(
const NodeAllocator& na,
bool onlyDirty=
false);
207 Shape* getShape(
void);
209 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.
Node * x
Pointer to corresponding Boolean expression node.
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)
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