post-nocompl-cvc.cpp File Reference
#include <gecode/set.hh>
#include <gecode/set/rel-op.hh>
Go to the source code of this file.
Namespaces | |
namespace | Gecode |
Gecode toplevel namespace | |
namespace | Gecode::Set |
Finite integer sets. | |
namespace | Gecode::Set::RelOp |
Standard set operation propagators. | |
Functions | |
void | Gecode::Set::RelOp::post_nocompl (Home home, ConstSetView x, SetOpType op, SetView y, SetRelType r, ConstSetView z) |