circuit.cc File Reference
(Revision: 4891)
#include "gecode/int/circuit.hh"
Go to the source code of this file.
Namespaces | |
namespace | Gecode |
Functions | |
void | Gecode::circuit (Space *home, const IntVarArgs &x, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF) |
Post propagator such that x forms a circuit. | |
Gecode::GECODE_REGISTER1 (Int::Circuit::Dom< Int::IntView >) | |
Gecode::GECODE_REGISTER1 (Int::Circuit::Val< Int::IntView >) |