Added GMP backed Rational and Integer classes, and white box tests for them. You may have to reconfigure after this update.

1 files changed, 7 insertions, 0 deletions

diff --git a/src/util/integer.cpp b/src/util/integer.cpp
new file mode 100644
index 000000000..8fc788eb8
--- /dev/null
+++ b/src/util/integer.cpp
@@ -0,0 +1,7 @@
+#include "util/integer.h"
+
+using namespace CVC4;
+
+std::ostream& CVC4::operator<<(std::ostream& os, const Integer& n){
+  return os << n.toString();
+}