Splits a conjunctive [`Expr`] such as `A AND B AND C` => `[A, B, C]` See [`split_conjunction_owned`] for more details and an example.
(expr: &Expr)
| 1017 | /// |
| 1018 | /// See [`split_conjunction_owned`] for more details and an example. |
| 1019 | pub fn split_conjunction(expr: &Expr) -> Vec<&Expr> { |
| 1020 | split_conjunction_impl(expr, vec![]) |
| 1021 | } |
| 1022 | |
| 1023 | fn split_conjunction_impl<'a>(expr: &'a Expr, mut exprs: Vec<&'a Expr>) -> Vec<&'a Expr> { |
| 1024 | match expr { |
searching dependent graphs…