Generated on Thu Jul 6 07:06:59 2006 for Gecode by doxygen 1.4.7

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 373 of file core.icc.

Public Member Functions

ActorDeleteLinknext_delete (void) const
void next_delete (ActorDeleteLink *)
ActorDeleteLinkprev_delete (void) const
void prev_delete (ActorDeleteLink *)
void init_delete (void)
 Initialize links (self-linked).
void unlink_delete (void)
void insert_delete (ActorDeleteLink *, bool)


Member Function Documentation

ActorDeleteLink * Gecode::ActorDeleteLink::next_delete ( void   )  const [inline]

Definition at line 1012 of file core.icc.

void Gecode::ActorDeleteLink::next_delete ( ActorDeleteLink  )  [inline]

Definition at line 1016 of file core.icc.

ActorDeleteLink * Gecode::ActorDeleteLink::prev_delete ( void   )  const [inline]

Definition at line 1014 of file core.icc.

void Gecode::ActorDeleteLink::prev_delete ( ActorDeleteLink  )  [inline]

Definition at line 1018 of file core.icc.

void Gecode::ActorDeleteLink::init_delete ( void   )  [inline]

Initialize links (self-linked).

Definition at line 1041 of file core.icc.

void Gecode::ActorDeleteLink::unlink_delete ( void   )  [inline]

Definition at line 1021 of file core.icc.

void Gecode::ActorDeleteLink::insert_delete ( ActorDeleteLink ,
bool   
) [inline]

Definition at line 1028 of file core.icc.


The documentation for this class was generated from the following file: