#include <FunctionDefinition.h>

Public Member Functions
	FunctionDefinition (std::string const &name, storm::expressions::Type const &type, std::vector< storm::expressions::Variable > const &parameters, storm::expressions::Expression const &functionBody)
	Creates a functionDefinition.

std::string const &	getName () const
	Retrieves the name of the function.

storm::expressions::Type const &	getType () const
	Retrieves the type of the function.

std::vector< storm::expressions::Variable > const &	getParameters () const
	Retrieves the parameters of the function.

storm::expressions::Expression const &	getFunctionBody () const
	Retrieves the expression that defines the function.

void	setFunctionBody (storm::expressions::Expression const &body)
	sets the expression that defines the function

storm::expressions::Expression	call (std::vector< std::shared_ptr< storm::expressions::BaseExpression const > > const &arguments) const
	Calls the function with the given arguments.

void	substitute (std::map< storm::expressions::Variable, storm::expressions::Expression > const &substitution, bool const substituteTranscendentalNumbers)

Detailed Description

Definition at line 14 of file FunctionDefinition.h.

Constructor & Destructor Documentation

◆ FunctionDefinition()

storm::jani::FunctionDefinition::FunctionDefinition	(	std::string const &	name,
		storm::expressions::Type const &	type,
		std::vector< storm::expressions::Variable > const &	parameters,
		storm::expressions::Expression const &	functionBody
	)

Creates a functionDefinition.

Definition at line 10 of file FunctionDefinition.cpp.

Member Function Documentation

◆ call()

storm::expressions::Expression storm::jani::FunctionDefinition::call ( std::vector< std::shared_ptr< storm::expressions::BaseExpression const > > const & arguments ) const

Calls the function with the given arguments.

Definition at line 32 of file FunctionDefinition.cpp.

◆ getFunctionBody()

storm::expressions::Expression const & storm::jani::FunctionDefinition::getFunctionBody ( ) const

Retrieves the expression that defines the function.

Definition at line 28 of file FunctionDefinition.cpp.

◆ getName()

std::string const & storm::jani::FunctionDefinition::getName ( ) const

Retrieves the name of the function.

Definition at line 16 of file FunctionDefinition.cpp.

◆ getParameters()

std::vector< storm::expressions::Variable > const & storm::jani::FunctionDefinition::getParameters ( ) const

Retrieves the parameters of the function.

Definition at line 24 of file FunctionDefinition.cpp.

◆ getType()

storm::expressions::Type const & storm::jani::FunctionDefinition::getType ( ) const

Retrieves the type of the function.

Definition at line 20 of file FunctionDefinition.cpp.

◆ setFunctionBody()

void storm::jani::FunctionDefinition::setFunctionBody ( storm::expressions::Expression const & body )

sets the expression that defines the function

Definition at line 49 of file FunctionDefinition.cpp.

◆ substitute()

void storm::jani::FunctionDefinition::substitute	(	std::map< storm::expressions::Variable, storm::expressions::Expression > const &	substitution,
		bool const	substituteTranscendentalNumbers
	)

Definition at line 44 of file FunctionDefinition.cpp.

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

src/storm/storage/jani/FunctionDefinition.h
src/storm/storage/jani/FunctionDefinition.cpp

Public Member Functions