d2/d8d/_rational_function_adapter_8cpp_source.html

#include "storm/adapters/RationalFunctionAdapter.h"


namespace storm {


RationalFunctionVariable createRFVariable(std::string const& name) {

    return carl::freshRealVariable(name);

}


}  // namespace storm

RationalFunctionAdapter.h

storm
LabParser.cpp.
Definition cli.cpp:18

storm::createRFVariable
RationalFunctionVariable createRFVariable(std::string const &name)
Definition RationalFunctionAdapter.cpp:4

storm::RationalFunctionVariable
carl::Variable RationalFunctionVariable
Definition RationalFunctionForward.h:35