Closed RussTedrake closed 2 weeks ago
We have Expression::GetVariables() and Formula::GetFreeVariables(). In #22091, we could see that this difference (which is mostly unnecessary) made the downstream code unnecessarily clunky. This simple overload resolves it.
+@cohnt for feature review, please.
This change is
+@sammy-tri for platform review, please.
We have Expression::GetVariables() and Formula::GetFreeVariables(). In #22091, we could see that this difference (which is mostly unnecessary) made the downstream code unnecessarily clunky. This simple overload resolves it.
+@cohnt for feature review, please.
This change is