消解原理编程实现含文档

消解原理的代码实现，并有源码和说明文档。

using System;
using System.Collections.Generic;
using System.ComponentModel;
using System.Data;
using System.Drawing;
using System.Text;
using System.Windows.Forms;

namespace 消解原理
{
    public partial class Form1 : Form
    {
        yz[] yz1 = new yz[10];
        yz[] yz2 = new yz[10];
        int xlen = 0 ylen = 0;
        string strx=string.Empty stry=string.Empty;
        public Form1（）
        {
            InitializeComponent（）;
        }

        private void button1_Click（object sender EventArgs e）
        {
            char[] ch ={ ‘V‘ };
            string strzj = this.textBox1.Text.ToString（）.Trim（）;
            this.richTextBox1.Text += “子句一：“;
            this.richTextBox1.Text += this.textBox1.Text.ToString（）.Trim（）;
            this.richTextBox1.Text += “\n“;
            string[] spzj = strzj.Split（ch）;
            xlen = spzj.Length;
            for （int i = 0; i < spzj.Length; i++）
            {
                yz1[i] = new yz（）;
                if （spzj[i][0].ToString（） == “~“）
                {
                    yz1[i].first = “~“;
                    yz1[i].funname = spzj[i][1].ToString（）;
                    if （Locationed（spzj[i] ‘‘） == 0）
                    {
                        for （int k = 3; k < spzj[i].Length - 1; k++）
                            yz1[i].px += spzj[i][k];
                    }
                    else
                    {
                        for （int k = 3; k < Locationed（spzj[i] ‘‘）; k++）
                            yz1[i].px += spzj[i][k];
                        
                        for（int w=Locationed（spzj[i] ‘‘）+1;w                        yz1[i].py += spzj[i][w];
                    }

                }
                else
                {

                    yz1[i].funname = spzj[i][0].ToString（）;
                   if （Locationed（spzj[i] ‘‘） == 0）
                    {
                        for （int k = 2; k < spzj[i].Length - 1; k++）
                            yz1[i].px += spzj[i][k];
                    }
                    else
                    {
                        for （int k = 2; k < Locationed（spzj[i] ‘‘）; k++）
                            yz1[i].px += spzj[i][k];

                        for （int w = Locationed（spzj[i] ‘‘）+1; w < spzj[i].Length - 1; w++）
                        yz1[i].py += spzj[i][w];
                    }

                }

            }
            //for （int j = 0; j < spzj.Length; j++）
            //{
            //    this.richTextBox1.Text += yz1[j].first;
            //    this.richTextBox1.Text += yz1[j].funname;
            //    this.richTextBox1.Text += yz1[j].px;

            //  this.richTextBox1.Text += yz1[j].py;
            //}
        }
        public int Locationed（string str char ch）
        {
            int k = 0;
            for （int u = 0; u < str.Length;u++ ）
            {
                if 

 属性            大小     日期    时间   名称
----------- ---------  ---------- -----  ----
     目录           0  2013-10-12 10:41  新建文件夹\
     目录           0  2010-01-05 14:21  新建文件夹\消解原理\
     目录           0  2010-01-05 14:21  新建文件夹\消解原理\Cab1\
     文件        1810  2009-10-15 06:47  新建文件夹\消解原理\Cab1\Cab1.vdproj
     目录           0  2010-01-05 14:21  新建文件夹\消解原理\Cab1\Debug\
     文件         279  2009-10-15 06:47  新建文件夹\消解原理\Cab1\Debug\Cab1.CAB
     目录           0  2010-01-05 14:21  新建文件夹\消解原理\Cab1\Release\
     目录           0  2010-01-05 14:21  新建文件夹\消解原理\Setup1\
     目录           0  2010-01-05 14:21  新建文件夹\消解原理\Setup1\Debug\
     文件      422912  2009-10-15 06:49  新建文件夹\消解原理\Setup1\Debug\setup.exe
     文件      320000  2009-10-15 06:49  新建文件夹\消解原理\Setup1\Debug\Setup1.msi
     目录           0  2010-01-05 14:21  新建文件夹\消解原理\Setup1\Release\
     文件       27215  2009-10-15 06:48  新建文件夹\消解原理\Setup1\Setup1.vdproj
     目录           0  2010-01-05 14:21  新建文件夹\消解原理\消解原理\
     文件        1217  2009-10-15 06:48  新建文件夹\消解原理\消解原理.sln
     文件       18432  2009-10-18 17:07  新建文件夹\消解原理\消解原理.suo
     目录           0  2010-01-05 14:21  新建文件夹\消解原理\消解原理\bin\
     目录           0  2010-01-05 14:21  新建文件夹\消解原理\消解原理\bin\Debug\
     文件       28672  2009-10-18 17:00  新建文件夹\消解原理\消解原理\bin\Debug\消解原理.exe
     文件       40448  2009-10-18 17:00  新建文件夹\消解原理\消解原理\bin\Debug\消解原理.pdb
     文件        5632  2005-11-11 22:25  新建文件夹\消解原理\消解原理\bin\Debug\消解原理.vshost.exe
     文件       39437  2009-10-18 17:00  新建文件夹\消解原理\消解原理\Form1.cs
     文件        6337  2009-10-14 21:28  新建文件夹\消解原理\消解原理\Form1.Designer.cs
     文件        5814  2009-10-14 21:28  新建文件夹\消解原理\消解原理\Form1.resx
     目录           0  2010-01-05 14:21  新建文件夹\消解原理\消解原理\obj\
     目录           0  2010-01-05 14:21  新建文件夹\消解原理\消解原理\obj\Debug\
     目录           0  2010-01-05 14:21  新建文件夹\消解原理\消解原理\obj\Debug\TempPE\
     文件         842  2009-10-15 06:48  新建文件夹\消解原理\消解原理\obj\Debug\消解原理.csproj.GenerateResource.Cache
     文件       28672  2009-10-18 17:00  新建文件夹\消解原理\消解原理\obj\Debug\消解原理.exe
     文件         180  2009-10-15 06:48  新建文件夹\消解原理\消解原理\obj\Debug\消解原理.Form1.resources
     文件       40448  2009-10-18 17:00  新建文件夹\消解原理\消解原理\obj\Debug\消解原理.pdb
............此处省略12个文件信息