Esempi in C# (CSharp) per Microsoft.Boogie BinderExpr.EqualWithAttributesAndTriggers

Esempio n. 1

        bool IEqualityComparer <Expr> .Equals(Expr x, Expr y)
        {
            var nx = deBruijn.Rename(x);
            var ny = deBruijn.Rename(y);

            return(BinderExpr.EqualWithAttributesAndTriggers(nx, ny));
        }