This class can be used to parse a labeling file. More...

Static Public Member Functions
static storm::models::sparse::StateLabeling	parseAtomicPropositionLabeling (uint_fast64_t stateCount, std::string const &filename)
	Parses the given file and returns the resulting state labeling.

static storm::models::sparse::ChoiceLabeling	parseChoiceLabeling (uint_fast64_t choiceCount, std::string const &filename, boost::optional< std::vector< uint_fast64_t > > const &nondeterministicChoiceIndices=boost::none)
	Parses the given file and returns the resulting choice labeling.

Detailed Description

This class can be used to parse a labeling file.

Definition at line 17 of file SparseItemLabelingParser.h.

Member Function Documentation

storm::models::sparse::StateLabeling storm::parser::SparseItemLabelingParser::parseAtomicPropositionLabeling	(	uint_fast64_t	stateCount,
		std::string const &	filename
	)

static

Parses the given file and returns the resulting state labeling.

Parameters

stateCount	The number of states of the model to be labeled.
filename	The path and name of the labeling (.lab) file.

storm::models::sparse::ChoiceLabeling storm::parser::SparseItemLabelingParser::parseChoiceLabeling	(	uint_fast64_t	choiceCount,
		std::string const &	filename,
		boost::optional< std::vector< uint_fast64_t > > const &	nondeterministicChoiceIndices = `boost::none`
	)

static

Parses the given file and returns the resulting choice labeling.

Parameters

choiceCount	the number of choices of the model.
filename	The name of the file to parse.
nondeterministicChoiceIndices	if given, the choices are assumed to be nondeterministic, i.e., a choice is specified by a tuple of state index and (local) choice index.

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