Esempi in C# (CSharp) per Microsoft.Dafny.Tacny.Expr TacticAppExprFinder

Esempio n. 1

        public static ApplySuffix GetTacticAppExpr(ProofState ps, Expression expr)
        {
            var finder = new TacticAppExprFinder(ps);

            finder.CloneExpr(expr);
            return(finder._aps);
        }

Esempio n. 2

        public static ApplySuffix GetTacticAppExpr(ProofState ps, Statement stmt)
        {
            var finder = new TacticAppExprFinder(ps);

            finder.CloneStmt(stmt);
            return(finder._aps);
        }