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