Boolean less propagator. More...
#include <bool.hh>
List of all members.
Boolean less propagator.
Requires
#include <gecode/int/bool.hh>
[inline, static]
Post propagator .
Definition at line 232 of file lq.hpp.