C# (CSharp) UniformExpressionAnalysisVisitor.VisitExpr 예제들

예제 #1

파일: UniformityAnalyser.cs 프로젝트: 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());
        }

예제 #2

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

예제 #3

파일: UniformityAnalyser.cs 프로젝트: 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();
        }

예제 #4

파일: UniformityAnalyser.cs 프로젝트: Chenguang-Zhu/ICE-C5

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