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