| 73 | |
| 74 | template<class VA, class VB, bool tiebreak> |
| 75 | forceinline |
| 76 | ArgMax<VA,VB,tiebreak>::ArgMax(Space& home, ArgMax<VA,VB,tiebreak>& p) |
| 77 | : Propagator(home,p) { |
| 78 | x.update(home,p.x); |
| 79 | y.update(home,p.y); |
| 80 | } |
| 81 | |
| 82 | template<class VA, class VB, bool tiebreak> |
| 83 | Actor* |