public new string getElementName() { string ret = libsbmlPINVOKE.SBMLDocument_getElementName(swigCPtr); return ret; }