[gecode-users] BoolExpr example

[Mikael Zayenz Lagerkvist]

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/