Protected Member Functions |
| ReEq (Space &home, bool share, ReEq &p) |
| Constructor for cloning p.
|
| ReLin (Space &home, bool share, ReLin &p) |
| Constructor for cloning p.
|
| ReLin (Home home, ViewArray< P > &x, ViewArray< N > &y, Val c, Ctrl b) |
| Constructor for creation.
|
| Lin (Space &home, bool share, Lin< Val, P, N, pc > &p) |
| Constructor for cloning p.
|
| Lin (Home home, ViewArray< P > &x, ViewArray< N > &y, Val c) |
| Constructor for creation.
|
| Propagator (Home home) |
| Constructor for posting.
|
| Propagator (Space &home, bool share, Propagator &p) |
| Constructor for cloning p.
|
Additional Inherited Members |
Ctrl | b |
| Control view for reification.
|
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.
|
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.
|
template<class Val, class P, class N, class Ctrl>
class Gecode::Int::Linear::ReEq< Val, P, N, Ctrl >
Propagator for reified bounds consistent n-ary linear equality
The type Val can be either double
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.