storm::solver::MultiplierFactory< ValueType > Class Template Reference

#include <Multiplier.h>

Public Member Functions
	MultiplierFactory ()=default
	~MultiplierFactory ()=default
std::unique_ptr< Multiplier< ValueType > >	create (Environment const &env, storm::storage::SparseMatrix< ValueType > const &matrix)

Detailed Description

template<typename ValueType>
class storm::solver::MultiplierFactory< ValueType >

Definition at line 163 of file Multiplier.h.

Constructor & Destructor Documentation

MultiplierFactory()

template<typename ValueType >

storm::solver::MultiplierFactory< ValueType >::MultiplierFactory ( )

default

~MultiplierFactory()

template<typename ValueType >

storm::solver::MultiplierFactory< ValueType >::~MultiplierFactory ( )

default

Member Function Documentation

create()

template<typename ValueType >

std::unique_ptr< Multiplier< ValueType > > storm::solver::MultiplierFactory< ValueType >::create	(	Environment const &	env,
		storm::storage::SparseMatrix< ValueType > const &	matrix
	)

Definition at line 124 of file Multiplier.cpp.

---

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

• src/storm/solver/multiplier/Multiplier.h
• src/storm/solver/multiplier/Multiplier.cpp