zeros.h File Reference
Include dependency graph for zeros.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Data Structures | |
| struct | carl::vs::zero< Poly > |
| A square root expression with side conditions. More... | |
Namespaces | |
| carl | |
| carl is the main namespace for the library. | |
| carl::vs | |
Functions | |
| template<typename Poly > | |
| std::ostream & | carl::vs::operator<< (std::ostream &out, const zero< Poly > &z) |
| template<typename Poly > | |
| static bool | carl::vs::gather_zeros (const Constraint< Poly > &constraint, const Variable &eliminationVar, std::vector< zero< Poly >> &results) |
| Gathers zeros with side conditions from the given constraint in the given variable. More... | |
| template<typename Poly > | |
| static bool | carl::vs::gather_zeros (const VariableComparison< Poly > &varcomp, const Variable &eliminationVar, std::vector< zero< Poly >> &results) |
