← Back to branch summary

~tapaal-contributor/tapaal/add-java-info-1890600

« back to all changes in this revision

Viewing changes to src/dk/aau/cs/verification/Stats.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/Stats.java
7
7
import dk.aau.cs.util.Tuple;
8
8
 
9
9
public class Stats {
10
 
        private long discovered;
 
10
        private final long discovered;
11
11
        private long explored;
12
12
        private long stored;
13
13