← Back to branch summary

~yrke/tapaal/memoryMonitor-nullpointer

« back to all changes in this revision

Viewing changes to src/dk/aau/cs/TCTL/TCTLAndListNode.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/TCTLAndListNode.java
194
194
                return placeHolderFound;
195
195
        }
196
196
 
197
 
        @Override
 
197
    @Override
 
198
    public boolean hasNestedPathQuantifiers() {
 
199
        boolean foundNestedQuantifier = false;
 
200
 
 
201
        for (TCTLAbstractStateProperty p : properties) {
 
202
            foundNestedQuantifier = foundNestedQuantifier || p instanceof TCTLPathToStateConverter || p.hasNestedPathQuantifiers();
 
203
            if(foundNestedQuantifier){
 
204
                break;
 
205
            }
 
206
        }
 
207
        return foundNestedQuantifier;
 
208
    }
 
209
 
 
210
    @Override
198
211
        public TCTLAbstractProperty findFirstPlaceHolder() {
199
212
                TCTLAbstractProperty ph = null;
200
213
                for (TCTLAbstractStateProperty p : properties) {