Boolean less propagator. More...
#include <bool.hh>
Static Public Member Functions | |
static ExecStatus | post (Home home, BV b0, BV b1) |
Post propagator ![]() |
Boolean less propagator.
Requires
#include <gecode/int/bool.hh>
ExecStatus Gecode::Int::Bool::Le< BV >::post | ( | Home | home, |
BV | b0, | ||
BV | b1 | ||
) | [inline, static] |