← Back to branch summary

~tapaal-contributor/tapaal/autodetect-lens-check2

« back to all changes in this revision

Viewing changes to src/pipe/gui/Verifier.java

merged in  lp:~tapaal-contributor/tapaal/implement-game-ui-1884499 adding implementation of game UI 

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/pipe/gui/Verifier.java
66
66
                
67
67
                if(tapnNetwork.isUntimed()){
68
68
                        modelChecker = getVerifyPN();
69
 
                } else if(tapnNetwork.hasWeights() || tapnNetwork.hasUrgentTransitions()){
 
69
                } else if(tapnNetwork.hasWeights() || tapnNetwork.hasUrgentTransitions() || tapnNetwork.hasUncontrollableTransitions()){
70
70
                        modelChecker = getVerifydTAPN();
71
71
                } else {
72
72
                        modelChecker = getVerifyTAPN();