private static void InitConfig(Z3AxiomProfiler z3vis, string[] args)
{
string error_msg;
if ( !z3vis.parseCommandLineArguments(args, out error_msg))
{
parseErrorCommandLineArguments(error_msg);
}
}
public SearchTree(Model model, Z3AxiomProfiler z3AxiomProfiler)
{
this.model = model;
InitializeComponent();
this.pictureBox1.Paint += this.PaintTree;
this.MouseWheel += this.pictureBox1_MouseWheel;
this.z3AxiomProfiler = z3AxiomProfiler;
}
public SearchTree(Model model, Z3AxiomProfiler z3AxiomProfiler)
{
this.model = model;
InitializeComponent();
this.pictureBox1.Paint += this.PaintTree;
this.MouseWheel += this.pictureBox1_MouseWheel;
this.z3AxiomProfiler = z3AxiomProfiler;
}
private static void InitConfig(Z3AxiomProfiler z3vis, string[] args)
{
string error_msg;
if (!z3vis.parseCommandLineArguments(args, out error_msg))
{
parseErrorCommandLineArguments(error_msg);
}
}
static void Main(string[] args)
{
//AllocConsole();
//Console.OpenStandardOutput();
//Console.OpenStandardError();
//AttachConsole(ATTACH_PARENT_PROCESS);
Application.EnableVisualStyles();
Application.SetCompatibleTextRenderingDefault(false);
Z3AxiomProfiler f = new Z3AxiomProfiler();
InitConfig(f,args);
f.Show();
Application.Run(f);
}
static void Main(string[] args)
{
//AllocConsole();
//Console.OpenStandardOutput();
//Console.OpenStandardError();
//AttachConsole(ATTACH_PARENT_PROCESS);
Application.EnableVisualStyles();
Application.SetCompatibleTextRenderingDefault(false);
Z3AxiomProfiler f = new Z3AxiomProfiler();
InitConfig(f, args);
f.Show();
Application.Run(f);
}
public SearchBox(Z3AxiomProfiler a)
{
this.axprof = a;
InitializeComponent();
this.textBox1.Text = a.SearchText;
}