Adds substituteDelta() to DeltaRational which given a value for delta returns the...

diff --git a/src/theory/arith/delta_rational.h b/src/theory/arith/delta_rational.h
index ed256faa1a06ae13bc454116237827bcd320ef5b..ca182a8441615ff38c45ee232fe36d62f8dbc0cc 100644 (file)
--- a/src/theory/arith/delta_rational.h
+++ b/src/theory/arith/delta_rational.h
@@ -181,6 +181,10 @@ public:
 
   std::string toString() const;
 
+  Rational substituteDelta(const Rational& d) const{
+    return getNoninfinitesimalPart() + (d * getInfinitesimalPart());
+  }
+
 };
 
 std::ostream& operator<<(std::ostream& os, const DeltaRational& n);