public TreeGraphNode(TreeGraph tree, object value, TreeGraphNode parent) : base(tree, value) { this.Parent = parent; this.Children = new List<ITreeNode>(); //parent.AddChild( this ); }
public TreeEnum(TreeGraph treeGraph) { this.treeGraph = treeGraph; passed = new List<ITreeNode>(); this.TraversalMethod = TraversalMethods.PreOrderWalk; this.Current = this.treeGraph.Root; passed.Add(this.Current); }
public TreeGraphView(Control control, TreeGraph tree = null) : base(control) { Controllers.Clear(); Controllers.Add(new TreeGraphViewController(this, "MainController")); if (tree != null) this.Tree = tree; this.Control.MouseWheel += new MouseEventHandler(Control_MouseWheel); MainController.ViewLoad(); }
public TreeGraphWrapper(TreeGraph tree = null) : base() { if (tree == null) this.Graph = new TreeGraph(); else { this.Graph = tree; this.Tree.GetVertices().ForEach(v => this.VertexWrappers.Add(new TreeNodeWrapper(this, v as TreeGraphNode))); this.Tree.GetEdges().ForEach(e => this.ArcWrappers.Add(new WFArcWrapper(this, e as Arc))); } this.RootPosition = new PointF(); TreeGraphWrapper.SetDefaultEventHandlers(this); }
public override object Clone() { TreeGraph t = new TreeGraph(); this.CopyTo(t); return t; }
public static void SetDefaultEventHandlers( TreeGraph tree ) { DirectedGraph.SetDefaultEventHandlers( tree ); tree.OnAddEdge += new EventHandler<EdgesModifiedEventArgs>(tree.tree_OnAddEdge); tree.OnRemoveVertex += new EventHandler<VerticesModifiedEventArgs>(tree.tree_OnRemoveVertex); tree.OnRemoveEdge += new EventHandler<EdgesModifiedEventArgs>(tree.tree_OnRemoveEdge); tree.OnVertexAdded += new EventHandler<VerticesModifiedEventArgs>(tree.tree_OnVertexAdded); }
public MarkingTreeNode(TreeGraph tree, string markingName, MarkingTreeNode parent, uint[] marking) : base(tree, markingName, parent) { this.Marking = marking; this.Status = MarkingNodeStatus.Boundary; }