/// <summary>
/// Сведение
/// </summary>
/// <param name="sender"></param>
/// <param name="e"></param>
private void grafContractionButton_Click(object sender, EventArgs e)
{
if (comboBox1.Text == "Graf №1")
{
grafResult = grafResult.setWith( graf1);
label6.Text = "Addition graf №1 ";
List<int> buf = new List<int>();
for (int i = 0; i < checkedListBox1.Items.Count; i++)
{
if (checkedListBox1.GetItemChecked(i))
{
buf.Add(Convert.ToInt32(checkedListBox1.Items[i]));
}
}
grafResult = grafResult.contraction(grafResult, buf);
}
else
{
grafResult = grafResult.setWith(graf2);
label6.Text = "Addition graf №2 ";
}
VisualGraph drawGraf = new VisualGraph(10, 10, panel3);
drawGraf.paintGraf(grafResult);
}
