Hi! I think we should revive the range iterators for model variables: if you want to implement an explorer (say in Alice or Java), you need to be able to inspect the domains of variables in choice nodes. Cheers, Guido -- Guido Tack Programming Systems Lab, Saarland University, Saarbrücken http://www.ps.uni-sb.de/~tack