Substitution.h File Reference
Include dependency graph for Substitution.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Namespaces | |
| carl | |
| carl is the main namespace for the library. | |
Functions | |
| template<typename Pol > | |
| std::optional< std::pair< Variable, Pol > > | carl::get_substitution (const BasicConstraint< Pol > &c, bool _negated=false, Variable _exclude=carl::Variable::NO_VARIABLE, std::optional< VarsInfo< Pol >> var_info=std::nullopt) |
| If this constraint represents a substitution (equation, where at least one variable occurs only linearly), this method detects a (there could be various possibilities) corresponding substitution variable and term. More... | |
| template<typename Pol > | |
| std::optional< std::pair< Variable, typename Pol::NumberType > > | carl::get_assignment (const BasicConstraint< Pol > &c) |
