public PrintRuleViewer(AxiomProfiler profiler, PrintRuleDictionary rulesDictionary)
{
this.profiler = profiler;
printRuleDict = rulesDictionary;
InitializeComponent();
updateRulesList();
}
public SearchTree(Model model, AxiomProfiler z3AxiomProfiler)
{
this.model = model;
InitializeComponent();
this.pictureBox1.Paint += this.PaintTree;
this.MouseWheel += this.pictureBox1_MouseWheel;
this.z3AxiomProfiler = z3AxiomProfiler;
}
private static void InitConfig(AxiomProfiler z3vis, string[] args)
{
string error_msg;
if (!z3vis.parseCommandLineArguments(args, out error_msg))
{
parseErrorCommandLineArguments(error_msg);
}
}
static void Main(string[] args)
{
Application.EnableVisualStyles();
Application.SetCompatibleTextRenderingDefault(false);
AxiomProfiler f = new AxiomProfiler();
InitConfig(f, args);
f.Show();
Application.Run(f);
}
public DAGView(AxiomProfiler profiler)
{
_z3AxiomProfiler = profiler;
InitializeComponent();
//create a viewer object
_viewer = new GViewer
{
AsyncLayout = true,
LayoutEditingEnabled = false,
ToolBarIsVisible = false,
NavigationVisible = false,
Anchor = AnchorStyles.Top | AnchorStyles.Bottom | AnchorStyles.Left | AnchorStyles.Right,
Top = panel1.Bottom,
Left = Left,
Size = new Size(Right, Bottom - panel1.Bottom)
};
_viewer.MouseMove += _ViewerMouseMove;
_viewer.MouseUp += _ViewerViewMouseUp;
_viewer.MouseClick += _ViewerViewClick;
//associate the viewer with the form
Controls.Add(_viewer);
}
public SearchBox(AxiomProfiler a)
{
axprof = a;
InitializeComponent();
textBox1.Text = a.SearchText;
}