storm::builder::ParallelCompositionBuilder< ValueType > Class Template Reference

Build a parallel composition of Markov chains. More...

#include <ParallelCompositionBuilder.h>

Static Public Member Functions
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)

Detailed Description

template<typename ValueType>
class storm::builder::ParallelCompositionBuilder< ValueType >

Build a parallel composition of Markov chains.

Definition at line 13 of file ParallelCompositionBuilder.h.

Member Function Documentation

compose()

template<typename ValueType >

std::shared_ptr< storm::models::sparse::Ctmc< ValueType > > storm::builder::ParallelCompositionBuilder< ValueType >::compose ( std::shared_ptr< storm::models::sparse::Ctmc< ValueType > > const &  ctmcA, std::shared_ptr< storm::models::sparse::Ctmc< ValueType > > const &  ctmcB, bool  labelAnd  )

static

Definition at line 10 of file ParallelCompositionBuilder.cpp.

---

The documentation for this class was generated from the following files:

• src/storm/builder/ParallelCompositionBuilder.h
• src/storm/builder/ParallelCompositionBuilder.cpp