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

Method single

gecode/int/extensional/compact.hpp:429–435  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

427 }
428 template<class View, class Table>
429 forceinline bool
430 PosCompact<View,Table>::Status::single(CTAdvisor& a) const {
431 if (type() != SINGLE)
432 return false;
433 assert(type() == 0);
434 return reinterpret_cast<CTAdvisor*>(s) == &a;
435 }
436 template<class View, class Table>
437 forceinline void
438 PosCompact<View,Table>::Status::touched(CTAdvisor& a) {

Callers 1

propagateMethod · 0.80

Calls 1

typeClass · 0.85

Tested by

no test coverage detected