public virtual void Initialize(SimulationForm simForm, EventStepSim currentStep, string currentNode, ListView trace, Graph igraph) { //initialize the parameters isiTarget = simForm; initialStep = currentStep; initialString = currentNode; ListView_Trace = new ListView(); if (trace.Items.Count > 0) { ListView_Trace.Items.Add(trace.Items[0].Clone() as ListViewItem); } HideTauTransition = simForm.HideTauTransition; visited = new Hashtable(simForm.visited); graph = CloneGraph(igraph); intGraph = CloneGraph(igraph); Mapping = new Dictionary <string, ProcessData>(simForm.Mapping); SimulatorViewer = new GViewer(); this.SimulatorViewer.AsyncLayout = false; this.SimulatorViewer.BackwardEnabled = true; this.SimulatorViewer.BuildHitTree = true; this.SimulatorViewer.ForwardEnabled = true; this.SimulatorViewer.Graph = null; this.SimulatorViewer.LayoutAlgorithmSettingsButtonVisible = true; this.SimulatorViewer.MouseHitDistance = 0.05; this.SimulatorViewer.Name = "SimulatorViewer"; this.SimulatorViewer.NavigationVisible = true; this.SimulatorViewer.NeedToCalculateLayout = true; this.SimulatorViewer.PanButtonPressed = false; this.SimulatorViewer.SaveAsImageEnabled = true; this.SimulatorViewer.SaveAsMsaglEnabled = true; this.SimulatorViewer.SaveButtonVisible = true; this.SimulatorViewer.SaveGraphButtonVisible = true; this.SimulatorViewer.SaveInVectorFormatEnabled = true; this.SimulatorViewer.ToolBarIsVisible = true; this.SimulatorViewer.ZoomF = 1; this.SimulatorViewer.ZoomFraction = 0.5; this.SimulatorViewer.ZoomWindowThreshold = 0.05; this.SimulatorViewer.Dock = DockStyle.Fill; }
public virtual void Initialize(SimulationForm simForm, EventStepSim currentStep, string currentNode, ListView trace, Graph igraph) { //initialize the parameters isiTarget = simForm; initialStep = currentStep; initialString = currentNode; ListView_Trace = new ListView(); if(trace.Items.Count > 0) { ListView_Trace.Items.Add(trace.Items[0].Clone() as ListViewItem); } HideTauTransition = simForm.HideTauTransition; visited = new Hashtable(simForm.visited); graph = CloneGraph(igraph); intGraph = CloneGraph(igraph); Mapping = new Dictionary<string, ProcessData>(simForm.Mapping); SimulatorViewer = new GViewer(); this.SimulatorViewer.AsyncLayout = false; this.SimulatorViewer.BackwardEnabled = true; this.SimulatorViewer.BuildHitTree = true; this.SimulatorViewer.ForwardEnabled = true; this.SimulatorViewer.Graph = null; this.SimulatorViewer.LayoutAlgorithmSettingsButtonVisible = true; this.SimulatorViewer.MouseHitDistance = 0.05; this.SimulatorViewer.Name = "SimulatorViewer"; this.SimulatorViewer.NavigationVisible = true; this.SimulatorViewer.NeedToCalculateLayout = true; this.SimulatorViewer.PanButtonPressed = false; this.SimulatorViewer.SaveAsImageEnabled = true; this.SimulatorViewer.SaveAsMsaglEnabled = true; this.SimulatorViewer.SaveButtonVisible = true; this.SimulatorViewer.SaveGraphButtonVisible = true; this.SimulatorViewer.SaveInVectorFormatEnabled = true; this.SimulatorViewer.ToolBarIsVisible = true; this.SimulatorViewer.ZoomF = 1; this.SimulatorViewer.ZoomFraction = 0.5; this.SimulatorViewer.ZoomWindowThreshold = 0.05; this.SimulatorViewer.Dock = DockStyle.Fill; }