main page
modules
namespaces
classes
files
Gecode home
Generated on Sat Jan 12 2019 20:58:51 for Gecode by
doxygen
1.8.13
gecode
kernel
Namespaces
|
Macros
core.cpp File Reference
#include <
gecode/kernel.hh
>
Go to the source code of this file.
Namespaces
Gecode
Gecode toplevel namespace
Macros
#define
GECODE_STATUS_TRACE
(q, s)
Macro Definition Documentation
◆
GECODE_STATUS_TRACE
#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); \
}
p
int p
Number of positive literals for node type.
Definition:
bool-expr.cpp:232
Gecode::TE_PROPAGATE
Trace propagator executions.
Definition:
recorder.hpp:50