DirectEncodingParser.h File Reference

#include <filesystem>
#include <memory>
#include "storm-parsers/storm-parsers-api.h"
#include "storm/models/sparse/Model.h"
#include "storm/models/sparse/StandardRewardModel.h"

Include dependency graph for DirectEncodingParser.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
struct	storm::parser::DirectEncodingParserOptions

Namespaces
namespace	storm
namespace	storm::parser
	Contains all file parsers and helper classes.

Enumerations
enum class	storm::parser::DirectEncodingValueType {   storm::parser::Default , storm::parser::Double , storm::parser::DoubleInterval , storm::parser::Rational ,   storm::parser::RationalInterval , storm::parser::Parametric }

Functions
std::shared_ptr< storm::models::ModelBase >	storm::parser::parseDirectEncodingModel (std::filesystem::path const &file, DirectEncodingValueType valueType, DirectEncodingParserOptions const &options=DirectEncodingParserOptions())
	Parses the given file in DRN format.
template<typename ValueType, typename RewardModelType = models::sparse::StandardRewardModel<ValueType>>
STORM_PARSERS_API std::shared_ptr< storm::models::sparse::Model< ValueType, RewardModelType > >	storm::parser::parseDirectEncodingModel (std::filesystem::path const &file, DirectEncodingParserOptions const &options=DirectEncodingParserOptions())
	Parses the given file in DRN format.