← Back to branch summary

~tapaal-contributor/tapaal/weight-values-fix-1770637

« back to all changes in this revision

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

merged branch lp:~tapaal-contributor/tapaal/ctl-query-fix-1540367

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/dk/aau/cs/TCTL/TCTLConstNode.java
38
38
        }
39
39
 
40
40
        @Override
41
 
        public boolean containsAtomicPropWithSpecificPlace(String placeName) {
42
 
                return false;
43
 
        }
44
 
 
45
 
        @Override
46
41
        public boolean containsAtomicPropositionWithSpecificPlaceInTemplate(
47
42
                        String templateName, String placeName) {
48
43
                return false;
49
44
        }
 
45
        
 
46
        @Override
 
47
        public boolean containsAtomicPropositionWithSpecificTransitionInTemplate(
 
48
                        String templateName, String transitionName) {
 
49
                return false;
 
50
        }
50
51
 
51
52
        @Override
52
53
        public boolean containsPlaceHolder() {