C# (CSharp) Microsoft.Boogie ParserZ3の例

コード例 #1

ファイル: Model.cs プロジェクト: himanshu8958/opness

        public static List <Model> ParseModels(System.IO.TextReader rd)
        {
            ModelParser p = new ParserZ3();

            p.rd = rd;
            p.Run();
            return(p.resModels);
        }

コード例 #2

ファイル: Model.cs プロジェクト: luckysunda/hice-dt

        public static List <Model> ParseModels(System.IO.TextReader rd, string prover)
        {
            ModelParser p;

            switch (prover)
            {
            case "SMTLIB2":
                p = new ParserSMT();
                break;

            default:
                p = new ParserZ3();
                break;
            }

            p.rd = rd;
            p.Run();

            return(p.resModels);
        }

コード例 #3

ファイル: Model.cs プロジェクト: qunyanm/boogie

 public static List<Model> ParseModels(System.IO.TextReader rd)
 {
   ModelParser p = new ParserZ3();
   p.rd = rd;
   p.Run();
   return p.resModels;
 }

コード例 #4

ファイル: Model.cs プロジェクト: Chenguang-Zhu/ICE-C5

        public static List<Model> ParseModels(System.IO.TextReader rd, string prover)
        {
            ModelParser p;

              switch (prover)
              {
            case "SMTLIB2":
              p = new ParserSMT();
              break;
            default:
              p = new ParserZ3();
              break;
              }

              p.rd = rd;
              p.Run();

              return p.resModels;
        }