Searched refs:update_in_transition (Results 1 – 1 of 1) sorted by relevance
643 UpdateInTransition const& update_in_transition);1046 UpdateInTransition const& update_in_transition) { in Transition() argument1076 update_in_transition(var_table.value(), var_index.value()); in Transition()