← Back to branch summary

~tapaal-contributor/tapaal/untimed-timed-gui

« back to all changes in this revision

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

  • Committer: ptaankvist at gmail
  • Date: 2020-08-17 08:09:43 UTC
  • Revision ID: ptaankvist@gmail.com-20200817080943-0g2cixirrs3hklmm
Remove affected queries when changing to timed. Show info message about queries

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/dk/aau/cs/TCTL/TCTLAUNode.java
105
105
                return left.containsPlaceHolder() 
106
106
                                || right.containsPlaceHolder();
107
107
        }
108
 
        
109
 
        public boolean containsAtomicPropositionWithSpecificPlaceInTemplate(String templateName, String placeName) {
 
108
 
 
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
        }