Method used

gecode/int/view-val-graph/edge.hpp:74–77 · view source on GitHub ↗

Source from the content-addressed store, hash-verified

72
73	template<class View>
74	forceinline bool
75	Edge<View>::used(Node<View>* v) const {
76	return sd.is_set() \|\| (v->comp == sd.ptr(v)->comp);
77	}
78	template<class View>
79	forceinline void
80	Edge<View>::use(void) {

iter-prune-val.hppFile · 0.45

operator ++Method · 0.45

valMethod · 0.45

is_setMethod · 0.80

ptrMethod · 0.80

no test coverage detected