Program.cs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58

using System;
using System.Collections.Generic;
using System.Text;
using System.Windows.Forms;

namespace BCDD
{
    class Program
    {
        [STAThread]
        static void Main(string[] args)
        {
            OpenFileDialog fd = new OpenFileDialog();
            fd.Multiselect = true;
            if (fd.ShowDialog() == DialogResult.OK)
            {
                foreach (String filename in fd.FileNames)
                {
                    Console.WriteLine("Analyzing " + filename);
                    PBNFile file = new PBNFile(filename);
                    foreach (PBNBoard board in file.Boards)
                    {
                        DDTable table = new DDTable(board);
                        String boardNo;
                        try
                        {
                            boardNo = board.GetNumber();
                        }
                        catch (FieldNotFoundException)
                        {
                            boardNo = "?";
                        }
                        try
                        {
                            int[,] ddTable = table.GetDDTable();
                            if (ddTable != null)
                            {
                                Console.WriteLine("Board " + boardNo);
                                DDTable.PrintTable(ddTable);
                            }
                            else
                            {
                                Console.WriteLine("ERROR: unable to determine DD table for board " + boardNo);
                            }
                        }
                        catch (Exception e)
                        {
                            Console.WriteLine(e.Message);
                            Console.WriteLine(e.StackTrace);
                        }
                    }
                }
                Console.WriteLine("Press any key to continue...");
                Console.ReadLine();
            }
        }
    }
}