MCPcopy Create free account
hub / github.com/Gecode/gecode / ExecStatus prop_val

Function ExecStatus prop_val

gecode/int/channel/val.hpp:168–174  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

166 // Just do a test whether a call to the routine is necessary
167 template<class View, class Offset, class Info>
168 forceinline ExecStatus
169 prop_val(Space& home, int n, Info* x, Offset& ox, Info* y, Offset& oy,
170 int& n_na, ProcessStack& xa, ProcessStack& ya) {
171 if (xa.empty())
172 return ES_OK;
173 return doprop_val<View,Offset,Info>(home,n,x,ox,y,oy,n_na,xa,ya);
174 }
175
176 /*
177 * The actual propagator

Callers

nothing calls this directly

Calls 1

emptyMethod · 0.45

Tested by

no test coverage detected