| 45 | |
| 46 | template<class ManTask, class PL> |
| 47 | forceinline ExecStatus |
| 48 | ManProp<ManTask,PL>::post(Home home, TaskArray<ManTask>& t) { |
| 49 | if (t.size() > 1) |
| 50 | (void) new (home) ManProp<ManTask,PL>(home,t); |
| 51 | return ES_OK; |
| 52 | } |
| 53 | |
| 54 | template<class ManTask, class PL> |
| 55 | Actor* |