core.cpp File Reference

#include <gecode/kernel.hh>

Go to the source code of this file.

Namespaces
namespace	Gecode
	Gecode toplevel namespace
Defines
#define	GECODE_STATUS_TRACE(q, s)

---

Define Documentation

#define GECODE_STATUS_TRACE	(	q,
		s		)

Value:

if ((tr != NULL) && (tr->events() & TE_PROPAGATE) && \
      (tr->filter()(p->group()))) {                    \
    PropagateTraceInfo pti(p->id(),p->group(),q,       \
                           PropagateTraceInfo::s);     \
    tr->tracer()._propagate(*this,pti);                \
  }