1 2 3 4 5 6 7 8
#include "util/rational.h" using namespace CVC4; std::ostream& CVC4::operator<<(std::ostream& os, const Rational& q){ return os << q.toString(); }