Storm 1.11.1.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::jani::FunctionDefinition Member List

This is the complete list of members for storm::jani::FunctionDefinition, including all inherited members.

call(std::vector< std::shared_ptr< storm::expressions::BaseExpression const > > const &arguments) conststorm::jani::FunctionDefinition
FunctionDefinition(std::string const &name, storm::expressions::Type const &type, std::vector< storm::expressions::Variable > const &parameters, storm::expressions::Expression const &functionBody)storm::jani::FunctionDefinition
getFunctionBody() conststorm::jani::FunctionDefinition
getName() conststorm::jani::FunctionDefinition
getParameters() conststorm::jani::FunctionDefinition
getType() conststorm::jani::FunctionDefinition
setFunctionBody(storm::expressions::Expression const &body)storm::jani::FunctionDefinition
substitute(std::map< storm::expressions::Variable, storm::expressions::Expression > const &substitution, bool const substituteTranscendentalNumbers)storm::jani::FunctionDefinition