public void AddElement(StructureElement elt) { elts.Add (elt); }
public void AddElement (StructureElement elt) { elts.Add (elt); }