Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
AtomicPropositionLabelingParser.h
Go to the documentation of this file.
1#ifndef STORM_PARSER_ATOMICPROPOSITIONLABELINGPARSER_H_
2#define STORM_PARSER_ATOMICPROPOSITIONLABELINGPARSER_H_
3
4#include <cstdint>
5#include "storm/models/sparse/StateLabeling.h"
6
7namespace storm {
8namespace parser {
9
15class AtomicPropositionLabelingParser {
16 public:
24 static storm::models::sparse::StateLabeling parseAtomicPropositionLabeling(uint_fast64_t stateCount, std::string const &filename);
25};
26
27} // namespace parser
28} // namespace storm
29
30#endif /* STORM_PARSER_ATOMICPROPOSITIONLABELINGPARSER_H_ */
storm::models::sparse::StateLabeling
This class manages the labeling of the state space with a number of (atomic) labels.
Definition StateLabeling.h:19
storm::parser::AtomicPropositionLabelingParser
This class can be used to parse a labeling file.
Definition AtomicPropositionLabelingParser.h:15
storm::parser::AtomicPropositionLabelingParser::parseAtomicPropositionLabeling
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.
Definition AtomicPropositionLabelingParser.cpp:25
storm
LabParser.cpp.
Definition cli.cpp:18