public GraphConstructorForm(WFGraphWrapper graphWrapper)
 {
     InitializeComponent();
     this.Succesful = false;
     GraphWrapper = graphWrapper.Clone() as WFGraphWrapper;
     //graphWrapper.CopyTo(GraphWrapper);
     verticesCounter.Value = graphWrapper.Graph.Order;
 }
 public ColouredPetriGraphConstructorForm(WFGraphWrapper graphWrapper)
 {
     InitializeComponent();
     this._isModified = false;
     this.Succesful = false;
     GraphWrapper = graphWrapper.Clone() as WFGraphWrapper;
     firstPartVerticesCounter.Value = (graphWrapper.Graph as BiGraph).FirstPartOrder;
     secondPartVerticesCount.Value = (graphWrapper.Graph as BiGraph).SecondPartOrder;
 }
 public MarkedPetriNetGraphCounstructor(WFGraphWrapper graphWrapper)
 {
     InitializeComponent();
     this.Succesful = false;
     GraphWrapper = graphWrapper.Clone() as WFGraphWrapper;
     //graphWrapper.CopyTo(GraphWrapper);
     firstPartVerticesCounter.Value = (graphWrapper.Graph as BiGraph).FirstPartOrder;
     secondPartVerticesCount.Value = (graphWrapper.Graph as BiGraph).SecondPartOrder;
 }