d2/dc9/_prism_parser_8h_source.html

#pragma once


#include <string>

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


namespace storm::parser {


class 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:8

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:32

storm::parser
Contains all file parsers and helper classes.
Definition GspnParser.cpp:13