C# (CSharp) Z3AxiomProfiler SearchTree Examples

Example #1

File: Z3AxiomProfiler.cs Project: Suchiman/vcc

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

Example #2

File: Z3AxiomProfiler.cs Project: edgar-pek/VCDryad

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