65 return home.ralloc(s);
127 : _size(
x.size()), _view(
x) {}
141 return _view.varimp() == NULL;
156 _size = _view.size();
BiLink(void)
Initialize as empty (self referenced)
BiLink * next(void) const
Return next element.
Edges in view-value graph.
Edge< View > * edge_fst(void) const
Return first edge (organized by bi-links)
Edge< View > * edge_lst(void) const
Return last edge (organized by bi-links)
Value nodes in view-value graph.
const int _val
The value of the node.
ValNode(int v)
Initialize with value v.
Edge< View > * matching(void) const
Return matching edge (NULL if unmatched)
ValNode< View > * _next_val
The next value node.
Edge< View > * _matching
The matching edge.
ValNode< View > * next_val(void) const
Return next value node.
int val(void) const
Return value of node.
ValNode< View > ** next_val_ref(void)
Return pointer to next value node fields.
View _view
The node's view.
bool matched(void) const
Whether the node is matched.
View view(void) const
Return view.
void update(void)
Update size of view after change.
unsigned int _size
The size of the view after last change.
Edge< View > * val_edges(void) const
Return first edge of all value edges.
Edge< View > ** val_edges_ref(void)
Return pointer to first edge fields of all value edges.
bool fake(void) const
Test whether node has a fake view.
bool changed(void) const
Return whether view has changed its size.
Edge< View > * _val_edges
The first value edge.
ViewNode(void)
Initialize node for a non-view.
Support classes for propagators using a view-value graph.
Gecode toplevel namespace
Post propagator for SetVar x