SparseAccumulator.h

Go to the documentation of this file.

#pragma once
 
#include <cstdint>
#include <type_traits>
#include <vector>
 
namespace storm::bisimulation {

template<typename ValueType>
class SparseAccumulator {
   public:
    explicit SparseAccumulator(uint64_t const numStates);

    std::vector<ValueType> const& getValues() const;

    std::vector<uint64_t> const& getNonDefaultStates() const;

    void addValue(uint64_t const state, ValueType value);

    void clear();
 
   private:
    static ValueType defaultValue();
 
    std::vector<ValueType> values;           // stores the value for each state
    std::vector<uint64_t> nonDefaultStates;  // stores those states with a non-default value
};

using WrappingSetAccumulator = SparseAccumulator<uint64_t>;
 
}  // namespace storm::bisimulation