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