34 #ifndef __GECODE_SEARCH_NOGOODS_HH__
35 #define __GECODE_SEARCH_NOGOODS_HH__
39 namespace 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.
void post(Home home, Term *t, int n, FloatRelType frt, FloatVal c)
Post propagator for linear constraint over floats.
int ModEventDelta
Modification event deltas.
ExecStatus prune(Space &home, ViewArray< VX > &x, ConstIntView)
void cancel(Space &home, Propagator &p, IntSet &y)
void subscribe(Space &home, Propagator &p, IntSet &y)
void reschedule(Space &home, Propagator &p, IntSet &y)
#define GECODE_SEARCH_EXPORT
#define GECODE_VTABLE_EXPORT