Go to the source code of this file.
◆ GECODE_STATUS_TRACE
#define GECODE_STATUS_TRACE |
( |
|
q, |
|
|
|
s |
|
) |
| |
Value:
(tr->filter()(
p->group()))) { \
PropagateTraceInfo pti(
p->id(),
p->group(),q, \
PropagateTraceInfo::s); \
tr->tracer()._propagate(*this,pti); \
}
int p
Number of positive literals for node type.
@ TE_PROPAGATE
Trace propagator executions.