Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/Gecode/gecode
/ sync
Method
sync
gecode/int/distinct/dom-ctrl.hpp:60–64 ·
view source on GitHub ↗
Source
from the content-addressed store, hash-verified
58
59
template<class View>
60
ExecStatus
61
DomCtrl<View>::sync(void) {
62
g.purge();
63
return g.sync() ? ES_OK : ES_FAILED;
64
}
65
66
template<class View>
67
ExecStatus
Callers
nothing calls this directly
Calls
1
purge
Method · 0.45
Tested by
no test coverage detected