Gecode::ActorDeleteLink Class Reference
Inherits
Gecode::ActorLink.
Inherited by Gecode::Actor [private]
.
List of all members.
Detailed Description
Double-linked list for deleting actors.
Used for actors that must be deleted (forced deletion) when a space is deleted (even if the space is failed).
The reason why it is not conjoined with ActorLink is that the array of propagator queues just need the normal linkage, but not the linkage for deletion.
Definition at line 384 of file core.icc.
Member Function Documentation
ActorDeleteLink * Gecode::ActorDeleteLink::next_delete |
( |
void |
|
) |
const [inline] |
|
ActorDeleteLink * Gecode::ActorDeleteLink::prev_delete |
( |
void |
|
) |
const [inline] |
|
void Gecode::ActorDeleteLink::init_delete |
( |
void |
|
) |
[inline] |
|
|
Initialize links (self-linked).
Definition at line 1117 of file core.icc. |
void Gecode::ActorDeleteLink::unlink_delete |
( |
void |
|
) |
[inline] |
|
void Gecode::ActorDeleteLink::insert_delete |
( |
ActorDeleteLink * |
, |
|
|
bool |
|
|
) |
[inline] |
|
The documentation for this class was generated from the following file: