Decomposition.h

Go to the documentation of this file.

#ifndef STORM_STORAGE_DECOMPOSITION_H_
#define STORM_STORAGE_DECOMPOSITION_H_
 
#include <cstdint>
#include <ostream>
#include <vector>
 
#include "storm/models/sparse/Model.h"
#include "storm/storage/SparseMatrix.h"
 
namespace storm {
namespace storage {
 
template<typename BlockType>
class Decomposition {
   public:
    typedef BlockType block_type;
    typedef typename std::vector<block_type>::iterator iterator;
    typedef typename std::vector<block_type>::const_iterator const_iterator;
 
    Decomposition();
 
    virtual ~Decomposition() = default;
 
    Decomposition(Decomposition const& other);
 
    Decomposition& operator=(Decomposition const& other);
 
    Decomposition(Decomposition&& other);
 
    Decomposition& operator=(Decomposition&& other);
 
    std::size_t size() const;
 
    bool empty() const;
 
    iterator begin();
 
    iterator end();
 
    const_iterator begin() const;
 
    const_iterator end() const;
 
    block_type const& getBlock(uint_fast64_t index) const;
 
    block_type& getBlock(uint_fast64_t index);
 
    block_type const& operator[](uint_fast64_t index) const;
 
    block_type& operator[](uint_fast64_t index);
 
    // Declare the streaming operator as a friend function to enable output of decompositions.
    template<typename BlockTypePrime>
    friend std::ostream& operator<<(std::ostream& out, Decomposition<BlockTypePrime> const& decomposition);
 
    template<typename ValueType>
    storm::storage::SparseMatrix<ValueType> extractPartitionDependencyGraph(storm::storage::SparseMatrix<ValueType> const& matrix) const;
 
   protected:
    // The blocks of the decomposition.
    std::vector<block_type> blocks;
};
}  // namespace storage
}  // namespace storm
 
#endif /* STORM_STORAGE_DECOMPOSITION_H_ */