#include <gecode/float/bool.hh>
Go to the source code of this file.
Namespaces | |
namespace | Gecode |
Gecode toplevel namespace | |
Functions | |
void | Gecode::ite (Home home, BoolVar b, FloatVar x, FloatVar y, FloatVar z) |
Post propagator for if-then-else constraint. | |