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); \ }