C# (CSharp) Z3AxiomProfiler SearchTree примеры использования

Пример #1

Файл: Z3AxiomProfiler.cs Проект: Suchiman/vcc

 private void ShowTree()
 {
     if (searchTree == null)
     {
         searchTree = new SearchTree(model, this);
     }
     searchTree.Show();
 }

Пример #2

Файл: Z3AxiomProfiler.cs Проект: edgar-pek/VCDryad

 private void ShowTree()
 {
     if(searchTree == null)
     searchTree = new SearchTree(model, this);
       searchTree.Show();
 }