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