← 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/TCTLAtomicPropositionNode.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/TCTLAtomicPropositionNode.java
83
83
                return left.containsPlaceHolder() || right.containsPlaceHolder();
84
84
        }
85
85
 
86
 
        @Override
 
86
    @Override
 
87
    public boolean hasNestedPathQuantifiers() {
 
88
        return false;
 
89
    }
 
90
 
 
91
    @Override
87
92
        public TCTLAbstractProperty findFirstPlaceHolder() {
88
93
                TCTLAbstractProperty rightP = right.findFirstPlaceHolder(); 
89
94