public ColouredArcWrapper(ColouredPetriGraphWrapper graphWrapper, ColouredArc arc) : base(graphWrapper, arc) { }
public override object Clone() { var ca = new ColouredArc(this.Graph, this.Tail.Value.ToString(), this.Head.Value.ToString(), this.Name); this.CopyTo(ca); return ca; }