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

Method marked

gecode/kernel/branch/chb.hpp:220–223  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

218 }
219 template<class View>
220 forceinline bool
221 CHB::Recorder<View>::Idx::marked(void) const {
222 return (_info & 1) != 0;
223 }
224 template<class View>
225 forceinline void
226 CHB::Recorder<View>::Idx::unmark(void) {

Callers 1

propagateMethod · 0.45

Calls

no outgoing calls

Tested by

no test coverage detected