Viewing all changes in revision 329.1.148.
- Committer: Lasse Jacobsen
- Date: 2011-03-15 16:03:47 UTC
- mfrom: (329.4.4 tapaal-1.5)
- mto: (329.1.160 tapaal-1.5) (369.1.1 trunk-fix2)
- mto: This revision was merged to the branch mainline in revision 370.
- Revision ID: lassejac@ubuntu-20110315160347-yqes6vgufxz1ewnb
- Ported BroadcastTranslation to use the new TAPN model. At the moment there
is some redudancy (e.g. both old and new TAPN model) passed to some methods
in e.g. UPPAALExporter. This is temporary until all translations have been
converted to use the new model.
is some redudancy (e.g. both old and new TAPN model) passed to some methods
in e.g. UPPAALExporter. This is temporary until all translations have been
converted to use the new model.
- files modified:
- src/dk/aau/cs/gui/SharedPlacesAndTransitionsPanel.java
expand all
collapse all
added
removed
