C# (CSharp) UniformExpressionAnalysisVisitor.VisitExpr Exemples

Exemple #1

Fichier : UniformityAnalyser.cs Projet : bbarenblat/debian-boogie

        public bool IsUniform(string procedureName, Expr expr)
        {
            if (!uniformityInfo.ContainsKey(procedureName))
            {
                return(false);
            }

            UniformExpressionAnalysisVisitor visitor = new UniformExpressionAnalysisVisitor(uniformityInfo[procedureName].Value);

            visitor.VisitExpr(expr);
            return(visitor.IsUniform());
        }

Exemple #2

 public bool IsUniform(string procedureName, Expr expr)
 {
     UniformExpressionAnalysisVisitor visitor = new UniformExpressionAnalysisVisitor(uniformityInfo[procedureName].Value);
     visitor.VisitExpr(expr);
     return visitor.IsUniform();
 }

Exemple #3

Fichier : UniformityAnalyser.cs Projet : qunyanm/boogie

        public bool IsUniform(string procedureName, Expr expr)
        {
            if (!uniformityInfo.ContainsKey(procedureName))
            {
                return false;
            }

            UniformExpressionAnalysisVisitor visitor = new UniformExpressionAnalysisVisitor(uniformityInfo[procedureName].Value);
            visitor.VisitExpr(expr);
            return visitor.IsUniform();
        }

Exemple #4

Fichier : UniformityAnalyser.cs Projet : Chenguang-Zhu/ICE-C5

 public bool IsUniform(string procedureName, Expr expr)
 {
     UniformExpressionAnalysisVisitor visitor = new UniformExpressionAnalysisVisitor(uniformityInfo[procedureName].Value);
     visitor.VisitExpr(expr);
     return visitor.IsUniform();
 }