Template Function sequant::opt::detail::extract_subtrees_visit¶

Defined in File extract_subtrees.hpp

Function Documentation¶

template<meta::eval_node Node, typename Pred, typename ResultSet> bool sequant::opt::detail::extract_subtrees_visit(Node &n, Pred &pred, ResultSet &result)¶