C# (CSharp) Z3AxiomProfiler ColorVisalizationForm 예제들

예제 #1

파일: Z3AxiomProfiler.cs 프로젝트: Suchiman/vcc

        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();
        }

예제 #2

파일: Z3AxiomProfiler.cs 프로젝트: edgar-pek/VCDryad

 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();
 }