← Back to branch summary

~yrke/tapaal/slimImageIcons-2

« back to all changes in this revision

Viewing changes to src/dk/aau/cs/approximation/OverApproximation.java

  • Committer: Jiri Srba
  • Date: 2020-04-28 19:15:28 UTC
  • mfrom: (998.2.376 testbranch)
  • Revision ID: srba@cs.aau.dk-20200428191528-3xxjqa1r4jcob5ur
merged in lp:~yrke/tapaal/testbranch doing majour refactoring of the GUI

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/dk/aau/cs/approximation/OverApproximation.java
227
227
                        TCTLNotNode notNode = new TCTLNotNode(pBlock);
228
228
                        
229
229
                        if(((TCTLAGNode) topNode).getProperty() instanceof TCTLOrListNode){
230
 
                                ((TCTLOrListNode) ((TCTLAGNode) topNode).getProperty()).addDisjunct(notNode);;
 
230
                                ((TCTLOrListNode) ((TCTLAGNode) topNode).getProperty()).addDisjunct(notNode);
231
231
                        }
232
232
                        else{
233
233
                                TCTLOrListNode orList = new TCTLOrListNode((((TCTLAGNode) topNode).getProperty()), notNode);
250
250
                        TCTLNotNode notNode = new TCTLNotNode(pBlock);
251
251
                        
252
252
                        if(((TCTLAFNode) topNode).getProperty() instanceof TCTLOrListNode){
253
 
                                ((TCTLOrListNode) ((TCTLAFNode) topNode).getProperty()).addDisjunct(notNode);;
 
253
                                ((TCTLOrListNode) ((TCTLAFNode) topNode).getProperty()).addDisjunct(notNode);
254
254
                        }
255
255
                        else{
256
256
                                TCTLOrListNode orList = new TCTLOrListNode((((TCTLAFNode) topNode).getProperty()), notNode);