This class provides easy access to a benchmark of the Quantitative Verification Benchmark Set http://qcomp.org/benchmarks/. More...

#include <Qvbs.h>

Public Member Functions
	QvbsBenchmark (std::string const &modelName)

std::string const &	getJaniFile (uint64_t instanceIndex=0) const

std::string const &	getConstantDefinition (uint64_t instanceIndex=0) const

std::string	getInfo (uint64_t instanceIndex=0, boost::optional< std::vector< std::string > > propertyFilter=boost::none) const

Detailed Description

This class provides easy access to a benchmark of the Quantitative Verification Benchmark Set http://qcomp.org/benchmarks/.

Definition at line 17 of file Qvbs.h.

Constructor & Destructor Documentation

storm::storage::QvbsBenchmark::QvbsBenchmark ( std::string const & modelName )

Parameters

modelName the (short) model name of the considered model.

Definition at line 61 of file Qvbs.cpp.

std::string const & storm::storage::QvbsBenchmark::getConstantDefinition ( uint64_t instanceIndex = 0 ) const

Definition at line 112 of file Qvbs.cpp.

std::string storm::storage::QvbsBenchmark::getInfo	(	uint64_t	instanceIndex = `0`,
		boost::optional< std::vector< std::string > >	propertyFilter = `boost::none`
	)		const

Definition at line 118 of file Qvbs.cpp.

std::string const & storm::storage::QvbsBenchmark::getJaniFile ( uint64_t instanceIndex = 0 ) const

Definition at line 107 of file Qvbs.cpp.

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