carl
24.04
Computer ARithmetic Library
|
#include "../Model.h"
Go to the source code of this file.
Namespaces | |
carl | |
carl is the main namespace for the library. | |
carl::model | |
Functions | |
template<typename Rational , typename Poly > | |
Assignment< typename Poly::RootType > | carl::model::collectRANIR (const std::set< Variable > &vars, const Model< Rational, Poly > &model) |