Exemple #1
0
 /// <summary>
 /// This method installs current place for this token
 /// </summary>
 /// <param name="place"></param>
 public void setCurrentPlace(Place place)
 {
     this._place = place;
 }