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 63 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 64 of file sampling.h.

Member Function Documentation

empty()

template<typename ValueType>

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

inline

Definition at line 68 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 74 of file sampling.h.

exact

template<typename ValueType>

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

Definition at line 76 of file sampling.h.

graphPreserving

template<typename ValueType>

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

Definition at line 75 of file sampling.h.

---

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

• src/storm-pars-cli/sampling.h