← Back to branch summary

~yrke/tapaal/modelControlsDrawingsurface

~yrke/tapaal/modelControlsDrawingsurface

Viewing all changes in revision 1070.

Committer: Kenneth Yrke Joergensen
Date: 2019-06-30 16:28:16 UTC
Revision ID: kenneth@yrke.dk-20190630162816-e9vtlylf1o21kad7

ConnectTo/From is now set/unset in datalayer, insted of manually set.

files modified:
src/dk/aau/cs/approximation/UnderApproximation.java

src/dk/aau/cs/gui/TabTransformer.java

src/dk/aau/cs/io/PNMLoader.java

src/dk/aau/cs/io/TapnLegacyXmlLoader.java

src/dk/aau/cs/io/TapnXmlLoader.java

src/dk/aau/cs/verification/TAPNComposer.java

src/pipe/dataLayer/DataLayer.java

src/pipe/gui/graphicElements/Arc.java

src/pipe/gui/graphicElements/tapn/TimedInhibitorArcComponent.java

src/pipe/gui/graphicElements/tapn/TimedInputArcComponent.java

src/pipe/gui/graphicElements/tapn/TimedOutputArcComponent.java

src/pipe/gui/graphicElements/tapn/TimedTransportArcComponent.java

src/pipe/gui/handler/PlaceTransitionObjectHandler.java

src/pipe/gui/undo/AddTimedInhibitorArcCommand.java

src/pipe/gui/undo/AddTimedInputArcCommand.java

src/pipe/gui/undo/AddTimedOutputArcCommand.java

src/pipe/gui/undo/AddTransportArcCommand.java

src/pipe/gui/undo/DeleteTimedInhibitorArcCommand.java

src/pipe/gui/undo/DeleteTimedInputArcCommand.java

src/pipe/gui/undo/DeleteTimedOutputArcCommand.java

src/pipe/gui/undo/DeleteTransportArcCommand.java

Show diffs side-by-side

added added

removed removed

src/dk/aau/cs/approximation/UnderApproximation.java

src/dk/aau/cs/gui/TabTransformer.java

src/dk/aau/cs/io/PNMLoader.java

src/dk/aau/cs/io/TapnLegacyXmlLoader.java

src/dk/aau/cs/io/TapnXmlLoader.java

src/dk/aau/cs/verification/TAPNComposer.java

src/pipe/dataLayer/DataLayer.java

src/pipe/gui/graphicElements/Arc.java

src/pipe/gui/graphicElements/tapn/TimedInhibitorArcComponent.java

src/pipe/gui/graphicElements/tapn/TimedInputArcComponent.java

src/pipe/gui/graphicElements/tapn/TimedOutputArcComponent.java

src/pipe/gui/graphicElements/tapn/TimedTransportArcComponent.java

src/pipe/gui/handler/PlaceTransitionObjectHandler.java

src/pipe/gui/undo/AddTimedInhibitorArcCommand.java

src/pipe/gui/undo/AddTimedInputArcCommand.java

src/pipe/gui/undo/AddTimedOutputArcCommand.java

src/pipe/gui/undo/AddTransportArcCommand.java

src/pipe/gui/undo/DeleteTimedInhibitorArcCommand.java

src/pipe/gui/undo/DeleteTimedInputArcCommand.java

src/pipe/gui/undo/DeleteTimedOutputArcCommand.java

src/pipe/gui/undo/DeleteTransportArcCommand.java

Older »