public override bool Equals(object obj) { CGEdge e = obj as CGEdge; return(e != null && lb.Equals(e.lb) && m1.Equals(e.m1) && m2.Equals(e.m2) && isVirtual == e.isVirtual); }
internal void RemoveEdge(CGEdge e) { removeFromToMap(adjacentsForward, e.Src, e.Dst); removeFromToMap(adjacentsBackward, e.Dst, e.Src); removeFromToMap(edgesForward, e.Src, e); removeFromToMap(edgesBackward, e.Dst, e); this.edges.Remove(e); }
internal void AddEdge(CGEdge e) { addToMap(adjacentsForward, e.Src, e.Dst); addToMap(adjacentsBackward, e.Dst, e.Src); addToMap(edgesForward, e.Src, e); addToMap(edgesBackward, e.Dst, e); this.edges.Add(e); }
private static void EdgeToDot(System.IO.TextWriter output, CGEdge e, bool inside) { string edgeStyle = "style = dotted"; if (inside) { edgeStyle = "style = solid"; } edgeStyle += ", color = black"; output.WriteLine("\"{0}\" -> \"{2}\" [label = \"{1}\",{3}]", e.Src, e.Label.ToStringRed(), e.Dst, edgeStyle); }
private void AddEdge(CGEdge e) { AddNode(e.Src); AddNode(e.Dst); calls.AddEdge(e); }
public void AddEdge(CGNode m1, CGNode m2, Label lb, bool isV) { CGEdge e = new CGEdge(m1, lb, m2, isV); AddEdge(e); }