Microsoft.Fast.Function.GenerateZ3ExprFromExpr C# (CSharp) Méthode

        public Expr GenerateZ3ExprFromExpr(FExp expr, FastTransducerInstance fti)
        {
            switch (expr.kind)
            {
                case (FExpKind.App):
                    return GenerateZ3Expr((AppExp)expr, fti);
                case (FExpKind.Value):
                    return GenerateZ3Expr((Value)expr, fti);
                case (FExpKind.Var):
                    return GenerateZ3Expr((Variable)expr, fti);
            }
            return null;
        }