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; }