Boolean less propagator.
More...
#include <bool.hh>
List of all members.
Static Public Member Functions |
static ExecStatus | post (Home home, BV b0, BV b1) |
| Post propagator .
|
Detailed Description
template<class BV>
class Gecode::Int::Bool::Le< BV >
Boolean less propagator.
Requires
Definition at line 223 of file bool.hh.
Member Function Documentation
Post propagator
.
Definition at line 232 of file lq.hpp.
The documentation for this class was generated from the following files: