carl  24.04
Computer ARithmetic Library
conversion.h
Go to the documentation of this file.
1 #pragma once
2 
3 namespace carl {
4  template<typename From, typename To, carl::DisableIf< std::is_same<From,To> > >
5  inline To convert(const From&);
6 
7  template<typename From, typename To, carl::EnableIf< std::is_same<From,To> > >
8  inline To convert(const From& n) {
9  return n;
10  }
11 }
12 
13 #include "cln_gmp.h"
14 #include "generic.h"
15 #include "native.h"
carl
carl is the main namespace for the library.
carl::convert
BasicConstraint< ToPoly > convert(const typename ToPoly::ContextType &context, const BasicConstraint< FromPoly > &c)
Definition: Conversion.h:9