MCPcopy Create free account
hub / github.com/Gecode/gecode / disabled

Method disabled

gecode/kernel/core.hpp:3512–3515  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

3510 }
3511
3512 forceinline bool
3513 Propagator::disabled(void) const {
3514 return Support::marked(gpi_disabled);
3515 }
3516
3517 forceinline void
3518 Propagator::disable(Space& home) {

Callers 3

findtracerecorderMethod · 0.45
statusMethod · 0.45
afc_unshareMethod · 0.45

Calls 1

markedFunction · 0.85

Tested by

no test coverage detected