public void recordInTable(string type, string word, string label)
{
Formula f = new Formula(type, word, label);
for(int i = 0;i < table.Count;++i)
{
if(table[i].value == word)
return;
}
table.Add(f);
fo.writeStringToFile("BiTable.txt", f.convertToString());
}
public void quicksort(Formula[] a,int l,int h)
{
if (l>=h)return ;
int j = h;
string key;
int i = l; key = a[i].label;
while(i<j)
{
while(i<j&&string.Compare(a[j].label,key) > 0)j--;
if (i<j) a[i++]=a[j];
while (i < j && string.Compare(a[j].label, key) < 0) i++;
if (i<j) a[j--]=a[i];
}
a[i].label=key;
if (l<i-1)
quicksort(a,l,i-1);
if (i+1<h)
quicksort(a,i+1,h);
}
