← Back to branch summary

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

« back to all changes in this revision

Viewing changes to src/dk/aau/cs/verification/BoundednessAnalysisResult.java

merged in lp:~yrke/tapaal/removeSpecialBatchLoading removing special loading of nets in batch processing

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/dk/aau/cs/verification/BoundednessAnalysisResult.java
1
1
package dk.aau.cs.verification;
2
2
 
3
3
public class BoundednessAnalysisResult {
4
 
        private int maxUsedTokens;
5
 
        private int totalTokens;
6
 
        private int extraTokens;
7
 
        private boolean isUPPAAL;
 
4
        private final int maxUsedTokens;
 
5
        private final int totalTokens;
 
6
        private final int extraTokens;
 
7
        private boolean isUPPAAL;
8
8
        
9
9
        public BoundednessAnalysisResult(int totalTokens, int maxUsedTokens, int extraTokens){
10
10
                this.maxUsedTokens = maxUsedTokens;