| 3603 | } |
| 3604 | |
| 3605 | forceinline ExecStatus |
| 3606 | Space::ES_FIX_PARTIAL(Propagator& p, const ModEventDelta& med) { |
| 3607 | p.u.med = med; |
| 3608 | assert(p.u.med != 0); |
| 3609 | return ES_PARTIAL_; |
| 3610 | } |
| 3611 | |
| 3612 | forceinline ExecStatus |
| 3613 | Space::ES_NOFIX_PARTIAL(Propagator& p, const ModEventDelta& med) { |