Group of branchers.
More...
#include <core.hpp>
List of all members.
Detailed Description
Group of branchers.
Definition at line 799 of file core.hpp.
Constructor & Destructor Documentation
Gecode::BrancherGroup::BrancherGroup |
( |
unsigned int |
gid |
) |
[inline, protected] |
Initialize with group id gid.
Definition at line 5021 of file core.hpp.
Gecode::BrancherGroup::BrancherGroup |
( |
void |
|
) |
[inline] |
Gecode::BrancherGroup::BrancherGroup |
( |
const BrancherGroup & |
g |
) |
[inline] |
Member Function Documentation
Assignment operator.
Definition at line 5029 of file core.hpp.
Home Gecode::BrancherGroup::operator() |
( |
Space & |
home |
) |
[inline] |
To augment a space argument.
Definition at line 5034 of file core.hpp.
Move branchers from group g to this group.
Definition at line 1010 of file core.cpp.
Move brancher b to this group.
Definition at line 5048 of file core.hpp.
Move brancher with id id to this group.
Throws an exception of type UnknownBrancher, if no brancher with id id exists.
Definition at line 1019 of file core.cpp.
bool Gecode::BrancherGroup::operator== |
( |
BrancherGroup |
g |
) |
const [inline] |
Test whether this group is equal to group g.
Definition at line 5039 of file core.hpp.
bool Gecode::BrancherGroup::operator!= |
( |
BrancherGroup |
g |
) |
const [inline] |
Test whether this group is different from group g.
Definition at line 5043 of file core.hpp.
unsigned int Gecode::BrancherGroup::size |
( |
Space & |
home |
) |
const |
Return number of branchers in a group.
Definition at line 1033 of file core.cpp.
void Gecode::BrancherGroup::kill |
( |
Space & |
home |
) |
|
Kill all branchers in a group.
Definition at line 1044 of file core.cpp.
Member Data Documentation
The documentation for this class was generated from the following files: