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)
	Reads a label file and puts the result in an AtomicPropositionsLabeling object.

Detailed Description

This class can be used to parse a labeling file.

Since the labeling is state based, the same label parser can be used for all models.

Member Function Documentation

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

static

Reads a label file and puts the result in an AtomicPropositionsLabeling object.

Parameters

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

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