Lines Matching defs:after

62                                LastModification *after) override;
67                                     LastModification *after) override;
73                                             LastModification *after) override;
87     Operation *op, const LastModification &before, LastModification *after) {
92     setToEntryState(after);
111       setToEntryState(after);
132   ChangeResult result = after->join(before);
136       setToEntryState(after);
144     result |= after->set(value, op);
146   propagateIfChanged(after, result);
152     const LastModification &before, LastModification *after) {
168     ChangeResult result = after->join(before);
170       result |= after->set(operand, call);
171     return propagateIfChanged(after, result);
179     (void)visitOperation(call, before, after);
183       call, action, before, after);
189     LastModification *after) {
192         branch, regionFrom, regionTo, before, after);
199               (void)visitOperation(branch, before, after);