Generated on Thu Jan 16 2025 00:00:00 for Gecode by doxygen 1.14.0

An interface for objects that can be called after a thread has terminated (after running the thread's destructor) More...

#include <thread.hpp>

Public Member Functions

virtual ~Terminator ()
 Destructor.
virtual void terminated (void)=0
 The function that is called when the thread has terminated.

Detailed Description

An interface for objects that can be called after a thread has terminated (after running the thread's destructor)

Definition at line 251 of file thread.hpp.

Constructor & Destructor Documentation

◆ ~Terminator()

virtual Gecode::Support::Terminator::~Terminator ( )
inlinevirtual

Destructor.

Definition at line 254 of file thread.hpp.

Member Function Documentation

◆ terminated()

virtual void Gecode::Support::Terminator::terminated ( void )
pure virtual

The function that is called when the thread has terminated.

Implemented in Gecode::Search::Par::Engine< Tracer >.


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