private void ShowForm(Example pExample)
{
if (panel1.Controls.Count > 0)
{
panel1.Controls[0].Parent = null;
}
IExampleForm lSource = SubForms[pExample];
lSource.GetMainPanel().Parent = panel1;
lSource.GetMainPanel().Dock = DockStyle.Fill;
textBoxDescription.Text = lSource.GetDescription();
}
private void RunTransitionSystem(string exampleName)
{
if (CheckInput())
{
//this.Cursor = Cursors.WaitCursor;
DateTime startSetup = DateTime.Now;
IExampleForm example = null;
switch (exampleName)
{
case "towers":
example = new TowersOfHanoi(int.Parse(textBox1.Text));
break;
case "milners":
example = new MilnersScheduler(int.Parse(textBox1.Text));
break;
case "cannibal":
example = new CannibalsAndMissionaries();
break;
case "knight":
example = new Knight(int.Parse(textBox1.Text));
break;
case "knightEasy":
example = new KnightEasy(int.Parse(textBox1.Text));
break;
case "queen":
example = new QueenProblem(int.Parse(textBox1.Text));
break;
case "fdd":
example = new FDDStatemachine();
break;
case "sudoku":
example = new Sudoku();
break;
}
string solutions = example.Run(checkBox1.Checked, checkBox2.Checked, checkBox3.Checked);
DateTime finishSetup = DateTime.Now;
TimeSpan duration = finishSetup - startSetup;
box = "Duration: " + duration + Environment.NewLine + solutions;
//this.Cursor = Cursors.Arrow;
}
}
