private void dFAToolStripMenuItem_Click(object sender, EventArgs e)
{
FrmDFA dfa = new FrmDFA();
dfa.MdiParent = this;
dfa.WindowState = FormWindowState.Maximized;
dfa.Show();
}
private void tsbToMinimalDFA_Click(object sender, EventArgs e)
{
DFA <string, char> dfa = getDFA();
if (dfa == null)
{
return;
}
dfa.MinimaliseDFA();
FrmDFA frmDfa = new FrmDFA(dfa);
frmDfa.MdiParent = this.MdiParent;
frmDfa.Show();
}
private void tsbToNot_Click(object sender, EventArgs e)
{
DFA <string, char> dfa = getDFA();
if (dfa == null)
{
tsbToNot.Enabled = false;
return;
}
dfa.Not();
FrmDFA frmDfa = new FrmDFA(dfa);
frmDfa.MdiParent = this.MdiParent;
frmDfa.Show();
}
private void tsbToDFA_Click(object sender, EventArgs e)
{
Regram <string, char> regram = getRegram();
if (regram == null)
{
return;
}
DFA <MultiState <string>, char> dfa = SearchAlgorithmParser.Converter <string, char> .ConvertToDFA(regram, new SearchAlgorithmParser.MultiStateViewConcat <string>("", "O"));
FrmDFA frmDfa = new FrmDFA(dfa);
frmDfa.MdiParent = this.MdiParent;
frmDfa.Show();
}