Group of branchers.
More...
#include <core.hpp>
List of all members.
Detailed Description
Group of branchers.
Definition at line 865 of file core.hpp.
Constructor & Destructor Documentation
Gecode::BrancherGroup::BrancherGroup |
( |
unsigned int |
gid |
) |
[inline, protected] |
Initialize with group id gid.
Definition at line 5066 of file core.hpp.
Gecode::BrancherGroup::BrancherGroup |
( |
void |
|
) |
[inline] |
Gecode::BrancherGroup::BrancherGroup |
( |
const BrancherGroup & |
g |
) |
[inline] |
Member Function Documentation
Assignment operator.
Definition at line 5074 of file core.hpp.
Home Gecode::BrancherGroup::operator() |
( |
Space & |
home |
) |
[inline] |
To augment a space argument.
Definition at line 5079 of file core.hpp.
Move branchers from group g to this group.
Definition at line 972 of file core.cpp.
Move brancher b to this group.
Definition at line 5093 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 981 of file core.cpp.
bool Gecode::BrancherGroup::operator== |
( |
BrancherGroup |
g |
) |
const [inline] |
Test whether this group is equal to group g.
Definition at line 5084 of file core.hpp.
bool Gecode::BrancherGroup::operator!= |
( |
BrancherGroup |
g |
) |
const [inline] |
Test whether this group is different from group g.
Definition at line 5088 of file core.hpp.
unsigned int Gecode::BrancherGroup::size |
( |
Space & |
home |
) |
const |
Return number of branchers in a group.
Definition at line 995 of file core.cpp.
void Gecode::BrancherGroup::kill |
( |
Space & |
home |
) |
|
Kill all branchers in a group.
Definition at line 1006 of file core.cpp.
Member Data Documentation
The documentation for this class was generated from the following files: