예제 #1
0
 public MarkedPlaceWrapper(IGraphWrapper graphWrapper, MarkedPlace markedPlace)
     : base(graphWrapper, markedPlace)
 {
     TokenSize = new Size(5, 5);
 }
예제 #2
0
 public override object Clone()
 {
     MarkedPlace m = new MarkedPlace(this.Graph, this.Name, this.TokensCount);
     this.CopyTo(m);
     return m;
 }