← Back to branch summary

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

« back to all changes in this revision

Viewing changes to src/dk/aau/cs/TCTL/TCTLEUNode.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

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/dk/aau/cs/TCTL/TCTLEUNode.java
106
106
                                || right.containsPlaceHolder();
107
107
        }
108
108
 
109
 
        public boolean containsAtomicPropositionWithSpecificPlaceInTemplate(String templateName, String placeName) {
 
109
    @Override
 
110
    public boolean hasNestedPathQuantifiers() {
 
111
        return left instanceof TCTLPathToStateConverter || right instanceof TCTLPathToStateConverter
 
112
            || left.hasNestedPathQuantifiers() || right.hasNestedPathQuantifiers();
 
113
    }
 
114
 
 
115
    public boolean containsAtomicPropositionWithSpecificPlaceInTemplate(String templateName, String placeName) {
110
116
                return left.containsAtomicPropositionWithSpecificPlaceInTemplate(templateName, placeName)
111
117
                                || right.containsAtomicPropositionWithSpecificPlaceInTemplate(templateName, placeName);
112
118
        }