38 namespace Gecode {
namespace Int {
namespace ViewValGraph {
53 return static_cast<Edge<View>*
>(BiLink::next());
69 return home.ralloc(s);
81 : _val(
v), _matching(NULL) {}
85 : _val(
v), _matching(NULL), _next_val(
n) {}
127 : _view(View(NULL)) {}
131 : _size(
x.
size()), _view(
x) {}
145 return _view.varimp() == NULL;
155 return _size != _view.size();
160 _size = _view.size();
Bidirectional links for edges and anchors in nodes of view-value graph.
Edges in view-value graph.
int n
Number of negative literals for node type.
View nodes in view-value graph.
unsigned int size(I &i)
Size of all ranges of range iterator i.
void min(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
Node * x
Pointer to corresponding Boolean expression node.
Value nodes in view-value graph.
Gecode toplevel namespace
Base-class for nodes (both view and value nodes)