public string getOperatorName() { string ret = libsbmlPINVOKE.ASTNode_getOperatorName(swigCPtr); return ret; }