-
- Downloads
Fixed: Setup::Units::Resize(n) is well-defined for n = 0.
This is relevant for the last Grounder::Ply. We create the shallow copy for the setup first and then minimize the setup, which could increase Setup::Units::n_orig_ > 0, whereas ShallowCopy::n_units_ = 0. In general, one should call ShallowCopy::Minimize() instead of Setup::Minimize(), and ShallowCopy::Minimize() doesn't Setup::Units::SealOriginalUnits(). In the special case of a ShallowCopy of an empty setup, however, Setup::Minimize() should be a safe call and now is.
Showing
- README.md 2 additions, 1 deletionREADME.md
- examples/sudoku/kb.h 5 additions, 2 deletionsexamples/sudoku/kb.h
- src/limbo/grounder.h 1 addition, 0 deletionssrc/limbo/grounder.h
- src/limbo/setup.h 4 additions, 1 deletionsrc/limbo/setup.h
- src/limbo/solver.h 0 additions, 35 deletionssrc/limbo/solver.h
- tests/kb.cc 27 additions, 27 deletionstests/kb.cc
Loading
Please register or sign in to comment