11 #include "llvm/ADT/Hashing.h"
12 #include "llvm/Support/raw_ostream.h"
15 using namespace presburger;
This class provides support for multi-precision arithmetic.
detail::SlowMPInt valLarge
llvm::raw_ostream & print(llvm::raw_ostream &os) const
llvm::hash_code hash_value(const SlowMPInt &x)
llvm::raw_ostream & operator<<(llvm::raw_ostream &os, const Fraction &x)
llvm::hash_code hash_value(const MPInt &x)
Redeclarations of friend declaration above to make it discoverable by lookups.
Include the generated interface declarations.