
Propagator for domain consistent n-ary linear equality More...
#include <linear.hh>
Public Member Functions | |
| DomEq (Home home, ViewArray< View > &x, ViewArray< View > &y, Val c) | |
| Constructor for creation. | |
| virtual Actor * | copy (Space &home) |
| Create copy during cloning. | |
| virtual PropCost | cost (const Space &home, const ModEventDelta &med) const |
| Cost function. | |
| virtual ExecStatus | propagate (Space &home, const ModEventDelta &med) |
| Perform propagation. | |
| Public Member Functions inherited from Gecode::Int::Linear::Lin< Val, View, View, PC_INT_DOM > | |
| virtual void | reschedule (Space &home) |
| Schedule function. | |
| virtual size_t | dispose (Space &home) |
| Delete propagator and return its size. | |
| ModEventDelta | modeventdelta (void) const |
| Return the modification event delta. | |
| virtual ExecStatus | advise (Space &home, Advisor &a, const Delta &d) |
| Advise function. | |
| virtual void | advise (Space &home, Advisor &a) |
| Run advisor a to be run on failure in failed space. | |
| double | afc (void) const |
| Return the accumlated failure count. | |
| unsigned int | id (void) const |
| Return propagator id. | |
| PropagatorGroup | group (void) const |
| Return group propagator belongs to. | |
| void | group (PropagatorGroup g) |
| Add propagator to group g. | |
| bool | disabled (void) const |
| Whether propagator is currently disabled. | |
| virtual | ~Actor (void) |
| To avoid warnings. | |
Static Public Member Functions | |
| static ExecStatus | post (Home home, ViewArray< View > &x, ViewArray< View > &y, Val c) |
Post propagator for ![]() | |
| static void * | operator new (size_t s, Space &home) |
| Allocate memory from space. | |
| static void | operator delete (void *p, Space &home) |
| No-op for exceptions. | |
| static void * | operator new (size_t s) |
| Not used. | |
| static void | operator delete (void *p) |
| Not used. | |
Protected Member Functions | |
| DomEq (Space &home, DomEq &p) | |
| Constructor for cloning p. | |
| Protected Member Functions inherited from Gecode::Int::Linear::Lin< Val, View, View, PC_INT_DOM > | |
| Lin (Space &home, Lin< Val, View, View, pc > &p) | |
| Constructor for cloning p. | |
| Protected Member Functions inherited from Gecode::Propagator | |
| Propagator (Home home) | |
| Constructor for posting. | |
| Propagator (Space &home, Propagator &p) | |
| Constructor for cloning p. | |
| Propagator * | fwd (void) const |
| Return forwarding pointer during copying. | |
| Kernel::GPI::Info & | gpi (void) |
| Provide access to global propagator information. | |
Additional Inherited Members | |
| Protected Attributes inherited from Gecode::Int::Linear::Lin< Val, View, View, PC_INT_DOM > | |
| ViewArray< View > | x |
| Array of positive views. | |
| ViewArray< View > | y |
| Array of negative views. | |
| Val | c |
| Constant value. | |
| Related Symbols inherited from Gecode::Int::Linear::Lin< Val, View, View, PC_INT_DOM > | |
| void | bounds_p (ModEventDelta med, ViewArray< View > &x, Val &c, Val &sl, Val &su) |
| Compute bounds information for positive views. | |
| void | bounds_n (ModEventDelta med, ViewArray< View > &y, Val &c, Val &sl, Val &su) |
| Compute bounds information for negative views. | |
Propagator for domain consistent n-ary linear equality
The type Val can be either long long int or int, defining the numerical precision during propagation. The types View give the type of the view.
Requires
Constructor for cloning p.
|
inline |
Constructor for creation.
Definition at line 355 of file int-dom.hpp.
|
virtual |
|
virtual |
Cost function.
If in stage for bounds propagation, the cost is low linear. Otherwise it is high crazy.
Reimplemented from Gecode::Int::Linear::Lin< Val, View, View, PC_INT_DOM >.
Definition at line 382 of file int-dom.hpp.
|
virtual |
|
static |
Post propagator for 
Definition at line 362 of file int-dom.hpp.