private void InitGram()
{
g = new GrammarCompiler.Grammar(File.OpenText(grammar_name));
if (cbToQuantifiers.IsChecked.Value)
{
TransformStatistics stat = new ToQuantifiers().Transform(g);
cbToQuantifiers.ToolTip = stat.ToString();
}
}
private void useToQuantifiersTransformToolStripMenuItem_Click(object sender, EventArgs e)
{
useToQuantifiersTransformToolStripMenuItem.Checked ^= true;
if (useToQuantifiersTransformToolStripMenuItem.Checked)
{
TransformStatistics stat = new ToQuantifiers().Transform(mGrammarDoc.mGrammar);
MessageBox.Show(stat.ToString());
mGrammarDoc.RefreshGrammarTree();
}
Settings.Default.Save();
}