Distribution.h

Go to the documentation of this file.

#pragma once
 
#include <vector>
 
#include "storm/generator/DistributionEntry.h"
 
namespace storm::generator {
 
template<typename IndexType, typename ValueType>
class Distribution {
   public:
    typedef std::vector<DistributionEntry<IndexType, ValueType>> ContainerType;
 
    Distribution();
 
    Distribution(Distribution const&);
    Distribution(Distribution&&);
    Distribution& operator=(Distribution const&);
    Distribution& operator=(Distribution&&);
 
    void add(DistributionEntry<IndexType, ValueType> const& entry);
 
    void add(IndexType const& index, ValueType const& value);
 
    void add(Distribution&& distribution);
 
    void compress();
 
    void divide(ValueType const& value);
 
    void clear();
 
    typename ContainerType::iterator begin();
    typename ContainerType::const_iterator begin() const;
    typename ContainerType::iterator end();
    typename ContainerType::const_iterator end() const;
 
   private:
    // The underlying storage of the distribution.
    ContainerType storage;
 
    bool compressed;
};
 
}  // namespace storm::generator