diff options
Diffstat (limited to 'src/base/statistics.hh')
-rw-r--r-- | src/base/statistics.hh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/base/statistics.hh b/src/base/statistics.hh index 3c1a55623..f3b6ae39f 100644 --- a/src/base/statistics.hh +++ b/src/base/statistics.hh @@ -2856,6 +2856,14 @@ class Formula : public DataWrapVec<Formula, FormulaInfoProxy> * @return a reference to this formula. */ const Formula &operator+=(Temp r); + + /** + * Divide the existing tree by the given one. + * @param r The root of the expression tree. + * @return a reference to this formula. + */ + const Formula &operator/=(Temp r); + /** * Return the result of the Fomula in a vector. If there were no Vector * components to the Formula, then the vector is size 1. If there were, |