Go to the documentation of this file.
38 namespace Gecode {
namespace Int {
namespace Circuit {
44 template<
class View,
class Offset>
49 template<
class View,
class Offset>
54 template<
class View,
class Offset>
60 template<
class View,
class Offset>
69 template<
class View,
class Offset>
72 for (
int i=
y.size();
i--; )
80 template<
class View,
class Offset>
109 for (
int i=
y.size();
i--; )
116 template<
class View,
class Offset>
126 for (
int i=
n;
i--; ) {
Post propagator for SetVar x
Post propagator for SetVar SetOpType SetVar y
Converter with fixed offset.
ExecStatus ES_SUBSUMED(Propagator &p)
bool assigned(View x, int v)
Whether x is assigned to value v.
Gecode::IntArgs i(4, 1, 2, 3, 4)
static ExecStatus post(Home home, ViewArray< View > &x, Offset &o)
Post propagator for circuit on x.
static PropCost linear(PropCost::Mod m, unsigned int n)
Linear complexity for modifier pcm and size measure n.
Base-class for both propagators and branchers.
static PropCost quadratic(PropCost::Mod m, unsigned int n)
Quadratic complexity for modifier m and size measure n.
const Gecode::ModEvent ME_INT_VAL
Domain operation has resulted in a value (assigned variable)
Dom(Space &home, bool share, Dom &p)
Constructor for cloning p.
Gecode toplevel namespace
Base-class for circuit propagator.
#define GECODE_ES_CHECK(es)
Check whether execution status es is failed or subsumed, and forward failure or subsumption.
Home class for posting propagators
virtual PropCost cost(const Space &home, const ModEventDelta &med) const
Cost function.
"Domain consistent" circuit propagator
@ ES_FIX
Propagation has computed fixpoint.
void path(Home home, int offset, const IntVarArgs &x, IntVar s, IntVar e, IntPropLevel ipl)
Post propagator such that x forms a Hamiltonian path.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
virtual Actor * copy(Space &home, bool share)
Copy propagator during cloning.
#define GECODE_ME_CHECK(me)
Check whether modification event me is failed, and forward failure.
int n
Number of negative literals for node type.
ExecStatus ES_FIX_PARTIAL(Propagator &p, const ModEventDelta &med)
Propagator p has computed partial fixpoint
int ModEventDelta
Modification event deltas.
const Gecode::ModEvent ME_INT_DOM
Domain operation has changed the domain.
@ ES_OK
Execution is okay.
int p
Number of positive literals for node type.
virtual void reschedule(Space &home)
Schedule function.