Filip Konvička wrote:
Yes, I think I understand what a branching is in Gecode. The
non-determinism I was interested in was a "choice"-like construct. I
assumed that I could achieve that by posting a cascade of
branchings. I
thought I could install a new branching inside the preceding
branchi
Hi,
>> To be more specific, from
>> what I understand, such thing as "choice" could be done by cutting the
>> script at the points of nondeterministic statements, putting the
>> deterministic parts' bodies in the appropriate functions of some
>> branchings... (posting a new branching should be done
Hi!
> One thing that I'm not sure about is non-deterministic programming
> constructs in scripts, like Oz's "choice". I see that C++ is not going
> to help here in terms of concurrency/blocking/etc. like Oz does, so I
> think that the expressive power of scripts in Gecode is probably weaker
> than
Hi,
I have worked with Mozart previously, and I have helped my colleague to
start with Gecode/J last week - and now I want to finally start using
Gecode myself (the C++ version). Although some concepts look familiar to
me, some do not, and reading through this mailing list archive did not
answ
