diff options
Diffstat (limited to 'src/theory/arith/delta_rational.h')
-rw-r--r-- | src/theory/arith/delta_rational.h | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/theory/arith/delta_rational.h b/src/theory/arith/delta_rational.h index 682d13720..c004a681f 100644 --- a/src/theory/arith/delta_rational.h +++ b/src/theory/arith/delta_rational.h @@ -63,6 +63,15 @@ public: } } + int cmp(const DeltaRational& other) const{ + int cmp = c.cmp(other.c); + if(cmp == 0){ + return k.cmp(other.k); + }else{ + return cmp; + } + } + DeltaRational operator+(const DeltaRational& other) const{ CVC4::Rational tmpC = c+other.c; CVC4::Rational tmpK = k+other.k; |