storm::parser::SparseChoiceLabelingParser Class Reference

A class providing the functionality to parse a choice labeling. More...

#include <SparseChoiceLabelingParser.h>

Static Public Member Functions
static std::vector< storm::storage::FlatSet< uint_fast64_t > >	parseChoiceLabeling (std::vector< uint_fast64_t > const &nondeterministicChoiceIndices, std::string const &filename)
	Parses the given file and returns the resulting choice labeling.

Detailed Description

A class providing the functionality to parse a choice labeling.

Definition at line 14 of file SparseChoiceLabelingParser.h.

Member Function Documentation

parseChoiceLabeling()

std::vector< storm::storage::FlatSet< uint_fast64_t > > storm::parser::SparseChoiceLabelingParser::parseChoiceLabeling ( std::vector< uint_fast64_t > const &  nondeterministicChoiceIndices, std::string const &  filename  )

static

Parses the given file and returns the resulting choice labeling.

Parameters

nondeterministicChoiceIndices	The indices at which the choices of the states begin.
filename	The name of the file to parse.

Returns

The resulting choice labeling.

Definition at line 15 of file SparseChoiceLabelingParser.cpp.

---

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

• src/storm-parsers/parser/SparseChoiceLabelingParser.h
• src/storm-parsers/parser/SparseChoiceLabelingParser.cpp