//求每一个节点在二叉树的层次
public void getBTreeLevel(FinalNode1 node)
{
if (node != null)
{
node.BTreeLevel = BTreelevels;
//Console.WriteLine("节点为:"+node.zifu+"\t"+"节点所在层次为:"+node.BTreeLevel);
++BTreelevels;
getBTreeLevel(node.left);
getBTreeLevel(node.right);
--BTreelevels;
}
}
public int specialYunSuanShu(String tempStr, int k, List <FinalNode1> finalList1, ZifuNode top)
{
//=======================================也有特殊运算符======================================
//=======================================也有特殊运算符======================================
//第一种是\\pi，应该把这个π以整体形式放进去
if (Convert.ToString(tempStr[k]).Equals("\\") && Convert.ToString(tempStr[k + 1]).Equals("p") && Convert.ToString(tempStr[k + 2]).Equals("i"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\pi";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 2;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 3).Equals("\\pi"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\pi";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 2;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 3).Equals("\\Pi"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\Pi";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 2;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 3).Equals("\\Xi"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\Xi";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 2;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 3).Equals("\\xi"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\xi";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 2;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 3).Equals("\\nu"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\nu";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 2;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 3).Equals("\\mu"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\mu";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 2;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 3).Equals("\\pm"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\pm";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 2;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 3).Equals("\\to"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\to";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 2;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 3).Equals("\\or"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\or";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 2;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 3).Equals("\\Pr"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\Pr";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 2;
}
//其实这里用哪个逆向减字最大匹配算法用一下，截取一下，然后写在if语句里面（if（截取的是\\in或者\\infity不就行了么，哈哈））
//还有哪个default里面，因为\\in和\\infity重复了
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 3).Equals("\\in") && !tempStr.Substring(k, 4).Equals("\\inf"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\in";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 2;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 3).Equals("\\ll"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\ll";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 2;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 4).Equals("\\cap"))//============================特殊运算符==================================
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\cap";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 3;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 4).Equals("\\cup"))//============================特殊运算符==================================
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\cup";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 3;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 4).Equals("\\lor"))//============================特殊运算符==================================
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\leq";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 3;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 4).Equals("\\leq"))//============================特殊运算符==================================
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\leq";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 3;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 4).Equals("\\neq"))//============================特殊运算符==================================
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\leq";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 3;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 4).Equals("\\geq"))//============================特殊运算符==================================
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\leq";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 3;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 4).Equals("\\mid"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\mid";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 3;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 4).Equals("\\psi"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\psi";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 3;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 4).Equals("\\ell"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\ell";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 3;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 4).Equals("\\Phi"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\Phi";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 3;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 4).Equals("\\Psi"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\Psi";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 3;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 4).Equals("\\eta"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\eta";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 3;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 4).Equals("\\phi"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\phi";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 3;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 4).Equals("\\chi"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\chi";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 3;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 4).Equals("\\rho"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\rho";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 3;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 4).Equals("\\tau"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\tau";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 3;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 4).Equals("\\Tau"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\tau";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 3;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 5).Equals("\\cong"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\cong";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 4;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 5).Equals("\\star"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\star";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 4;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 5).Equals("\\join"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\join";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 4;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 5).Equals("\\quad"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\circ";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 4;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 5).Equals("\\circ"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\circ";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 4;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 5).Equals("\\zeta"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\zeta";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 4;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 5).Equals("\\Zeta"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\Zeta";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 4;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 5).Equals("\\hbar"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\hbar";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 4;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 5).Equals("\\beta"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\beta";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 4;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 5).Equals("\\iota"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\iota";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 4;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 5).Equals("\\Iota"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\Iota";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 4;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 6).Equals("\\cdots"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\cdots";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 5;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 5).Equals("\\cdot"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\cdot";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 4;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 6).Equals("\\times"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\times";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 5;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 6).Equals("\\dashv"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\dashv";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 5;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 6).Equals("\\colon"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\colon";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 5;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 6).Equals("\\qquad"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\qquad";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 5;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 6).Equals("\\nabla"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\nabla";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 5;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 6).Equals("\\equiv"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\equiv";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 5;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 6).Equals("\\infty"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\infty";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 5;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 6).Equals("\\sigma"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\sigma";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 5;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 6).Equals("\\Delta"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\Delta";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 5;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 6).Equals("\\Gamma"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\Gamma";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 5;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 6).Equals("\\Theta"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\Theta";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 5;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 6).Equals("\\Sigma"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\Sigma";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 5;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 6).Equals("\\Omega"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\Omega";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 5;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 6).Equals("\\alpha"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\alpha";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 5;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 6).Equals("\\Alpha"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\Alpha";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 5;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 6).Equals("\\delta"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\delta";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 5;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 6).Equals("\\gamma"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\gamma";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 5;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 6).Equals("\\kappa"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\kappa";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 5;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 6).Equals("\\Kappa"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\Kappa";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 5;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 6).Equals("\\varpi"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\varpi";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 5;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 6).Equals("\\theta"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\theta";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 5;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 6).Equals("\\omega"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\omega";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 5;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 6).Equals("\\prime"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\prime";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 5;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 7).Equals("\\DuiShu"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\DuiShu";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 6;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 7).Equals("\\subset"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\subset";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 6;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 7).Equals("\\ominus"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\ominus";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 6;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 7).Equals("\\lambda"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\lambda";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 6;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 7).Equals("\\Lambda"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\Lambda";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 6;
}
//第二种是fai
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 7).Equals("\\varphi"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\varphi";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 6;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 8).Equals("\\connect"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\connect";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 7;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 8).Equals("\\bigodot"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\bigodot";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 7;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 8).Equals("\\implies"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\partial";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 7;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 8).Equals("\\partial"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\partial";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 7;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 8).Equals("\\epsilon"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\epsilon";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 7;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 8).Equals("\\upsilon"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\upsilon";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 7;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 8).Equals("\\Upsilon"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\Upsilon";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 7;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 9).Equals("\\negative"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\negative";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 8;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 9).Equals("\\vartheta"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\vartheta";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 8;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 9).Equals("\\varsigma"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\varsigma";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 8;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 10).Equals("\\PowerRoot"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\PowerRoot";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 9;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 10).Equals("\\therefore"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\therefore";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 9;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 11).Equals("\\varepsilon"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\varepsilon";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 10;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 11).Equals("\\varepsilon"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\varepsilon";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 10;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 11).Equals("\\Rightarrow"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\Rightarrow";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 10;
}
else if (Convert.ToString(tempStr[k]).Equals("\\") && tempStr.Substring(k, 11).Equals("\\rightarrow"))
{
FinalNode1 no = new FinalNode1();
no.zifu = "\\rightarrow";
no.yuanshiXuHao = top.position + 1 + k;
no.pailiexuhao = top.position + 1 + k;
finalList1.Add(no);
k = k + 10;
}
return(k);
}
public List <FinalNode1> insertBTree(List <FinalNode1> finalList1, String LaTeX)
{
/*Console.WriteLine("初步打印结果");
* foreach (var it in finalList1)
* {
* Console.WriteLine("字符:" + it.zifu + "原始序号:" + it.yuanshiXuHao + "排列序号:" + it.pailiexuhao);
* }*/
FinalNode1 tempNode1 = new FinalNode1();
for (int i = 0; i < finalList1.Count - 1; i++)
{
for (int j = i + 1; j < finalList1.Count; j++)
{
if (finalList1[j].yuanshiXuHao < finalList1[i].yuanshiXuHao)
{
tempNode1 = finalList1[j];
finalList1[j] = finalList1[i];
finalList1[i] = tempNode1;
}
}
}
//=====下面这个赋特征很重要啊，非常重要啊=====================下面我封装成一个函数了，按照杨颂强那个一个一个得为我的节点传入Level和Flag等特征=================================
FuZhiFeature fu = new FuZhiFeature();
finalList1 = fu.FuZhi(finalList1, LaTeX);
//==========================下面我封装成一个函数了，按照杨颂强那个一个一个得为我的节点传入Level和Flag等特征=================================
//Console.WriteLine("========================================");
//foreach (var it in finalList1)
//{
// //Console.WriteLine("字符："+it.zifu+"\t\t"+"level:"+it.Level+"\t\t"+"Flag："+it.Flag+"\t\t"+"长度:"+it.Length);
// // Console.WriteLine("字符：" + it.zifu + "\t\t" + "原始序号:" + it.yuanshiXuHao + "\t\t" + "排列序号：" + it.pailiexuhao);
// //Console.WriteLine("字符："+it.zifu+"\t\t"+"长度:" + it.Length);
//}
//Console.WriteLine("========================================");
/*foreach (var it in temp)
* {
* //Console.WriteLine("字符：" + it.nodeexp +"\t"+ "level:" + it.level +"\t"+"Flag：" + it.flag);
* }*/
//这不就对了么，哈哈，比之前什么设置biaozhi1和biaozhi2强多了，还有加个什么两个循环，什么加do while那就更扯了
//============================================1、需要弄一系列特征，和杨颂强依次对应比较============================================
//现在开始最终的插入二叉树前的序列了
/*ExpUtil exputill = new ExpUtil();
* List<NodeInfo> tempp = exputil.GetNodeList(LaTeX, 0);
* int n = 0;
* for (int m = 0; m < tempp.Count; m++)//遍历杨颂强
* {
* if (finalList1[n] != null)//需要添加元素的集合元素不为空
* {
* if (tempp[m].nodeexp.Equals(finalList1[n].zifu) && tempp[m].level == finalList1[n].Level && tempp[m].flag == finalList1[n].Flag)
* {
* n++;
* continue;
* }
* else if (!tempp[m].nodeexp.Equals(finalList1[n].zifu) && finalList1[n].zifu.Equals("^"))
* {
* n++;
* m--;
* }
* else if (!tempp[m].nodeexp.Equals(finalList1[n].zifu) && !finalList1[n].zifu.Equals("^"))
* {
*
*
* }
* }
* else//如果遇到为空的元素了，说明后面全为空了，所以把杨颂强元素全部加到
* {
*
*
* }
*
* }*/
//现在开始最终的插入二叉树前的序列了
return(finalList1);
}//这个方法，函数
