https://github.com/bouraqadi/BackTalkNG/pull/1
On 06-11-2020 17:34, Noury Bouraqadi wrote:
Thanx Stefan for the fix.
Since there's some interest in this, I've migrated the code to GitHub
and added a baseline.
So, Stefan you can add your fix and make a PR :-)
Noury
On Nov 6 2020, at 3:58 pm, Stéphane Ducasse
<stephane.duca...@inria.fr> wrote:
Hi stephan did you publish the code?
On 6 Nov 2020, at 15:12, stephan <step...@stack.nl
<mailto:step...@stack.nl>> wrote:
Replacing BTNGVariable>>#nextValue by
nextValue
| nextValue |
self currentValue
ifNotNil: [valuesToExplore remove: self currentValue].
nextValue := self valuesToExplore ifEmpty: [ nil ]
ifNotEmpty: [self valuesToExplore anyOne].
self currentValue: nextValue.
^ nextValue
returning nil instead of self when there are no more new values
makes the tests pass in BackTalkNG-Noury.20.mcz (Pharo 9)
That version looks like it is work in progress but has one working
solver.
Stephan
--------------------------------------------
Stéphane Ducasse
http://stephane.ducasse.free.fr / http://www.pharo.org
03 59 35 87 52
Assistant: Aurore Dalle
FAX 03 59 57 78 50
TEL 03 59 35 86 16
S. Ducasse - Inria
40, avenue Halley,
Parc Scientifique de la Haute Borne, Bât.A, Park Plaza
Villeneuve d'Ascq 59650
France
