Exemplos de GPUVerify CheckForQuantifiers em C# (CSharp)

Exemplo n.º 1

Arquivo: Visitors.cs Projeto: Robinping/gpuverify

        public static bool Found(Program node)
        {
            var cfq = new CheckForQuantifiers();

            cfq.VisitProgram(node);
            return(cfq.quantifiersExist);
        }

Exemplo n.º 2

Arquivo: KernelAnalyser.cs Projeto: Robinping/gpuverify

 private static bool UsingCVC4AndQuantifiersPresent(Program program, IEnumerable <string> ProverOptions)
 {
     return((ProverOptions.Contains("SOLVER=cvc4") ||
             ProverOptions.Contains("SOLVER=CVC4")) &&
            ProverOptions.Contains("LOGIC=QF_ALL_SUPPORTED") &&
            CheckForQuantifiers.Found(program));
 }