public static void SetDefaultEventHandlers(ColouredPetriGraphWrapper graphWrapper) { PetriNetGraphWrapper.SetDefaultEventHandlers(graphWrapper); graphWrapper.Graph.OnVertexAdded += new EventHandler<VerticesModifiedEventArgs>(graphWrapper.Graph_OnVertexAdded); graphWrapper.Graph.OnEdgeAdded += new EventHandler<EdgesModifiedEventArgs>(graphWrapper.Graph_OnEdgeAdded); }
public ColouredArcWrapper(ColouredPetriGraphWrapper graphWrapper, ColouredArc arc) : base(graphWrapper, arc) { }
public override object Clone() { ColouredPetriGraphWrapper wrapper = new ColouredPetriGraphWrapper(); this.CopyTo(wrapper); return wrapper; }
public ColouredTransitionWrapper(ColouredPetriGraphWrapper graphWrapper, ColouredTransition transition) : base(graphWrapper, transition) { }