Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
Public Member Functions | List of all members
storm::utility::VectorHelper< ValueType > Class Template Reference

#include <VectorHelper.h>

Public Member Functions

 VectorHelper ()
 
void reduceVector (storm::solver::OptimizationDirection dir, std::vector< ValueType > const &source, std::vector< ValueType > &target, std::vector< uint_fast64_t > const &rowGrouping, std::vector< uint_fast64_t > *choices=nullptr) const
 
bool parallelize () const
 
void reduceVector (storm::solver::OptimizationDirection, std::vector< storm::RationalFunction > const &, std::vector< storm::RationalFunction > &, std::vector< uint_fast64_t > const &, std::vector< uint_fast64_t > *) const
 

Detailed Description

template<typename ValueType>
class storm::utility::VectorHelper< ValueType >

Definition at line 12 of file VectorHelper.h.

Constructor & Destructor Documentation

◆ VectorHelper()

template<typename ValueType >
storm::utility::VectorHelper< ValueType >::VectorHelper ( )

Definition at line 20 of file VectorHelper.cpp.

Member Function Documentation

◆ parallelize()

template<typename ValueType >
bool storm::utility::VectorHelper< ValueType >::parallelize ( ) const

Definition at line 27 of file VectorHelper.cpp.

◆ reduceVector() [1/2]

template<typename ValueType >
void storm::utility::VectorHelper< ValueType >::reduceVector ( storm::solver::OptimizationDirection  dir,
std::vector< ValueType > const &  source,
std::vector< ValueType > &  target,
std::vector< uint_fast64_t > const &  rowGrouping,
std::vector< uint_fast64_t > *  choices = nullptr 
) const

Definition at line 32 of file VectorHelper.cpp.

◆ reduceVector() [2/2]

void storm::utility::VectorHelper< storm::RationalFunction >::reduceVector ( storm::solver::OptimizationDirection  ,
std::vector< storm::RationalFunction > const &  ,
std::vector< storm::RationalFunction > &  ,
std::vector< uint_fast64_t > const &  ,
std::vector< uint_fast64_t > *   
) const

Definition at line 46 of file VectorHelper.cpp.

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