* Space * */
| 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) { |