← Back to branch summary

~tapaal-contributor/tapaal/unselect-objects-after-undo-1894108 

1
2
3
4
5
6

package dk.aau.cs.model.tapn.event;

public interface TimedPlaceListener {
	void nameChanged(TimedPlaceEvent e);
	void markingChanged(TimedPlaceEvent e);
}