storm::parser::PrismParserGrammar Class Reference

#include <PrismParserGrammar.h>

Inheritance diagram for storm::parser::PrismParserGrammar:

Collaboration diagram for storm::parser::PrismParserGrammar:

Static Public Member Functions
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.
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 syntax.

Detailed Description

Definition at line 94 of file PrismParserGrammar.h.

Member Function Documentation

parse()

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

static

Parses the given file into the PRISM storage classes assuming it complies with the PRISM syntax.

Parameters

filename

the name of the file to parse.

Returns

The resulting PRISM program.

Definition at line 21 of file PrismParserGrammar.cpp.

parseFromString()

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

static

Parses the given input stream into the PRISM storage classes assuming it complies with the PRISM syntax.

Parameters

input	The input string to parse.
filename	The name of the file from which the input was read.

Returns

The resulting PRISM program.

Definition at line 46 of file PrismParserGrammar.cpp.

---

The documentation for this class was generated from the following files:

• src/storm-parsers/parser/PrismParserGrammar.h
• src/storm-parsers/parser/PrismParserGrammar.cpp