Function assigned

gecode/int/precede/single.hpp:42–45 · view source on GitHub ↗

Source from the content-addressed store, hash-verified

40	/// Whether \a x is assigned to value \a v
41	template<class View>
42	forceinline bool
43	assigned(View x, int v) {
44	return x.assigned() && (x.val() == v);
45	}
46
47	template<class View>
48	forceinline

rndvarMethod · 0.85

valMethod · 0.85

subscribeMethod · 0.85

rescheduleMethod · 0.85

intersectMethod · 0.85

intersectIMethod · 0.85

includeIMethod · 0.85

excludeIMethod · 0.85

subscribeMethod · 0.85

rescheduleMethod · 0.85

gqMethod · 0.85

lqMethod · 0.85

assignedMethod · 0.45

valMethod · 0.45

no test coverage detected