Group of branchers.
More...
#include <core.hpp>
Group of branchers.
Definition at line 796 of file core.hpp.
◆ BrancherGroup() [1/3]
Gecode::BrancherGroup::BrancherGroup |
( |
unsigned int |
gid | ) |
|
|
inlineprotected |
Initialize with group id gid.
Definition at line 4940 of file core.hpp.
◆ BrancherGroup() [2/3]
Gecode::BrancherGroup::BrancherGroup |
( |
void |
| ) |
|
|
inline |
◆ BrancherGroup() [3/3]
◆ operator=()
Assignment operator.
Definition at line 4948 of file core.hpp.
◆ operator()()
Home Gecode::BrancherGroup::operator() |
( |
Space & |
home | ) |
|
|
inline |
To augment a space argument.
Definition at line 4953 of file core.hpp.
◆ move() [1/3]
Move branchers from group g to this group.
Definition at line 981 of file core.cpp.
◆ move() [2/3]
Move brancher b to this group.
Definition at line 4967 of file core.hpp.
◆ move() [3/3]
Move brancher with id id to this group.
Throws an exception of type UnknownBrancher, if no brancher with id id exists.
Definition at line 990 of file core.cpp.
◆ operator==()
Test whether this group is equal to group g.
Definition at line 4958 of file core.hpp.
◆ operator!=()
Test whether this group is different from group g.
Definition at line 4962 of file core.hpp.
◆ size()
unsigned int Gecode::BrancherGroup::size |
( |
Space & |
home | ) |
const |
Return number of branchers in a group.
Definition at line 1004 of file core.cpp.
◆ kill()
void Gecode::BrancherGroup::kill |
( |
Space & |
home | ) |
|
Kill all branchers in a group.
Definition at line 1015 of file core.cpp.
◆ all
◆ def
Group of branchers not in any user-defined group.
Definition at line 847 of file core.hpp.
The documentation for this class was generated from the following files: