49 static std::shared_ptr<storm::models::sparse::Model<ValueType, storm::models::sparse::StandardRewardModel<RewardValueType>>>
parseModel(
50 std::string
const& transitionsFilename, std::string
const& labelingFilename, std::string
const& stateRewardFilename =
"",
51 std::string
const& transitionRewardFilename =
"", std::string
const& choiceLabelingFilename =
"");
55 static uint_fast64_t hintLength;
static std::shared_ptr< storm::models::sparse::Model< ValueType, storm::models::sparse::StandardRewardModel< RewardValueType > > > parseModel(std::string const &transitionsFilename, std::string const &labelingFilename, std::string const &stateRewardFilename="", std::string const &transitionRewardFilename="", std::string const &choiceLabelingFilename="")
Checks the given files and parses the model within these files.