Hi Christian, Thanks a lot for your answer. Just to clear out any confusion: this means that, in the latest version (4.2.1), all search types (including AFC) are deterministic as long as there are no non-deterministic propagators, right?
Cheers, Andre On Mon, Feb 10, 2014 at 3:23 PM, Christian Schulte <cschu...@kth.se> wrote: > Dear Andre, > > > > Now it is not deterministic when non-detrministic propagators are around. > > > > Moreover, changing the recomputation distance will also (slightly) change > the activity information recorded. > > > > Cheers > > Christian > > > > -- > > Christian Schulte, www.ict.kth.se/~cschulte/ > > > > *From:* users-boun...@gecode.org [mailto:users-boun...@gecode.org] *On > Behalf Of *Andre Augusto Cire > *Sent:* Monday, February 10, 2014 6:43 PM > *To:* users@gecode.org > *Subject:* [gecode-users] Activity-based search and nondeterministic > behaviour > > > > Dear all, > > > > I wonder if you could kindly help me with a very quick question. From a > previous forum post and the manual, we know that nonmonotonic propagators > and AFC-based search may result in a nondeterministic behaviour (post here: > https://www.mail-archive.com/users@gecode.org/msg00916.html). > > > > Just to confirm: is activity-based search deterministic? > > > > Thank you very much, > > Andre >
_______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
