Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/Gecode/gecode
/ post
Method
post
gecode/set/rel/eq.hpp:53–58 ·
view source on GitHub ↗
Source
from the content-addressed store, hash-verified
51
52
template<class View0, class View1>
53
ExecStatus
54
Eq<View0,View1>::post(Home home, View0 x, View1 y) {
55
if (!same(x,y))
56
(void) new (home) Eq(home,x,y);
57
return ES_OK;
58
}
59
60
template<class View0, class View1>
61
Actor*
Callers
nothing calls this directly
Calls
1
same
Function · 0.70
Tested by
no test coverage detected