|
| ReEq (Space &home, bool share, ReEq &p) |
| Constructor for cloning p. More...
|
|
| ReLin (Space &home, bool share, ReLin &p) |
| Constructor for cloning p. More...
|
|
| ReLin (Home home, ViewArray< P > &x, ViewArray< N > &y, Val c, Ctrl b) |
| Constructor for creation. More...
|
|
| Lin (Space &home, bool share, Lin< Val, P, N, pc > &p) |
| Constructor for cloning p. More...
|
|
| Lin (Home home, ViewArray< P > &x, ViewArray< N > &y, Val c) |
| Constructor for creation. More...
|
|
| Propagator (Home home) |
| Constructor for posting. More...
|
|
| Propagator (Space &home, bool share, Propagator &p) |
| Constructor for cloning p. More...
|
|
Propagator * | fwd (void) const |
| Return forwarding pointer during copying. More...
|
|
|
Ctrl | b |
| Control view for reification. More...
|
|
ViewArray< P > | x |
| Array of positive views. More...
|
|
ViewArray< N > | y |
| Array of negative views. More...
|
|
Val | c |
| Constant value. More...
|
|
template<class Val , class View > |
void | bounds_p (ModEventDelta med, ViewArray< View > &x, Val &c, Val &sl, Val &su) |
| Compute bounds information for positive views. More...
|
|
template<class Val , class View > |
void | bounds_n (ModEventDelta med, ViewArray< View > &y, Val &c, Val &sl, Val &su) |
| Compute bounds information for negative views. More...
|
|
template<class Val, class P, class N, class Ctrl, ReifyMode rm>
class Gecode::Int::Linear::ReEq< Val, P, N, Ctrl, rm >
Propagator for reified bounds consistent n-ary linear equality
The type Val can be either long
long int or int
, defining the numerical precision during propagation. The types P and N give the types of the views.
The propagation condition pc refers to both views.
Requires
Definition at line 641 of file linear.hh.