From fc2d33f437ab65b394ff563ff9f8872101487189 Mon Sep 17 00:00:00 2001 From: Varun Agrawal Date: Sun, 8 Dec 2024 17:00:04 -0500 Subject: [PATCH] add division with DiscreteFactor::shared_ptr for convenience --- gtsam/discrete/DecisionTreeFactor.h | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/gtsam/discrete/DecisionTreeFactor.h b/gtsam/discrete/DecisionTreeFactor.h index 11793f984..a5178b66f 100644 --- a/gtsam/discrete/DecisionTreeFactor.h +++ b/gtsam/discrete/DecisionTreeFactor.h @@ -156,6 +156,11 @@ namespace gtsam { return apply(f, safe_div); } + /// divide by DiscreteFactor::shared_ptr f (safely) + DecisionTreeFactor operator/(const DiscreteFactor::shared_ptr& f) const { + return apply(*std::dynamic_pointer_cast(f), safe_div); + } + /// Convert into a decision tree DecisionTreeFactor toDecisionTreeFactor() const override { return *this; }