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
5#include "storm-parsers/storm-parsers-api.h"
6#include "storm/models/sparse/StateLabeling.h"
7
8namespace storm {
9namespace parser {
10
16class STORM_PARSERS_API AtomicPropositionLabelingParser {
17 public:
25 static storm::models::sparse::StateLabeling parseAtomicPropositionLabeling(uint_fast64_t stateCount, std::string const &filename);
26};
27
28} // namespace parser
29} // 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:16
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
STORM_PARSERS_API
#define STORM_PARSERS_API
Definition storm-parsers-api.h:7