| 173 | |
| 174 | template<class A, class B> |
| 175 | ExecStatus |
| 176 | Tan<A,B>::propagate(Space& home, const ModEventDelta&) { |
| 177 | GECODE_ES_CHECK(dopropagate(home,x0,x1)); |
| 178 | return (x0.assigned()) ? home.ES_SUBSUMED(*this) : ES_FIX; |
| 179 | } |
| 180 | |
| 181 | /* |
| 182 | * Bounds consistent arc tangent operator |