d2/dc9/_prism_parser_8h_source.html

#pragma once


#include <string>


#include "storm-parsers/storm-parsers-api.h"

#include "storm/storage/prism/Program.h"


namespace storm::parser {


class STORM_PARSERS_API PrismParser {

   public:

    static storm::prism::Program parse(std::string const& filename, bool prismCompatability = false);


    static storm::prism::Program parseFromString(std::string const& input, std::string const& filename, bool prismCompatability = false);

};


}  // namespace storm::parser

Program.h

storm::parser::PrismParser
Definition PrismParser.h:10

storm::parser::PrismParser::parseFromString
static storm::prism::Program parseFromString(std::string const &input, std::string const &filename, bool prismCompatability=false)
Parses the given input stream into the PRISM storage classes assuming it complies with the PRISM synt...
Definition PrismParser.cpp:9

storm::parser::PrismParser::parse
static storm::prism::Program parse(std::string const &filename, bool prismCompatability=false)
Parses the given file into the PRISM storage classes assuming it complies with the PRISM syntax.
Definition PrismParser.cpp:5

storm::prism::Program
Definition Program.h:30

storm::parser
Contains all file parsers and helper classes.
Definition DFTGalileoParser.h:6

storm-parsers-api.h

STORM_PARSERS_API
#define STORM_PARSERS_API
Definition storm-parsers-api.h:7