On 30 Oct 2012, at 22:30, Gustavo Gutierrez wrote: > That means that conceptually there is only one space as described in CTM. > Internally that space contains a gecode space that is in charge of constraint > propagation. It is worth to say that gecode spaces are a specialization of > "mozart spaces" that are fine tunned for constraint programming. Both of them > were designed by Christian: computation spaces in "oz-light" are the ones > proposed in his PhD thesis and have been available in Mozart since the > beginning.
If a Gecode space is nested in a single Oz space, does that mean that you meanwhile decided to have the branching done by Gecode. In other words, branching/distribution strategies cannot be defined in Oz anymore? Thanks! Best wishes, Torsten -- Dr Torsten Anders Course Leader, Music Technology University of Bedfordshire Park Square, Room A315 http://www.torsten-anders.de _________________________________________________________________________________ mozart-users mailing list mozart-users@mozart-oz.org http://www.mozart-oz.org/mailman/listinfo/mozart-users