Method propagate

gecode/float/rel/lq-le.hpp:72–77 · view source on GitHub ↗

Source from the content-addressed store, hash-verified

70
71	template<class View>
72	ExecStatus
73	Lq<View>::propagate(Space& home, const ModEventDelta&) {
74	GECODE_ME_CHECK(x0.lq(home,x1.max()));
75	GECODE_ME_CHECK(x1.gq(home,x0.min()));
76	return (x0.assigned() \|\| x1.assigned() \|\| (x0.max() <= x1.min())) ? home.ES_SUBSUMED(*this) : ES_FIX;
77	}
78
79
80	/*

nothing calls this directly

ES_SUBSUMEDMethod · 0.80

postFunction · 0.50

rtest_lqFunction · 0.50

rtest_leFunction · 0.50

lqMethod · 0.45

maxMethod · 0.45

gqMethod · 0.45

minMethod · 0.45

assignedMethod · 0.45

oneMethod · 0.45

zeroMethod · 0.45

one_noneMethod · 0.45

no test coverage detected