← 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/TCTLPlusListNode.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/TCTLPlusListNode.java
53
53
        }
54
54
 
55
55
        @Override
56
 
        public boolean containsAtomicPropWithSpecificPlace(String placeName) {
57
 
                for(TCTLAbstractStateProperty term : terms){
58
 
                        if(term.containsAtomicPropWithSpecificPlace(placeName)){
59
 
                                return true;
60
 
                        }
61
 
                }
62
 
                return false;
63
 
        }
64
 
 
65
 
        @Override
66
56
        public boolean containsAtomicPropositionWithSpecificPlaceInTemplate(
67
57
                        String templateName, String placeName) {
68
58
                for(TCTLAbstractStateProperty term : terms){
72
62
                }
73
63
                return false;
74
64
        }
 
65
        
 
66
        @Override
 
67
        public boolean containsAtomicPropositionWithSpecificTransitionInTemplate(
 
68
                        String templateName, String transitionName) {
 
69
                for(TCTLAbstractStateProperty term : terms){
 
70
                        if(term.containsAtomicPropositionWithSpecificTransitionInTemplate(templateName, transitionName)){
 
71
                                return true;
 
72
                        }
 
73
                }
 
74
                return false;
 
75
        }
75
76
 
76
77
        @Override
77
78
        public boolean containsPlaceHolder() {
108
109
                
109
110
                return sb.toString().trim();
110
111
        }
111
 
        
112
 
        @Override
113
 
        public boolean isSimpleProperty() {
114
 
                return parent instanceof TCTLAtomicPropositionNode;
115
 
        }
116
112
}