src/theory/arith/delta_rational.cpp


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16


#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() << ")";
}


std::string DeltaRational::toString() const {
  return "(" + getNoninfintestimalPart().toString() + "," +
    getInfintestimalPart().toString() + ")";
}