SparseItemLabelingParser.h

Go to the documentation of this file.

#pragma once
 
#include <boost/optional.hpp>
#include <cstdint>
#include <string>
 
#include "storm-parsers/parser/MappedFile.h"
#include "storm/models/sparse/ChoiceLabeling.h"
#include "storm/models/sparse/StateLabeling.h"
 
namespace storm {
namespace parser {
 
class SparseItemLabelingParser {
   public:
    static storm::models::sparse::StateLabeling parseAtomicPropositionLabeling(uint_fast64_t stateCount, std::string const& filename);
 
    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);
 
   private:
    static void checkSyntax(std::string const& filename, storm::parser::MappedFile const& file);
 
    static void parseLabelNames(std::string const& filename, storm::models::sparse::ItemLabeling& labeling, char const*& buf);
 
    static void parseDeterministicLabelAssignments(std::string const& filename, storm::models::sparse::ItemLabeling& labeling, char const*& buf);
 
    static void parseNonDeterministicLabelAssignments(std::string const& filename, storm::models::sparse::ChoiceLabeling& labeling,
                                                      std::vector<uint_fast64_t> const& nondeterministicChoiceIndices, char const*& buf);
};
 
}  // namespace parser
}  // namespace storm