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
