Generated on Wed Jan 4 17:49:18 2006 for Gecode by doxygen 1.4.6

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

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

Definition at line 982 of file core.icc.

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

Definition at line 980 of file core.icc.

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

Definition at line 984 of file core.icc.

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

Initialize links (self-linked).

Definition at line 1007 of file core.icc.

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

Definition at line 987 of file core.icc.

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

Definition at line 994 of file core.icc.


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