Esempio n. 1
0
        public static HashSet <string> GetSignatureFromParagraph(Paragraph stmt)
        {
            var ser = new CogniPy.CNL.DL.Serializer();

            ser.Serialize(stmt);
            return(ser.GetSignature());
        }
Esempio n. 2
0
        public static HashSet <string> GetSignatureFromStatement(Statement stmt)
        {
            if (stmt is CodeStatement)
            {
                return new HashSet <string>()
                       {
                           "∀"
                       }
            }
            ;
            else
            {
                var ser = new CogniPy.CNL.DL.Serializer();

                ser.Serialize(stmt);
                return(ser.GetSignature());
            }
        }
Esempio n. 3
0
        public static string MakeExpressionFromStatement(Statement stmt)
        {
            var ser = new CogniPy.CNL.DL.Serializer();

            return(ser.Serialize(stmt));
        }
Esempio n. 4
0
        public static string MakeScriptFromParagraph(Paragraph ast)
        {
            var ser = new CogniPy.CNL.DL.Serializer();

            return(ser.Serialize(ast));
        }