Generated on Sat Feb 7 2015 02:01:39 for Gecode by doxygen 1.8.9.1
Gecode::BrancherHandle Class Reference

Handle for brancher. More...

#include <core.hpp>

Public Member Functions

 BrancherHandle (void)
 Create handle as unitialized. More...
 
 BrancherHandle (const Brancher &b)
 Create handle for brancher b. More...
 
void update (Space &home, bool share, BrancherHandle &bh)
 Update during cloning. More...
 
unsigned int id (void) const
 Return brancher id. More...
 
bool operator() (const Space &home) const
 Check whether brancher is still active. More...
 
void kill (Space &home)
 Kill the brancher. More...
 

Detailed Description

Handle for brancher.

Supports few operations on a brancher, in particular to kill a brancher.

Definition at line 1157 of file core.hpp.

Constructor & Destructor Documentation

Gecode::BrancherHandle::BrancherHandle ( void  )
inline

Create handle as unitialized.

Definition at line 3080 of file core.hpp.

Gecode::BrancherHandle::BrancherHandle ( const Brancher b)
inline

Create handle for brancher b.

Definition at line 3083 of file core.hpp.

Member Function Documentation

void Gecode::BrancherHandle::update ( Space home,
bool  share,
BrancherHandle bh 
)
inline

Update during cloning.

Definition at line 3086 of file core.hpp.

unsigned int Gecode::BrancherHandle::id ( void  ) const
inline

Return brancher id.

Definition at line 3090 of file core.hpp.

bool Gecode::BrancherHandle::operator() ( const Space home) const
inline

Check whether brancher is still active.

Definition at line 3094 of file core.hpp.

void Gecode::BrancherHandle::kill ( Space home)
inline

Kill the brancher.

Definition at line 3098 of file core.hpp.


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