This release makes quite some drastic changes to how propagators and branchings are deleted: instead of using destructors they use a dispose method that allows to pass a home space during deletion (we will use this infrastructure measure to speed up cloning considerably a little later). Moreover the directory structure has changed on popular request so that all include files are to be found in a gecode subdirectory. Apart from that, some small fixes and extensions due to requests.
- Kernel
- Additions
- Spaces can be queried for number of propagators and branchings. (minor)
- Other changes
- The branch member function for branchings now also takes a home space as argument. (minor)
- Cancelling subscriptions on views and variable implementations now require also a home space (this has become possible due to not using destructors but ordinary "dispose" member functions). (major)
- Actors (propagators and branchings) do not any longer use destructors but a "dispose" member function that takes a home space as argument and must return the size of the actor. Important: this requires that dispose member functions from super-classes and class members are called explicitly! (major)
- Performance improvements
- More aggresive inlining for cancelling subscriptions. (minor)
- Search engines
- Additions
- Search engines can now be checked whether they have been stopped. (minor)
- Bug fixes
- Finite domain integers
- Bug fixes
- Fixed memory leak in global cardinality constraint. (minor)
- Fixed bug in equality tests that could lead to reified (dis)equality propagators not achieving domain consistency. (minor, thanks to Martin Mann)
- Documentation fixes
- Fixed bug in description of PC_INT_DOM. (minor, thanks to Martin Mann)
- Finite integer sets
- Bug fixes
- Fixed memory leak in finite set distinct propagator. (minor, thanks to Luis Otero)
- Example scripts
- Other changes
- Sudoku example generalized to arbitrarily sized Sudokus. (minor)
- Systematic tests
- Additions
- Added --enable-leak-debug configure option. This option causes the test suite to call mtrace() under Linux, which can be used to test for memory leaks. (minor)
- General
- Other changes
- Moved library source code into gecode subdirectory. Facilitates cleaner installation. Programs compiling against Gecode now need to include e.g. "gecode/int.hh". (major, thanks to Martin Mann)
