Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
Public Member Functions | Public Attributes | List of all members
storm::pars::SampleInformation< ValueType > Struct Template Reference

#include <sampling.h>

Public Member Functions

 SampleInformation (bool graphPreserving=false, bool exact=false)
 
bool empty () const
 

Public Attributes

std::vector< std::map< typename storm::utility::parametric::VariableType< ValueType >::type, std::vector< typename storm::utility::parametric::CoefficientType< ValueType >::type > > > cartesianProducts
 
bool graphPreserving
 
bool exact
 

Detailed Description

template<typename ValueType>
struct storm::pars::SampleInformation< ValueType >

Definition at line 61 of file sampling.h.

Constructor & Destructor Documentation

◆ SampleInformation()

template<typename ValueType >
storm::pars::SampleInformation< ValueType >::SampleInformation ( bool  graphPreserving = false,
bool  exact = false 
)
inline

Definition at line 62 of file sampling.h.

Member Function Documentation

◆ empty()

template<typename ValueType >
bool storm::pars::SampleInformation< ValueType >::empty ( ) const
inline

Definition at line 66 of file sampling.h.

Member Data Documentation

◆ cartesianProducts

template<typename ValueType >
std::vector<std::map<typename storm::utility::parametric::VariableType<ValueType>::type, std::vector<typename storm::utility::parametric::CoefficientType<ValueType>::type> > > storm::pars::SampleInformation< ValueType >::cartesianProducts

Definition at line 72 of file sampling.h.

◆ exact

template<typename ValueType >
bool storm::pars::SampleInformation< ValueType >::exact

Definition at line 74 of file sampling.h.

◆ graphPreserving

template<typename ValueType >
bool storm::pars::SampleInformation< ValueType >::graphPreserving

Definition at line 73 of file sampling.h.

The documentation for this struct was generated from the following file: