[eclipse-users] Domain intersection in lib(ic)

Hi,

I'm trying to figure out what would be the best way to
do the equivalent of lib(fd)'s dom_intersection/4 in lib(ic).
Say I want the domain of X to become itself intersected
with the domain of Y (I'm implementing a constraint propagator).

I thought of using is_in_domain/2 and exclude/2 from lib(ic_kernel) like this:

1) get_domain_as_list(X,Lx)
2) for each element E in Lx, if not is_in_domain(Y,E), exclude(X,E).

Does this look like a good approach?

Thank you!
Tallys