summaryrefslogtreecommitdiff
path: root/src/theory/arith/delta_rational.cpp
blob: 90529529ad6463b503c8cde421f54ac4df9b2202 (plain) 
1
2
3
4
5
6
7
8
9
10


#include "theory/arith/delta_rational.h"

using namespace std;
using namespace CVC4;

std::ostream& CVC4::operator<<(std::ostream& os, const DeltaRational& dq){
  return os << "(" << dq.getNoninfintestimalPart()
            << "," << dq.getInfintestimalPart() << ")";
}
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback