| 811 | } |
| 812 | |
| 813 | IddObjectTypeVector getIddObjectTypeVector(const IddObjectVector& objects) { |
| 814 | IddObjectTypeVector result; |
| 815 | for (const IddObject& object : objects) { |
| 816 | result.push_back(object.type()); |
| 817 | } |
| 818 | return result; |
| 819 | } |
| 820 | |
| 821 | IddObjectTypeSet getIddObjectTypeSet(const IddObjectVector& objects) { |
| 822 | IddObjectTypeSet result; |