Modified spaces in order to reflect the branches (alternatives) when distributable.
Now the GecodeSpace is cloned whenever the mozart space is cloned.
Still missing the N in alternatives(N) when calling askSpace from the OPI.
Modified checkStability of space to reflect the gecode space alternatives.
This is a temporal workaround in order to implement search engines.
It is neccesary to implement a distributor allocated in the mozart heap.
Changed unsigned int to nativeint.
When using unsigned int the compilation throws a segmentation fault.
Changes to allow commit in a gecodespace.
- Changed copy constructor method of space: clone the gecodespace instead of new copy.
- The number of alternatives in a space is created by Gecode::Choice.
- Propagation in gecodespace is executed *every thime* the builtin askSpace is executed.
Merge branch 'css' into space
Once a gecodespace is cloned, manually update all variables.
When cloning mozart spaces execute clone method from gecodespace.
There is no need to copy the variables manually, the copy constructor does the job.