C# (CSharp) GPUVerify AsymmetricExpressionFinder.Visit 예제들

예제 #1

파일: VariableDualiser.cs 프로젝트: zeta1999/gpuverify

        private bool SkipDualiseVariable(Variable node)
        {
            var aef = new AsymmetricExpressionFinder();
            aef.Visit(node);
            if (aef.FoundAsymmetricExpr())
            {
                return true;
            }

            if (node.Name.Contains("_NOT_ACCESSED_"))
                return true;

            if (quantifiedVars.Contains(node))
                return true;

            return false;
        }

예제 #2

        private bool SkipDualiseVariable(Variable node)
        {
            var AEF = new AsymmetricExpressionFinder();

            AEF.Visit(node);
            if (AEF.foundAsymmetricExpr())
            {
                return(true);
            }
            if (node.Name.Contains("_NOT_ACCESSED_"))
            {
                return(true);
            }
            if (quantifiedVars.Contains(node))
            {
                return(true);
            }
            return(false);
        }