34#ifndef __GECODE_SEARCH_NOGOODS_HH__
35#define __GECODE_SEARCH_NOGOODS_HH__
No-good literal recorded during search.
NGL(void)
Constructor for creation.
Status
The status of a no-good literal.
Base-class for propagators.
ModEventDelta med
A set of modification events (used during propagation)
Propagator(Home home)
Constructor for posting.
static ExecStatus post(Space &home, const Path &p)
Post propagator for path p.
unsigned int n
Number of no-good literals with subscriptions.
virtual size_t dispose(Space &home)
Delete propagator and return its size.
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
virtual Actor * copy(Space &home)
Perform copying during cloning.
virtual PropCost cost(const Space &home, const ModEventDelta &med) const
Const function (defined as low unary)
NoGoodsProp(Space &home, NGL *root)
Constructor for creation.
virtual void reschedule(Space &home)
Schedule function.
NGL * root
Root of no-good literal tree.
virtual NGL::Status status(const Space &home) const
Test the status of the no-good literal.
virtual ExecStatus prune(Space &home)
Propagate the negation of the no-good literal.
virtual NGL * copy(Space &home)
Create copy.
virtual void cancel(Space &home, Propagator &p)
Cancel propagator p from all views of the no-good literal.
virtual void reschedule(Space &home, Propagator &p)
Schedule propagator p for all views of the no-good literal.
virtual void subscribe(Space &home, Propagator &p)
Subscribe propagator p to all views of the no-good literal.
NoNGL(void)
Constructor for creation.
int ModEventDelta
Modification event deltas.
Gecode toplevel namespace
#define GECODE_SEARCH_EXPORT
#define GECODE_VTABLE_EXPORT