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

Method disable

gecode/kernel/core.hpp:3517–3521  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

3515 }
3516
3517 forceinline void
3518 Propagator::disable(Space& home) {
3519 home.pc.p.bid_sc |= Space::sc_disabled;
3520 gpi_disabled = Support::fmark(gpi_disabled);
3521 }
3522
3523 forceinline void
3524 Propagator::enable(Space& home) {

Callers

nothing calls this directly

Calls 1

fmarkFunction · 0.85

Tested by

no test coverage detected