ParallelCompositionBuilder.h

Go to the documentation of this file.

#ifndef PARALLELCOMPOSITIONBUILDER_H
#define PARALLELCOMPOSITIONBUILDER_H
 
#include "storm/models/sparse/Ctmc.h"
 
namespace storm {
namespace builder {
 
template<typename ValueType>
class ParallelCompositionBuilder {
   public:
    static std::shared_ptr<storm::models::sparse::Ctmc<ValueType>> compose(std::shared_ptr<storm::models::sparse::Ctmc<ValueType>> const& ctmcA,
                                                                           std::shared_ptr<storm::models::sparse::Ctmc<ValueType>> const& ctmcB, bool labelAnd);
};
 
}  // namespace builder
}  // namespace storm
 
#endif /* PARALLELCOMPOSITIONBUILDER_*/