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)
{
}