← Back to branch summary

~yrke/tapaal/more-testing-and-refactorings

~yrke/tapaal/more-testing-and-refactorings

Viewing all changes in revision 1152.

Committer: Kenneth Yrke Jørgensen
Date: 2020-08-21 08:13:14 UTC
mfrom: (1071.2.13 tapaal)
Revision ID: kenneth@yrke.dk-20200821081314-4ke9mlkm3p6pqzae

Merged trunk

files modified:
src/dk/aau/cs/TCTL/AritmeticOperator.java

src/dk/aau/cs/TCTL/TCTLAFNode.java

src/dk/aau/cs/TCTL/TCTLAGNode.java

src/dk/aau/cs/TCTL/TCTLAUNode.java

src/dk/aau/cs/TCTL/TCTLAXNode.java

src/dk/aau/cs/TCTL/TCTLAbstractProperty.java

src/dk/aau/cs/TCTL/TCTLAndListNode.java

src/dk/aau/cs/TCTL/TCTLAtomicPropositionNode.java

src/dk/aau/cs/TCTL/TCTLConstNode.java

src/dk/aau/cs/TCTL/TCTLDeadlockNode.java

src/dk/aau/cs/TCTL/TCTLEFNode.java

src/dk/aau/cs/TCTL/TCTLEGNode.java

src/dk/aau/cs/TCTL/TCTLEUNode.java

src/dk/aau/cs/TCTL/TCTLEXNode.java

src/dk/aau/cs/TCTL/TCTLFalseNode.java

src/dk/aau/cs/TCTL/TCTLNotNode.java

src/dk/aau/cs/TCTL/TCTLOrListNode.java

src/dk/aau/cs/TCTL/TCTLPathPlaceHolder.java

src/dk/aau/cs/TCTL/TCTLPathToStateConverter.java

src/dk/aau/cs/TCTL/TCTLPlaceNode.java

src/dk/aau/cs/TCTL/TCTLPlusListNode.java

src/dk/aau/cs/TCTL/TCTLStatePlaceHolder.java

src/dk/aau/cs/TCTL/TCTLStateToPathConverter.java

src/dk/aau/cs/TCTL/TCTLTermListNode.java

src/dk/aau/cs/TCTL/TCTLTransitionNode.java

src/dk/aau/cs/TCTL/TCTLTrueNode.java

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

src/dk/aau/cs/gui/components/EnabledTransitionsList.java

src/pipe/dataLayer/TAPNQuery.java

src/pipe/gui/AnimationControlSidePanel.java

src/pipe/gui/AnimationSettingsDialog.java

src/pipe/gui/DelayEnabledTransitionControl.java

src/pipe/gui/GuiFrameController.java

src/pipe/gui/SimulationControl.java

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

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

src/pipe/gui/widgets/QueryPane.java

Show diffs side-by-side

added added

removed removed

src/dk/aau/cs/TCTL/AritmeticOperator.java

src/dk/aau/cs/TCTL/TCTLAFNode.java

src/dk/aau/cs/TCTL/TCTLAGNode.java

src/dk/aau/cs/TCTL/TCTLAUNode.java

src/dk/aau/cs/TCTL/TCTLAXNode.java

src/dk/aau/cs/TCTL/TCTLAbstractProperty.java

src/dk/aau/cs/TCTL/TCTLAndListNode.java

src/dk/aau/cs/TCTL/TCTLAtomicPropositionNode.java

src/dk/aau/cs/TCTL/TCTLConstNode.java

src/dk/aau/cs/TCTL/TCTLDeadlockNode.java

src/dk/aau/cs/TCTL/TCTLEFNode.java

src/dk/aau/cs/TCTL/TCTLEGNode.java

src/dk/aau/cs/TCTL/TCTLEUNode.java

src/dk/aau/cs/TCTL/TCTLEXNode.java

src/dk/aau/cs/TCTL/TCTLFalseNode.java

src/dk/aau/cs/TCTL/TCTLNotNode.java

src/dk/aau/cs/TCTL/TCTLOrListNode.java

src/dk/aau/cs/TCTL/TCTLPathPlaceHolder.java

src/dk/aau/cs/TCTL/TCTLPathToStateConverter.java

src/dk/aau/cs/TCTL/TCTLPlaceNode.java

src/dk/aau/cs/TCTL/TCTLPlusListNode.java

src/dk/aau/cs/TCTL/TCTLStatePlaceHolder.java

src/dk/aau/cs/TCTL/TCTLStateToPathConverter.java

src/dk/aau/cs/TCTL/TCTLTermListNode.java

src/dk/aau/cs/TCTL/TCTLTransitionNode.java

src/dk/aau/cs/TCTL/TCTLTrueNode.java

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

src/dk/aau/cs/gui/components/EnabledTransitionsList.java

src/pipe/dataLayer/TAPNQuery.java

src/pipe/gui/AnimationControlSidePanel.java

src/pipe/gui/AnimationSettingsDialog.java

src/pipe/gui/DelayEnabledTransitionControl.java

src/pipe/gui/GuiFrameController.java

src/pipe/gui/SimulationControl.java

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

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

src/pipe/gui/widgets/QueryPane.java

Older »