Ejemplo n.º 1
0
        static void WriteFile(String FileName)
        {
            String str = "";

            for (int i = 0; i < w1.Length; ++i)
            {
                _Unify u = new _Unify(w1[i], w2[i]);
                _MGU   s;
                str += (i + 1) + ". ";
                Boolean flag = u.Run(out s);
                if (flag == true)
                {
                    str += "Yes: " + s.ToString();
                }
                else
                {
                    str += "No";
                }
                str += "\n";
            }
            Console.WriteLine(str);
            _FileProcess.WriteFile(FileName, str);
        }
Ejemplo n.º 2
0
 public _Unify(_Unify p)
 {
     Init(p.mArg1, p.mArg2);
 }