Generated on Tue Apr 18 10:23:15 2017 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 741 of file core.hpp.


Constructor & Destructor Documentation

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

Construct with predefined group id gid0.

Definition at line 4998 of file core.hpp.

Gecode::Group::Group ( void   ) 

Constructor.

Definition at line 884 of file core.cpp.

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

Copy constructor.

Definition at line 5011 of file core.hpp.


Member Function Documentation

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

Assignment operator.

Definition at line 5014 of file core.hpp.

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

Return a unique id for the group.

Definition at line 5019 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 5001 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 5006 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 750 of file core.hpp.

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

Pre-defined default group id.

Definition at line 752 of file core.hpp.

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

The maximal group number.

Definition at line 754 of file core.hpp.

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

The group id.

Definition at line 756 of file core.hpp.

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

Next group id.

Definition at line 759 of file core.hpp.

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

Mutex for protection.

Definition at line 762 of file core.hpp.

Group of all actors.

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

Definition at line 784 of file core.hpp.

Group of actors not in any user-defined group.

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

Definition at line 787 of file core.hpp.


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