public ColouredArcWrapper(ColouredPetriGraphWrapper graphWrapper, ColouredArc arc)
     : base(graphWrapper, arc)
 {
 }
Example #2
0
 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;
 }