RationalFunctionAdapter.cpp

Go to the documentation of this file.

#include "storm/adapters/RationalFunctionAdapter.h"
 
namespace storm {
RationalFunctionVariable createRFVariable(std::string const& name) {
    return carl::freshRealVariable(name);
}
 
RationalFunctionVariable findRFVariable(std::string const& name) {
    return carl::VariablePool::getInstance().findVariableWithName(name);
}
 
void clearRFVariablePool() {
    carl::VariablePool::getInstance().clear();
}
}  // namespace storm
 
// Explicit instantiations
template class carl::MultivariatePolynomial<storm::RationalFunctionCoefficient>;
template class carl::FactorizedPolynomial<storm::RawPolynomial>;
template class carl::Cache<carl::PolynomialFactorizationPair<storm::RawPolynomial>>;
template class carl::RationalFunction<storm::Polynomial, true>;