public string getNameFromType(int type) { string ret = libsbmlPINVOKE.ASTBase_getNameFromType(swigCPtr, type); return ret; }