| 101 | */ |
| 102 | template<class View> |
| 103 | forceinline void |
| 104 | post_nary(Home home, |
| 105 | ViewArray<View>& x, ViewArray<View>& y, FloatRelType frt, |
| 106 | FloatVal c) { |
| 107 | switch (frt) { |
| 108 | case FRT_EQ: |
| 109 | GECODE_ES_FAIL((Eq<View,View >::post(home,x,y,c))); |
| 110 | break; |
| 111 | case FRT_LQ: |
| 112 | GECODE_ES_FAIL((Lq<View,View >::post(home,x,y,c))); |
| 113 | break; |
| 114 | default: GECODE_NEVER; |
| 115 | } |
| 116 | } |
| 117 | |
| 118 | void |
| 119 | dopost(Home home, Term* t, int n, FloatRelType frt, FloatVal c) { |