← Back to branch summary

~cpn-gui/tapaal/colorTimeConstraint

~cpn-gui/tapaal/colorTimeConstraint

Viewing all changes in revision 1026.

Committer: mglavi14 at aau
Date: 2019-03-07 20:56:28 UTC
Revision ID: mglavi14@student.aau.dk-20190307205628-w9pruvrb21tilld6

WIP - equals for colors not done, continue tomorrow

files modified:
src/dk/aau/cs/model/tapn/Colored/Color.java

src/dk/aau/cs/model/tapn/Colored/ColoredTimeInvariant.java

src/pipe/gui/widgets/cpn/ColorIntervalAndInvariantEditPanel.java

src/pipe/gui/widgets/cpn/ColoredPlaceEditorPanel.java

Show diffs side-by-side

added added

removed removed

src/dk/aau/cs/model/tapn/Colored/Color.java

src/dk/aau/cs/model/tapn/Colored/ColoredTimeInvariant.java

src/pipe/gui/widgets/cpn/ColorIntervalAndInvariantEditPanel.java

src/pipe/gui/widgets/cpn/ColoredPlaceEditorPanel.java

Older »