Пример #1
0
        public static bool Find(Program node)
        {
            var cfq = new CheckForQuantifiersVisitor();

            cfq.VisitProgram(node);
            return(cfq.quantifiersExist);
        }
Пример #2
0
 private static bool UsingCVC4AndQuantifiersPresent(Program program, IEnumerable <string> proverOptions)
 {
     return((proverOptions.Contains("SOLVER=cvc4") || proverOptions.Contains("SOLVER=CVC4")) &&
            proverOptions.Contains("LOGIC=QF_ALL_SUPPORTED") &&
            CheckForQuantifiersVisitor.Find(program));
 }