Searched refs:right_hand_side_ (Results 1 – 1 of 1) sorted by relevance
147 : right_hand_side_(std::move(right_hand_side)), action_(action) {} in right_hand_side_() function153 const std::vector<Symbol*>& right() const { return right_hand_side_; } in right()165 std::vector<Symbol*> right_hand_side_; variable