[gecode-users] POsting boolean clauses

[Jérémie Vautard]

Hi !

Is it possible to simply post a propagator for disjunction of n boolean 
variables ? I only found the method :

void Gecode::bool_or 
<http://www.gecode.org/gecode-doc-latest/group__TaskIntIntBool.html#g8eb933148737bb8afb482e3f566c66b1> 
(Space *home, const BoolVarArgs &b, BoolVar c, IntConLevel 
<http://www.gecode.org/gecode-doc-latest/group__TaskIntInt.html#ga3e79a3496160feae2fd790c9379a319>=ICL_DEF)

in the documentation, but if I could do the same without having to 
create an extra variable already reduced to 1 to use as the c argument, 
it would be great !


Cheers,
Jérémie Vautard