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);
}
public _Unify(_Unify p)
{
Init(p.mArg1, p.mArg2);
}