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

Method unmark

gecode/kernel/branch/chb.hpp:225–229  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

223 }
224 template<class View>
225 forceinline void
226 CHB::Recorder<View>::Idx::unmark(void) {
227 assert(marked());
228 _info -= 1;
229 }
230 template<class View>
231 forceinline int
232 CHB::Recorder<View>::Idx::idx(void) const {

Callers 1

propagateMethod · 0.80

Calls 1

markedFunction · 0.85

Tested by

no test coverage detected