Generated on Fri Oct 19 11:25:49 2018 for Gecode by doxygen 1.6.3

Gecode::Group Class Reference
[Propagator and brancher groups]

Group baseclass for controlling actors. More...

#include <core.hpp>

List of all members.

Static Public Attributes

static Group all
 Group of all actors.
static Group def
 Group of actors not in any user-defined group.

Protected Member Functions

 Group (unsigned int gid0)
 Construct with predefined group id gid0.

Protected Attributes

unsigned int gid
 The group id.

Static Protected Attributes

static const unsigned int GROUPID_ALL = 0U
 Fake id for group of all actors.
static const unsigned int GROUPID_DEF = 1U
 Pre-defined default group id.
static const unsigned int GROUPID_MAX = UINT_MAX >> 2
 The maximal group number.
static unsigned int next = GROUPID_DEF+1
 Next group id.
static Support::Mutex m
 Mutex for protection.

Construction and access



 Group (void)
 Constructor.
 Group (const Group &g)
 Copy constructor.
Groupoperator= (const Group &g)
 Assignment operator.
unsigned int id (void) const
 Return a unique id for the group.
bool in (Group a) const
 Check whether actor group a is included in this group.
bool in (void) const
 Check whether this is a real group (and not just default).

Detailed Description

Group baseclass for controlling actors.

Definition at line 672 of file core.hpp.


Constructor & Destructor Documentation

Gecode::Group::Group ( unsigned int  gid0  )  [inline, protected]

Construct with predefined group id gid0.

Definition at line 4880 of file core.hpp.

Gecode::Group::Group ( void   ) 

Constructor.

Definition at line 893 of file core.cpp.

Gecode::Group::Group ( const Group g  )  [inline]

Copy constructor.

Definition at line 4893 of file core.hpp.


Member Function Documentation

Group & Gecode::Group::operator= ( const Group g  )  [inline]

Assignment operator.

Definition at line 4896 of file core.hpp.

unsigned int Gecode::Group::id ( void   )  const [inline]

Return a unique id for the group.

Definition at line 4901 of file core.hpp.

bool Gecode::Group::in ( Group  a  )  const [inline]

Check whether actor group a is included in this group.

Definition at line 4883 of file core.hpp.

bool Gecode::Group::in ( void   )  const [inline]

Check whether this is a real group (and not just default).

Definition at line 4888 of file core.hpp.


Member Data Documentation

const unsigned int Gecode::Group::GROUPID_ALL = 0U [static, protected]

Fake id for group of all actors.

Definition at line 681 of file core.hpp.

const unsigned int Gecode::Group::GROUPID_DEF = 1U [static, protected]

Pre-defined default group id.

Definition at line 683 of file core.hpp.

const unsigned int Gecode::Group::GROUPID_MAX = UINT_MAX >> 2 [static, protected]

The maximal group number.

Definition at line 685 of file core.hpp.

unsigned int Gecode::Group::gid [protected]

The group id.

Definition at line 687 of file core.hpp.

unsigned int Gecode::Group::next = GROUPID_DEF+1 [static, protected]

Next group id.

Definition at line 690 of file core.hpp.

Support::Mutex Gecode::Group::m [static, protected]

Mutex for protection.

Definition at line 693 of file core.hpp.

Group of all actors.

Reimplemented in Gecode::PropagatorGroup, and Gecode::BrancherGroup.

Definition at line 715 of file core.hpp.

Group of actors not in any user-defined group.

Reimplemented in Gecode::PropagatorGroup, and Gecode::BrancherGroup.

Definition at line 718 of file core.hpp.


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