storm::parser::FormulaParser Class Reference

#include <FormulaParser.h>

Public Member Functions
	FormulaParser ()
	FormulaParser (std::shared_ptr< storm::expressions::ExpressionManager const > const &manager)
	FormulaParser (std::shared_ptr< storm::expressions::ExpressionManager > const &manager)
	FormulaParser (storm::prism::Program const &program)
	FormulaParser (storm::prism::Program &program)
	FormulaParser (FormulaParser const &other)
FormulaParser &	operator= (FormulaParser const &other)
std::shared_ptr< storm::logic::Formula const >	parseSingleFormulaFromString (std::string const &formulaString) const
	Parses the formula given by the provided string.
std::vector< storm::jani::Property >	parseFromString (std::string const &propertyString) const
	Parses the property given by the provided string.
std::vector< storm::jani::Property >	parseFromFile (std::string const &filename) const
	Parses the properties in the given file.
void	addIdentifierExpression (std::string const &identifier, storm::expressions::Expression const &expression)
	Adds an identifier and the expression it is supposed to be replaced with.

Detailed Description

Definition at line 21 of file FormulaParser.h.

Constructor & Destructor Documentation

FormulaParser() [1/6]

storm::parser::FormulaParser::FormulaParser

(

)

Definition at line 22 of file FormulaParser.cpp.

FormulaParser() [2/6]

storm::parser::FormulaParser::FormulaParser ( std::shared_ptr< storm::expressions::ExpressionManager const > const &  manager )

explicit

Definition at line 26 of file FormulaParser.cpp.

FormulaParser() [3/6]

storm::parser::FormulaParser::FormulaParser ( std::shared_ptr< storm::expressions::ExpressionManager > const &  manager )

explicit

Definition at line 31 of file FormulaParser.cpp.

FormulaParser() [4/6]

storm::parser::FormulaParser::FormulaParser ( storm::prism::Program const &  program )

explicit

Definition at line 36 of file FormulaParser.cpp.

FormulaParser() [5/6]

storm::parser::FormulaParser::FormulaParser ( storm::prism::Program &  program )

explicit

Definition at line 39 of file FormulaParser.cpp.

FormulaParser() [6/6]

storm::parser::FormulaParser::FormulaParser

(

FormulaParser const &

other

)

Definition at line 42 of file FormulaParser.cpp.

Member Function Documentation

addIdentifierExpression()

void storm::parser::FormulaParser::addIdentifierExpression	(	std::string const &	identifier,
		storm::expressions::Expression const &	expression
	)

Adds an identifier and the expression it is supposed to be replaced with.

This can, for example be used to substitute special identifiers in the formula by expressions.

Parameters

identifier	The identifier that is supposed to be substituted.
expression	The expression it is to be substituted with.

Definition at line 106 of file FormulaParser.cpp.

operator=()

FormulaParser & storm::parser::FormulaParser::operator=

(

FormulaParser const &

other

)

Definition at line 47 of file FormulaParser.cpp.

parseFromFile()

std::vector< storm::jani::Property > storm::parser::FormulaParser::parseFromFile

(

std::string const &

filename

)

const

Parses the properties in the given file.

Parameters

filename

The name of the file to parse.

Returns

The contained properties.

Definition at line 62 of file FormulaParser.cpp.

parseFromString()

std::vector< storm::jani::Property > storm::parser::FormulaParser::parseFromString

(

std::string const &

propertyString

)

const

Parses the property given by the provided string.

Parameters

propertyString

The formula as a string.

Returns

The contained properties.

Definition at line 84 of file FormulaParser.cpp.

parseSingleFormulaFromString()

std::shared_ptr< storm::logic::Formula const > storm::parser::FormulaParser::parseSingleFormulaFromString

(

std::string const &

formulaString

)

const

Parses the formula given by the provided string.

Parameters

formulaString

The formula as a string.

Returns

The resulting formula.

Definition at line 55 of file FormulaParser.cpp.

---

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

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