Added SetVarLike and BoolVarLike interfaces
Added CstSetVar and CstBoolVar: both interfaces and implemenation files.
Interfaces: Only interfacing isSetVarLike and isBoolVarLike methods.
Implementation: Only default creation. Also added its respective lines in GecodeSpace.
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.
Added info builtin to space module.
The builin is used to show the information of the constraint space.
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.
Modified space merge primitive {Space.merge S}
The space S is merged in the currentSpace. If those spaces have constraint spaces, then update all constraint variables of the current space with the information available in the space S.
Check whether gecodespace is not failed before cloning.
Merge branch 'setboolvar' into css
Added ConstraintSpace interface implemented by ReifiedSpace
"This is used when executing search from gecode"
Added inject builtin in the space module
This builtin is still in development, yet to be added asertions and others things.
Added dfs builtin in search module
This builtin finds one solution of a given script using depth first search from gecode.
TODO: Reflect the solution to the OPI.
Merge pull request #6 from miavisa/css

Css Space search and inject.
Added Gecode::linear propagator to fd module.
- Full support of Gecode::IntVarArgs (tuples, lists and records)
- Created function getIntArgs (parsing int arguments to Gecode::IntArgs)