示例#1
0
        private static bool ContainsAsymmetricExpression(Expr expr)
        {
            AsymmetricExpressionFinder finder = new AsymmetricExpressionFinder();

            finder.VisitExpr(expr);
            return(finder.FoundAsymmetricExpr());
        }
示例#2
0
        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;
        }