Base class for no-overlap propagator.
More...
#include <no-overlap.hh>
Protected Member Functions |
| Base (Home home, Box *b, int n) |
| Constructor for posting with n mandatory boxes.
|
| Base (Space &home, bool share, Base< Box > &p, int m) |
| Constructor for cloning p with m boxes.
|
| Propagator (Home home) |
| Constructor for posting.
|
| Propagator (Space &home, bool share, Propagator &p) |
| Constructor for cloning p.
|
Static Protected Member Functions |
static int | partition (Box *b, int i, int n) |
| Partition n boxes b starting at position i.
|
Protected Attributes |
Box * | b |
| Boxes.
|
int | n |
| Number of mandatory boxes: b[0] ... b[n-1].
|
Detailed Description
template<class Box>
class Gecode::Int::NoOverlap::Base< Box >
Base class for no-overlap propagator.
Requires
Definition at line 230 of file no-overlap.hh.
Constructor & Destructor Documentation
Constructor for posting with n mandatory boxes.
Definition at line 42 of file base.hpp.
Constructor for cloning p with m boxes.
Definition at line 73 of file base.hpp.
Member Function Documentation
Partition n boxes b starting at position i.
Returns the number of mandatory boxes at the front of b.
Definition at line 50 of file base.hpp.
Member Data Documentation
Number of mandatory boxes: b[0] ... b[n-1].
Definition at line 235 of file no-overlap.hh.
The documentation for this class was generated from the following files: