public void setOutputFileName(string outputFileName) { libsbmlPINVOKE.SBMLExternalValidator_setOutputFileName(swigCPtr, outputFileName); }