Esempio n. 1
0
        public override object Clone()
        {
            MarkedPetriGraphWrapper mpWrapper = new MarkedPetriGraphWrapper();

            this.CopyTo(mpWrapper);

            return mpWrapper;
        }
Esempio n. 2
0
        public static void SetDefaultEventHandlers(MarkedPetriGraphWrapper gWrapper)
        {
            PetriNetGraphWrapper.SetDefaultEventHandlers(gWrapper);

            gWrapper.Graph.OnVertexAdded += new EventHandler<VerticesModifiedEventArgs>(gWrapper.graph_OnVertexAdded);
        }