#1049 introduces a TraverseFormulaVisitor which allows traversing the AST of astorm::logic::Formula in a simple way. In #1049, this is used to iterate over all maximal propositional subformulas of a formula.
We should evaluate whether some of the existing *FormulaVisitors could be replaced by a more lightweight AST traversal.
Things like Formula::gatherAtomicLabelFormulas also come to mind.
#1049 introduces a
TraverseFormulaVisitorwhich allows traversing the AST of astorm::logic::Formulain a simple way. In #1049, this is used to iterate over all maximal propositional subformulas of a formula.We should evaluate whether some of the existing
*FormulaVisitors could be replaced by a more lightweight AST traversal.Things like
Formula::gatherAtomicLabelFormulasalso come to mind.