public static string formulaToString(ASTNode tree) { string ret = libsbmlPINVOKE.formulaToString(ASTNode.getCPtr(tree)); return ret; }