Decomposition.h

Go to the documentation of this file.

#pragma once
 
#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