Esempi in C# (CSharp) per Microsoft.Boogie.VCExprAST InstantiationSourceChecker.VisitImplementation

Esempio n. 1

File: QuantifierInstantiationEngine.cs Progetto: kbansal/boogie

        public static bool HasInstantiationSources(Implementation impl)
        {
            var instanceChecker = new InstantiationSourceChecker();

            instanceChecker.VisitImplementation(impl);
            return(instanceChecker.hasInstances);
        }