Exemplo n.º 1
0
        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);
        }
Exemplo n.º 2
0
        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;
        }