Boolean less propagator. More...
#include <bool.hh>
Boolean less propagator.
Requires
Definition at line 223 of file bool.hh.
Post propagator .
Definition at line 228 of file lq.hpp.