| 1071 | } |
| 1072 | |
| 1073 | std::vector<Operator*> Driver::operators() const { |
| 1074 | std::vector<Operator*> operators; |
| 1075 | operators.reserve(operators_.size()); |
| 1076 | for (auto& op : operators_) { |
| 1077 | operators.push_back(op.get()); |
| 1078 | } |
| 1079 | return operators; |
| 1080 | } |
| 1081 | |
| 1082 | std::string Driver::toString() const { |
| 1083 | std::stringstream out; |