34#ifndef __GECODE_SEARCH_NOGOODS_HH__
35#define __GECODE_SEARCH_NOGOODS_HH__
39namespace Gecode {
namespace Search {
88 virtual size_t dispose(
Space& home);
int p
Number of positive literals for node type.
Base-class for both propagators and branchers.
No-good literal recorded during search.
Status
The status of a no-good literal.
Base-class for propagators.
unsigned int n
Number of no-good literals with subscriptions.
NGL * root
Root of no-good literal tree.
Class for a sentinel no-good literal.
int ModEventDelta
Modification event deltas.
void cancel(Space &home, Propagator &p, VY y)
Cancel propagator p for view y.
ExecStatus prune(Home home, ViewArray< VX > &x, VX y)
Prune that y is the union of x.
void subscribe(Space &home, Propagator &p, VY y)
Subscribe propagator p to view y.
void reschedule(Space &home, Propagator &p, VY y)
Schedule propagator p for view y.
Gecode toplevel namespace
TFE post(PropagatorGroup g)
Only post functions (but not propagators) from g are considered.
#define GECODE_SEARCH_EXPORT
#define GECODE_VTABLE_EXPORT