Esempio n. 1
0
        private void colorVisualizationToolStripMenuItem_Click(object sender, EventArgs e)
        {
            if (model == null)
            {
                return;
            }
            ColorVisalizationForm colorForm = new ColorVisalizationForm(launchedFromAddin, ctrl);

            colorForm.quantifierLinkedText.Click += nodeSelector;
            colorForm.setQuantifiers(model.GetQuantifiersSortedByOccurence(), model.GetQuantifiersSortedByInstantiations());
            colorForm.Show();
        }
Esempio n. 2
0
 private void colorVisualizationToolStripMenuItem_Click(object sender, EventArgs e)
 {
     if (model == null)
     return;
       ColorVisalizationForm colorForm = new ColorVisalizationForm(launchedFromAddin, ctrl);
       colorForm.quantifierLinkedText.Click += nodeSelector;
       colorForm.setQuantifiers(model.GetQuantifiersSortedByOccurence(), model.GetQuantifiersSortedByInstantiations());
       colorForm.Show();
 }