[gecode-users] BoolExpr example

[Christian Schulte]

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: users-bounces at gecode.org [mailto:users-bounces at gecode.org] 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 <malcolmr at cse.unsw.edu.au>
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
users at gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users