Well, that's a hard one. We have made great progress (I think we have some 40 pages) and we know what to do for the rest. And I think it might even be useful ;-)
The real problem we have right now is that the doc is for Gecode 3.0 and we are not making as much progress on Gecode 3.0 as we would like to. We might have to revise the timeline and also what will be included, we will start planning that next week (problem is: Guido hands in his PhD thesis end of this month, Mikael defends his first half of his PhD today, and I am landed with teaching two courses in parallel right now). So beginning of next year looks realistic to me, right now. Cheers Christian -- Christian Schulte, www.ict.kth.se/~cschulte/ -----Original Message----- From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf Of Mikael Zayenz Lagerkvist Sent: Friday, November 21, 2008 7:58 AM To: Malcolm Ryan Cc: gecode list Subject: Re: [gecode-users] BoolExpr example On Fri, Nov 21, 2008 at 4:13 AM, Malcolm Ryan <[EMAIL PROTECTED]> wrote: > 1) What's the difference between BoolVarArgs and BoolVarArray? BoolVarArgs is optimized for constructing temporary argument arrays to pass to constraints. BoolVarArrays are intended to be used for storing BoolVars in a Space. > 2) Could you explain in more detail what ~ does? The ~-operator takes a linear relation and reifies it (makes it a BoolExpr). > 3) Likewise, what does tt() do? It enforces that a Boolean expression should be true. There is an corresponding function ff for enforcing it to be false. > 4) Under exactly what conditions does post() create a BoolVar? When the expression posted is a BoolExpr and not a BoolRel. > 5) How's the documentation coming along? I'll leave this question for Christian. Cheers, Mikael -- Mikael Zayenz Lagerkvist, http://www.ict.kth.se/~zayenz/ _______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users _______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users
