Re: dvar_remove_element

Mark Wallace wrote:
> 
> [eclipse 2]: X::1..5, dvar_domain(X,XDom), dvar_remove_element(XDom,1).
> 
> X = X{[1..5]}
> XDom = 1..5
> Yes (0.00s cpu)


The dvar-prefixed predicates work on the variables,
the dom-prefixed ones on the domain structure:

[eclipse 3]:  X::1..5, dvar_remove_element(X,1).

X = X{[2..5]}
Yes (0.00s cpu)


-- Joachim