MCPcopy Create free account
hub / github.com/Gecode/gecode / enqueue

Method enqueue

gecode/kernel/core.hpp:4069–4076  ·  view source on GitHub ↗

* Space * */

Source from the content-addressed store, hash-verified

4067 *
4068 */
4069 forceinline void
4070 Space::enqueue(Propagator* p) {
4071 ActorLink::cast(p)->unlink();
4072 ActorLink* c = &pc.p.queue[p->cost(*this,p->u.med).ac];
4073 c->tail(ActorLink::cast(p));
4074 if (c > pc.p.active)
4075 pc.p.active = c;
4076 }
4077
4078 forceinline void
4079 Space::fail(void) {

Callers 1

scheduleMethod · 0.80

Calls 3

tailMethod · 0.80
unlinkMethod · 0.45
costMethod · 0.45

Tested by

no test coverage detected