Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/Gecode/gecode
/ prune
Method
prune
gecode/set/branch/ngl.cpp:51–54 ·
view source on GitHub ↗
Source
from the content-addressed store, hash-verified
49
return x.notContains(n) ? NGL::FAILED : NGL::NONE;
50
}
51
ExecStatus
52
IncNGL::prune(Space& home) {
53
return me_failed(x.exclude(home,n)) ? ES_FAILED : ES_OK;
54
}
55
56
57
NGL*
Callers
nothing calls this directly
Calls
3
me_failed
Function · 0.85
exclude
Method · 0.45
include
Method · 0.45
Tested by
no test coverage detected