← Back to branch summary

~boginw/tapaal/multiplayer

« back to all changes in this revision

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

  • Committer: Bogi Napoleon Wennerstrøm
  • Date: 2020-04-08 13:12:38 UTC
  • mfrom: (998.2.361 testbranch)
  • Revision ID: bogi.wennerstrom@gmail.com-20200408131238-6daa9ocph3zgx1ag
merged ~yrke changes

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);