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

« back to all changes in this revision

Viewing changes to src/dk/aau/cs/TCTL/TCTLAbstractProperty.java

Committer: srba.jiri at gmail
Date: 2020-08-19 12:02:28 UTC
mfrom: (1071.2.34 untimed-timed-gui)
Revision ID: srba.jiri@gmail.com-20200819120228-ktxdev3ou3kuj3l0

merged in lp:~tapaal-contributor/tapaal/untimed-timed-gui adding timed/untimed lens projection

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/TabContentActions.java

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

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

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

src/dk/aau/cs/io/LoadedModel.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/io/TimedArcPetriNetNetworkWriter.java

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

src/pipe/dataLayer/TAPNQuery.java

src/pipe/gui/AnimationControlSidePanel.java

src/pipe/gui/AnimationSettingsDialog.java

src/pipe/gui/Animator.java

src/pipe/gui/CreateGui.java

src/pipe/gui/DelayEnabledTransitionControl.java

src/pipe/gui/GuiFrame.java

src/pipe/gui/GuiFrameActions.java

src/pipe/gui/GuiFrameController.java

src/pipe/gui/SimulationControl.java

src/pipe/gui/StatusBar.java

src/pipe/gui/action/GuiAction.java

src/pipe/gui/canvas/DrawingSurfaceImpl.java

src/pipe/gui/graphicElements/PetriNetObject.java

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

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

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

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

src/pipe/gui/handler/PetriNetObjectHandler.java

src/pipe/gui/widgets/GuardDialogue.java

src/pipe/gui/widgets/PlaceEditorPanel.java

src/pipe/gui/widgets/QueryPane.java

src/pipe/gui/widgets/TAPNTransitionEditor.java

Show diffs side-by-side

added added

removed removed

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

public abstract boolean containsAtomicPropositionWithSpecificTransitionInTemplate(String templateName, String transitionName);

public abstract boolean containsPlaceHolder();

public abstract boolean hasNestedPathQuantifiers();

// This method assumes that a place holder exists in the current query

public abstract TCTLAbstractProperty findFirstPlaceHolder();

Older »