substitution.h File Reference

#include "FactorizedPolynomial.h"

Include dependency graph for substitution.h:

Go to the source code of this file.

Namespaces
	carl
	carl is the main namespace for the library.

Functions
template<typename P >
FactorizedPolynomial< P >	carl::substitute (const FactorizedPolynomial< P > &p, Variable var, const FactorizedPolynomial< P > &value)
	Replace the given variable by the given value. More...
template<typename P >
FactorizedPolynomial< P >	carl::substitute (const FactorizedPolynomial< P > &p, const std::map< Variable, FactorizedPolynomial< P >> &substitutions)
	Replace all variables by a value given in their map. More...
template<typename P >
FactorizedPolynomial< P >	carl::substitute (const FactorizedPolynomial< P > &p, const std::map< Variable, FactorizedPolynomial< P >> &substitutions, const std::map< Variable, P > &substitutionsAsP)
	Replace all variables by a value given in their map. More...
template<typename P , typename Subs >
FactorizedPolynomial< P >	carl::substitute (const FactorizedPolynomial< P > &p, const std::map< Variable, Subs > &substitutions)
	Replace all variables by a value given in their map. More...