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

Method bump

gecode/kernel/branch/chb.hpp:284–290  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

282 }
283 }
284 forceinline void
285 CHB::Storage::bump(void) {
286 nf++;
287 if (alpha > Kernel::Config::chb_alpha_limit) {
288 alpha -= Kernel::Config::chb_alpha_decrement;
289 }
290 }
291 forceinline void
292 CHB::Storage::update(int i, bool failed) {
293 if (failed) {

Callers 1

propagateMethod · 0.80

Calls

no outgoing calls

Tested by

no test coverage detected