storm::pars::api Namespace Reference

Functions
template<>
void	exportParametricResultToFile (std::optional< storm::RationalFunction > result, storm::OptionalRef< storm::analysis::ConstraintCollector< storm::RationalFunction > const > const &constraintCollector, std::string const &path)
template<typename ValueType>
void	exportParametricResultToFile (std::optional< ValueType >, storm::OptionalRef< storm::analysis::ConstraintCollector< ValueType > const > const &, std::string const &)
template<>
void	exportParametricResultToFile (std::optional< storm::RationalFunction > result, storm::OptionalRef< storm::analysis::ConstraintCollector< storm::RationalFunction > const > const &constraintCollector, std::string const &path)

Function Documentation

exportParametricResultToFile() [1/3]

template<>

void storm::pars::api::exportParametricResultToFile	(	std::optional< storm::RationalFunction >	result,
		storm::OptionalRef< storm::analysis::ConstraintCollector< storm::RationalFunction > const > const &	constraintCollector,
		std::string const &	path )

Definition at line 15 of file export.cpp.

exportParametricResultToFile() [2/3]

template<>

void storm::pars::api::exportParametricResultToFile	(	std::optional< storm::RationalFunction >	result,
		storm::OptionalRef< storm::analysis::ConstraintCollector< storm::RationalFunction > const > const &	constraintCollector,
		std::string const &	path )

Definition at line 15 of file export.cpp.

exportParametricResultToFile() [3/3]

template<typename ValueType>

void storm::pars::api::exportParametricResultToFile	(	std::optional< ValueType >	,
		storm::OptionalRef< storm::analysis::ConstraintCollector< ValueType > const > const &	,
		std::string const &	)

Definition at line 18 of file export.h.