storm::parser::FormulaParserGrammar Class Reference

#include <FormulaParserGrammar.h>

Inheritance diagram for storm::parser::FormulaParserGrammar:

Collaboration diagram for storm::parser::FormulaParserGrammar:

Public Member Functions
	FormulaParserGrammar (std::shared_ptr< storm::expressions::ExpressionManager const > const &manager)
	FormulaParserGrammar (std::shared_ptr< storm::expressions::ExpressionManager > const &manager)
	FormulaParserGrammar (FormulaParserGrammar const &other)=delete
FormulaParserGrammar &	operator= (FormulaParserGrammar const &other)=delete
void	addIdentifierExpression (std::string const &identifier, storm::expressions::Expression const &expression)
	Adds an identifier and the expression it is supposed to be replaced with.
qi::symbols< char, storm::expressions::Expression > const &	getIdentifiers () const

Detailed Description

Definition at line 23 of file FormulaParserGrammar.h.

Constructor & Destructor Documentation

FormulaParserGrammar() [1/3]

storm::parser::FormulaParserGrammar::FormulaParserGrammar

(

std::shared_ptr< storm::expressions::ExpressionManager const > const &

manager

)

Definition at line 10 of file FormulaParserGrammar.cpp.

FormulaParserGrammar() [2/3]

storm::parser::FormulaParserGrammar::FormulaParserGrammar

(

std::shared_ptr< storm::expressions::ExpressionManager > const &

manager

)

Definition at line 15 of file FormulaParserGrammar.cpp.

FormulaParserGrammar() [3/3]

storm::parser::FormulaParserGrammar::FormulaParserGrammar ( FormulaParserGrammar const &  other )

delete

Member Function Documentation

addIdentifierExpression()

void storm::parser::FormulaParserGrammar::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 321 of file FormulaParserGrammar.cpp.

getIdentifiers()

qi::symbols< char, storm::expressions::Expression > const & storm::parser::FormulaParserGrammar::getIdentifiers

(

)

const

Definition at line 20 of file FormulaParserGrammar.cpp.

operator=()

FormulaParserGrammar & storm::parser::FormulaParserGrammar::operator= ( FormulaParserGrammar const &  other )

delete

---

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

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