public static string ToPrettyString(CatFxnType ft, Dictionary <string, string> dic) { // remove rho variables ft = ft.Clone(); ft.RemoveImplicitRhoVariables(); string s = ToPrettyString(ft.GetCons(), dic); if (ft.HasSideEffects()) { s += " ~> "; } else { s += " -> "; } s += ToPrettyString(ft.GetProd(), dic); return(s); }
public static string ToPrettyString(CatFxnType ft, Dictionary<string, string> dic) { // remove rho variables ft = ft.Clone(); ft.RemoveImplicitRhoVariables(); string s = ToPrettyString(ft.GetCons(), dic); if (ft.HasSideEffects()) s += " ~> "; else s += " -> "; s += ToPrettyString(ft.GetProd(), dic); return s; }