| 71 | |
| 72 | template<class View0, class View1> |
| 73 | ExecStatus |
| 74 | Nq<View0,View1>::propagate(Space& home, const ModEventDelta&) { |
| 75 | if (x0.assigned() && x1.assigned()) { |
| 76 | return overlap(x0.val(),x1.val()) ? ES_FAILED : home.ES_SUBSUMED(*this); |
| 77 | } |
| 78 | return ES_FIX; |
| 79 | } |
| 80 | |
| 81 | /* |
| 82 | * Disequality with float value |
nothing calls this directly
no test coverage detected