Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/Gecode/gecode
/ doval
Method
doval
gecode/int/channel/dom.hpp:90–93 ·
view source on GitHub ↗
Source
from the content-addressed store, hash-verified
88
89
template<class View, class Offset>
90
forceinline bool
91
DomInfo<View,Offset>::doval(void) const {
92
return (size != 1) && view.assigned();
93
}
94
95
template<class View, class Offset>
96
forceinline bool
Callers
1
propagate
Method · 0.45
Calls
1
assigned
Method · 0.45
Tested by
no test coverage detected