public ColouredPlaceModifyForm(IVertexWrapper vertexWrapper) { this.VertexWrapper = vertexWrapper.Clone() as IVertexWrapper; this.startName = VertexWrapper.Name; InitializeComponent(); }
public ColouredTransitionModifyForm(IVertexWrapper vertexWrapper) { this.VertexWrapper = vertexWrapper.Clone() as IVertexWrapper; InitializeComponent(); }
public VertexModifyForm(IVertexWrapper vertexWrapper) { this.VertexWrapper = vertexWrapper.Clone() as IVertexWrapper; InitializeComponent(); }