Template Function smc_storm::state_properties::evaluateExpression

• Defined in File state_variable_information.hpp

Function Documentation

template<typename ExprType>
ExprType smc_storm::state_properties::evaluateExpression(const storm::expressions::Expression &expr)