public CFGEdge AddEdge(CFGNode source, CFGNode target, BranchCondition condition)
{
CFGEdge edge = (CFGEdge)base.AddEdge(source, target);
edge.BranchCondition = condition;
return edge;
}
public CFGEdge AddEdge(CFGNodeCluster sourceCluster, CFGNodeCluster targetCluster, BranchCondition condition)
{
return AddEdge(sourceCluster.End, targetCluster.Start, condition);
}