[gecode-users] BoolExpr example
Mikael Zayenz Lagerkvist
zayenz at gmail.com
Fri Nov 21 07:57:49 CET 2008
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.
Mikael Zayenz Lagerkvist, http://www.ict.kth.se/~zayenz/
More information about the gecode-users