Package org.processmining.plugins.graphviz.visualisation.listeners

Interface GraphChangedListener

public interface GraphChangedListener

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static class	GraphChangedListener.GraphChangedReason

Method Summary

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

Method Detail

graphChanged

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