public override bool Equals(object o)
{
if (o == this)
{
return(true);
}
if (!(o is VarVersionEdge))
{
return(false);
}
VarVersionEdge edge = (VarVersionEdge)o;
return(type == edge.type && source == edge.source && dest == edge.dest);
}
public virtual void AddPredecessor(VarVersionEdge edge)
{
preds.Add(edge);
}
public virtual void AddSuccessor(VarVersionEdge edge)
{
succs.Add(edge);
}
public virtual void RemovePredecessor(VarVersionEdge edge)
{
preds.Remove(edge);
}
public virtual void RemoveSuccessor(VarVersionEdge edge)
{
succs.Remove(edge);
}
