storm::parser::PrismParser Class Reference

#include <PrismParser.h>

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 8 of file PrismParser.h.

Member Function Documentation

parse()

storm::prism::Program storm::parser::PrismParser::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 5 of file PrismParser.cpp.

parseFromString()

storm::prism::Program storm::parser::PrismParser::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 9 of file PrismParser.cpp.

---

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

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