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