- Transform trans = Transform::rotation(-rotation, Vector(0, 0, 1));
- Vector local_start = trans.transform(start-position);
- Vector local_ray = trans.transform(ray);
-
- float width = layout.get_catalogue().get_ballast_profile().get_width();
+ if(find(attachments.begin(), attachments.end(), &a)!=attachments.end())
+ throw key_error(&a);
+ attachments.push_back(&a);
+}