C# (CSharp) GPUVerify CheckForQuantifiersの例

コード例 #1

ファイル: Visitors.cs プロジェクト: Robinping/gpuverify

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

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

コード例 #2

ファイル: KernelAnalyser.cs プロジェクト: 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));
 }