private void button2_Click(object sender, EventArgs e)
{
u = new universum(dataGridView4);
s1 = new smallSet(dataGridView1);
s1.univers = u;
s2 = new smallSet(dataGridView2);
s2.univers = u;
dataGridView4.Enabled = false;
dataGridView1.Enabled = false;
dataGridView2.Enabled = false;
string s = s1.ToString();
textBox2.Text = s1.ToString();
textBox3.Text = s2.ToString();
textBox1.Hide();
button1.Hide();
}
private void button5_Click(object sender, EventArgs e)
{
smallSet a = cont.makeSmallSet(Convert.ToInt32(this.textBox5.Text));
dataGridView7.Columns.Clear();
dataGridView7.Rows.Clear();
for (int i = 0; i < a.univers.uni; i++)
{
dataGridView7.Columns.Add(Convert.ToString(i), Convert.ToString(i));
}
dataGridView7.Rows.Add();
a.toDGV(dataGridView7);
dataGridView7.Refresh();
//�מננטס
textBox6.Text = a.ToString();
Norris();
toListBox(L);
norrisL.Refresh();
}
public string ToString()
{
return(string.Format("[" + Intens.ToString() + "-" + Extens.ToString() + "]"));
}
