Storm 1.14.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
AtomicPropositionLabelingParser.h
Go to the documentation of this file.
1#pragma once
2
3#include <cstdint>
4#include "storm/models/sparse/StateLabeling.h"
5
6namespace storm {
7namespace parser {
8
14class AtomicPropositionLabelingParser {
15 public:
23 static storm::models::sparse::StateLabeling parseAtomicPropositionLabeling(uint_fast64_t stateCount, std::string const &filename);
24};
25
26} // namespace parser
27} // namespace storm
storm::models::sparse::StateLabeling
This class manages the labeling of the state space with a number of (atomic) labels.
Definition StateLabeling.h:16
storm::parser::AtomicPropositionLabelingParser
This class can be used to parse a labeling file.
Definition AtomicPropositionLabelingParser.h:14
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:18
storm::parser
Contains all file parsers and helper classes.
Definition DFTGalileoParser.h:6