← Back to branch summary

~tapaal-contributor/tapaal/tikz-export-label-placement-1820528

« back to all changes in this revision

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

merged in branch lp:~tapaal-contributor/tapaal/batch-processing-for-workflows-1272214 that adds soundness checks to batch processing

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/dk/aau/cs/verification/Stats.java
46
46
                this.explored = explored;
47
47
                this.stored = stored;   
48
48
                this.transitionStats = transitionStats;
49
 
                this.placeBoundStats = placeBoundStats;
 
49
        this.placeBoundStats = placeBoundStats;
50
50
                this.minExecutionTime = minExecutionTime;
51
51
                this.maxExecutionTime = maxExecutionTime;
52
52
                this.coveredMarking = coveredMarking;
138
138
    public long getExploredConfigurations() {
139
139
        return exploredConfigurations;
140
140
    }
 
141
    
 
142
    public void addStats(Stats stats) {
 
143
        explored += stats.exploredStates();
 
144
        discovered += stats.discoveredStates();
 
145
        stored += stats.storedStates();
 
146
    }
141
147
 
142
148
        public ArrayList<Tuple<String, Tuple<BigDecimal, Integer>>> getCoveredMarking(){
143
149
                return coveredMarking;