org.processmining.plugins.graphviz.visualisation.listeners

Interface GraphChangedListener

public interface GraphChangedListener

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static class	GraphChangedListener.GraphChangedReason

Method Summary

Methods

Modifier and Type	Method and Description
void	graphChanged(GraphChangedListener.GraphChangedReason reason, java.lang.Object newState)

Method Detail

graphChanged

void graphChanged(GraphChangedListener.GraphChangedReason reason,
                java.lang.Object newState)